Torthaí cuardaigh - Drechsler, Rolf

Beachtaigh na torthaí
  1. 1

    Automated analysis of virtual prototypes at the electronic system level design understanding and applications de réir Goli, Mehran, Drechsler, Rolf

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  2. 2

    Design for testability, debug and reliability next generation measures using formal techniques de réir Huhn, Sebastian, Drechsler, Rolf

    Foilsithe / Cruthaithe 2021
    Faigh an téacs iomlán
    Faigh an téacs iomlán
    Electronic Resource


    Íomhá chlúdaigh
  3. 3

    Formal specification level concepts, methods, and algorithms de réir Soeken, Mathias, Drechsler, Rolf

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  4. 4

    In-memory computing synthesis and optimization de réir Shirinzadeh, Saeideh, Drechsler, Rolf

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  5. 5

    Reversible and quantum circuits optimization and complexity analysis de réir Abdessaied, Nabila, Drechsler, Rolf

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  6. 6

    Enhanced virtual prototyping featuring RISC-V case studies de réir Herdt, Vladimir, Grosse, Daniel, Drechsler, Rolf

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  7. 7

    Automatic methods for the refinement of system models from the specification to the implementation de réir Seiter, Julia, Wille, Rober, Drechsler, Rolf

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  8. 8

    Design automation techniques for approximation circuits verification, synthesis and test de réir Chandrasekharan, Arun, Drechsler, Rolf, Grosse, Daniel

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  9. 9

    Exact design of digital microfluidic biochips de réir Keszocze, Oliver, Drechsler, Rolf, Wille, Robert

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  10. 10

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

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh

Uirlisí cuardaigh: