Bilaketaren emaitzak - Drechsler, Rolf

Findu emaitzak
  1. 1

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

    Argitaratua 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


    Azala
  2. 2

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

    Argitaratua 2021
    Testu osoa
    Testu osoa
    Electronic Resource


    Azala
  3. 3

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

    Argitaratua 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


    Azala
  4. 4

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

    Argitaratua 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


    Azala
  5. 5

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

    Argitaratua 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


    Azala
  6. 6

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

    Argitaratua 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


    Azala
  7. 7

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

    Argitaratua 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


    Azala
  8. 8

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

    Argitaratua 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


    Azala
  9. 9

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

    Argitaratua 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


    Azala
  10. 10

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

    Argitaratua 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


    Azala

Bilaketa egiteko lanabesak: