Showing 1 - 10 results of 13 for search 'Drechsler, Rolf', query time: 0.05s Refine Results
  1. 1

    In-memory computing synthesis and optimization by Shirinzadeh, Saeideh, Drechsler, Rolf

    Published 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    In-memory computing synthesis and optimization
  2. 2

    Advanced boolean techniques selected papers from the 13th international workshop on boolean problems

    Published 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Advanced boolean techniques selected papers from the 13th international workshop on boolean problems
  3. 3

    Automated analysis of virtual prototypes at the electronic system level design understanding and applications by Goli, Mehran, Drechsler, Rolf

    Published 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Automated analysis of virtual prototypes at the electronic system level design understanding and applications
  4. 4

    Design automation techniques for approximation circuits verification, synthesis and test by Chandrasekharan, Arun, Drechsler, Rolf, Grosse, Daniel

    Published 2019
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Design automation techniques for approximation circuits verification, synthesis and test
  5. 5

    Exact design of digital microfluidic biochips by Keszocze, Oliver, Drechsler, Rolf, Wille, Robert

    Published 2019
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Exact design of digital microfluidic biochips
  6. 6

    Formal system verification state-of-the-art and future trends

    Published 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Formal system verification state-of-the-art and future trends
  7. 7

    Advanced logic synthesis

    Published 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Advanced logic synthesis
  8. 8

    Automated validation & verification of UML/OCL models using satisfiability solvers by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Published 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Automated validation & verification of UML/OCL models using satisfiability solvers
  9. 9

    Automatic methods for the refinement of system models from the specification to the implementation by Seiter, Julia, Wille, Rober, Drechsler, Rolf

    Published 2017
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Automatic methods for the refinement of system models from the specification to the implementation
  10. 10

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015

    Published 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015

Search Tools: