Výsledky vyhledávání - Drechsler, Rolf

Upřesnit hledání
  1. 1

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

    Vydáno 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


    Obálka
  2. 2

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

    Vydáno 2021
    Získat plný text
    Získat plný text
    Electronic Resource


    Obálka
  3. 3

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

    Vydáno 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


    Obálka
  4. 4

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

    Vydáno 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


    Obálka
  5. 5

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

    Vydáno 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


    Obálka
  6. 6

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

    Vydáno 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


    Obálka
  7. 7

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

    Vydáno 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


    Obálka
  8. 8

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

    Vydáno 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


    Obálka
  9. 9

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

    Vydáno 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


    Obálka
  10. 10

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

    Vydáno 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


    Obálka

Vyhledávací nástroje: