Zoekresultaten - Drechsler, Rolf

Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in 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


    Beeld op de omslag
  2. 2

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

    Gepubliceerd in 2021
    Volledige tekst
    Volledige tekst
    Electronic Resource


    Beeld op de omslag
  3. 3

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

    Gepubliceerd in 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


    Beeld op de omslag
  4. 4

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

    Gepubliceerd in 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


    Beeld op de omslag
  5. 5

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

    Gepubliceerd in 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


    Beeld op de omslag
  6. 6

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

    Gepubliceerd in 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


    Beeld op de omslag
  7. 7

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

    Gepubliceerd in 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


    Beeld op de omslag
  8. 8

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

    Gepubliceerd in 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


    Beeld op de omslag
  9. 9

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

    Gepubliceerd in 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


    Beeld op de omslag
  10. 10

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

    Gepubliceerd in 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


    Beeld op de omslag

Zoekinstrumenten: