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

    Enhanced virtual prototyping featuring RISC-V case studies by Herdt, Vladimir, Grosse, Daniel, Drechsler, Rolf

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

    Enhanced virtual prototyping featuring RISC-V case studies
  2. 2

    Recent findings in Boolean techniques selected papers from the 14th International Workshop on Boolean Problems

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

    Recent findings in Boolean techniques selected papers from the 14th International Workshop on Boolean Problems
  3. 3

    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
  4. 4

    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
  5. 5

    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
  6. 6

    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
  7. 7

    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
  8. 8

    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
  9. 9

    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
  10. 10

    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

Search Tools: