Arama Sonuçları - Drechsler, Rolf

Sonuçları Daraltın
  1. 1

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  2. 2

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

    Baskı/Yayın Bilgisi 2021
    Tam Metin Erişim
    Tam Metin Erişim
    Electronic Resource


    Kapak Resmi
  3. 3

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  4. 4

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  5. 5

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  6. 6

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  7. 7

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  8. 8

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  9. 9

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi
  10. 10

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

    Baskı/Yayın Bilgisi 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


    Kapak Resmi

Arama Araçları: