Rezultati - Drechsler, Rolf

Refine Results
  1. 1

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

    Izdano 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


    Slika na naslovnici
  2. 2

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

    Izdano 2021
    Polni tekst
    Polni tekst
    Electronic Resource


    Slika na naslovnici
  3. 3

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

    Izdano 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


    Slika na naslovnici
  4. 4

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

    Izdano 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


    Slika na naslovnici
  5. 5

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

    Izdano 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


    Slika na naslovnici
  6. 6

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

    Izdano 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


    Slika na naslovnici
  7. 7

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

    Izdano 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


    Slika na naslovnici
  8. 8

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

    Izdano 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


    Slika na naslovnici
  9. 9

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

    Izdano 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


    Slika na naslovnici
  10. 10

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

    Izdano 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


    Slika na naslovnici

Iskalna orodja: