Suchergebnisse - Drechsler, Rolf

Treffer weiter einschränken
  1. 1

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

    Veröffentlicht 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


    Buchumschlag
  2. 2

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

    Veröffentlicht 2021
    Volltext
    Volltext
    Electronic Resource


    Buchumschlag
  3. 3

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

    Veröffentlicht 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


    Buchumschlag
  4. 4

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

    Veröffentlicht 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


    Buchumschlag
  5. 5

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

    Veröffentlicht 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


    Buchumschlag
  6. 6

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

    Veröffentlicht 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


    Buchumschlag
  7. 7

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

    Veröffentlicht 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


    Buchumschlag
  8. 8

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

    Veröffentlicht 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


    Buchumschlag
  9. 9

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

    Veröffentlicht 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


    Buchumschlag
  10. 10

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

    Veröffentlicht 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


    Buchumschlag

Suchwerkzeuge: