Suchergebnisse - Drechsler, Rolf

Rolf Drechsler

Rolf Drechsler (* 30. Juli 1969 in Rüsselsheim) ist ein deutscher Informatiker und Professor für Rechnerarchitektur an der Universität Bremen. Rolf Drechsler ist seit 2011 Leiter des Forschungsbereichs Cyber-Physical Systems am DFKI. Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

    Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never
    von Pieper, Pascal, Drechsler, Rolf

    Veröffentlicht 2024
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
    von Herdt, Vladimir, Große, Daniel, Drechsler, Rolf

    Veröffentlicht 2021
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    In-Memory Computing: Synthesis and Optimization
    von Shirinzadeh, Saeideh, Drechsler, Rolf

    Veröffentlicht 2020
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Computer: Wie funktionieren Smartphone, Tablet & Co.?
    von Drechsler, Rolf 1969-

    Veröffentlicht 2017
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Software-Engineering und Hardware-Design: eine systematische Einführung
    von Sikora, Axel, Drechsler, Rolf 1969-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Dynamic minimization of OKFDDs
    von Drechsler, Rolf 1969-, Becker, Bernd

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Genetic algorithms in computer aided design of integrated circuits
    von Drechsler, Rolf 1969-, Esbensen, Henrik, Becker, Bernd

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    On the relation between BDDs and FDDs
    von Becker, Bernd, Drechsler, Rolf 1969-, Werchner, Ralph

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Rapid prototyping of fully testable multi-level AND/EXOR networks
    von Drechsler, Rolf 1969-, Becker, Bernd

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    On the computational power of functional decision diagrams
    von Becker, Bernd, Drechsler, Rolf 1969-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    On the testability of circuits derived from binary decision diagrams
    von Becker, Bernd, Drechsler, Rolf 1969-, Meinel, Christoph

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Fast FDD based minimization of generalized Reed-Muller forms
    von Drechsler, Rolf 1969-, Theobald, Michael, Becker, Bernd

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Erweiterte virtuelle Prototypen für heterogene Systeme
    von Hassan, Muhammad, Große, Daniel, Drechsler, Rolf

    Veröffentlicht 2024
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    Formal Verification of Structurally Complex Multipliers
    von Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf

    Veröffentlicht 2023
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen
    von Goli, Mehran, Drechsler, Rolf 1969-

    Veröffentlicht 2023
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Noch analog oder lebst Du schon?: mit Nrdman durch die Welt von heute... und morgen
    von Drechsler, Rolf 1969-, Stoppe, Jannis

    Veröffentlicht 2021
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
    von Goli, Mehran, Drechsler, Rolf

    Veröffentlicht 2020
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 2017
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    A genetic algorithm for variable ordering of OBDDs
    von Drechsler, Rolf 1969-, Becker, Bernd, Göckel, Nicole

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Minimization of 2-level AND, XOR expressions using ordered Kronecker functional decision diagrams
    von Becker, Bernd, Drechsler, Rolf 1969-, Theobald, Michael

    Veröffentlicht 1994
    Buch


    Gespeichert in:

Suchwerkzeuge: