Resultados de procura - Drechsler, Rolf

Limitar resultados
  1. 1

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

    Publicado 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


    Imaxe de Portada
  2. 2

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

    Publicado 2021
    Ligazón do recurso
    Ligazón do recurso
    Electronic Resource


    Imaxe de Portada
  3. 3

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

    Publicado 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


    Imaxe de Portada
  4. 4

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

    Publicado 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


    Imaxe de Portada
  5. 5

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

    Publicado 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


    Imaxe de Portada
  6. 6

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

    Publicado 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


    Imaxe de Portada
  7. 7

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

    Publicado 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


    Imaxe de Portada
  8. 8

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

    Publicado 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


    Imaxe de Portada
  9. 9

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

    Publicado 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


    Imaxe de Portada
  10. 10

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

    Publicado 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


    Imaxe de Portada

Ferramentas de procura: