Søgeresultater - Drechsler, Rolf

Refine Results
  1. 1

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

    Udgivet 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


    Omslagsbillede
  2. 2

    Design for testability, debug and reliability next generation measures using formal techniques af Huhn, Sebastian, Drechsler, Rolf

    Udgivet 2021
    Få fuldtekst
    Få fuldtekst
    Electronic Resource


    Omslagsbillede
  3. 3

    Formal specification level concepts, methods, and algorithms af Soeken, Mathias, Drechsler, Rolf

    Udgivet 2015
    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


    Omslagsbillede
  4. 4

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

    Udgivet 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


    Omslagsbillede
  5. 5

    Reversible and quantum circuits optimization and complexity analysis af Abdessaied, Nabila, Drechsler, Rolf

    Udgivet 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


    Omslagsbillede
  6. 6

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

    Udgivet 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


    Omslagsbillede
  7. 7

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

    Udgivet 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


    Omslagsbillede
  8. 8

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

    Udgivet 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


    Omslagsbillede
  9. 9

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

    Udgivet 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


    Omslagsbillede
  10. 10

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

    Udgivet 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


    Omslagsbillede

Søgeredskaber: