HOME | CONTACT | Switch DE

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

Books


Erweiterte virtuelle Prototypen für heterogene Systeme
Erweiterte virtuelle Prototypen für heterogene Systeme
Author: Muhammad Hassan, Daniel Große , Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-031-53152-1, gebunden
Year: 2024


Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Author: Pascal Pieper, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-031-51692-4, gebunden
Year: 2024


Design für Testbarkeit, Fehlersuche und Zuverlässigkeit<br> Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Author: Sebastian Huhn, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-031-45319-9, Gebunden
Year: 2023


Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
Author: Rune Krauss
Publisher: Springer
Format: DOI: 10.1007/978-3-658-43121-1, eBook, Softcover
Year: 2023


Noerdman Comicbuch
Noerdman Comicbuch
Author: Rolf Drechsler, Jannis Stoppe
Publisher: JR Blendermann Verlag
Format: ISBN: 978-3-910580-07-7, Taschenbuch
Year: 2023


Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme | Design, Verständnis und Anwendungen
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme | Design, Verständnis und Anwendungen
Author: Mehran Goli, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-031-36997-1, Hardcover, eBook
Year: 2023


Polynomial Formal Verification of Approximate Functions
Polynomial Formal Verification of Approximate Functions
Author: Martha Schnieber
Publisher: Springer
Format: DOI: 10.1007/978-3-658-41888-5
Year: 2023


Advanced Boolean Techniques
Advanced Boolean Techniques
Author: Rolf Drechsler, Sebastian Huhn (Eds.)
Publisher: Springer
Format: DOI 10.1007/978-3-031-28916-3
Year: 2023


In-Memory-Computing<br> Synthese und Optimierung
In-Memory-Computing
Synthese und Optimierung
Author: Saeideh Shirinzadeh, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-031-22879-7, Hardcover, eBook
Year: 2023


Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author: Alireza Mahzoon, Daniel Große, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-031-24571-8
Year: 2023


Verbessertes virtuelles Prototyping<br> Mit RISC-V-Fallstudien
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
Author: Vladimir Herdt, Daniel Große, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-031-18174-0, Hardcover, eBook
Year: 2023


Design Automation for Field-coupled Nanotechnologies
Design Automation for Field-coupled Nanotechnologies
Author: Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-030-89952-3
Year: 2022


Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Author: Sebastian Huhn, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-030-69209-4, Gebunden und eBook
Year: 2021


Recent Findings in Boolean Techniques
Recent Findings in Boolean Techniques
Author: Rolf Drechsler, Daniel Große
Publisher: Springer
Format: DOI: 10.1007/978-3-030-68071-8, Gebunden und eBook
Year: 2021


Natural Language Processing for Electronic Design Automation
Natural Language Processing for Electronic Design Automation
Author: Mathias Soeken, Rolf Drechsler (Eds.)
Publisher: Springer
Format: DOI: 10.1007/978-3-030-52273-5, Hardcover
Year: 2020


Noch analog oder lebst Du schon?<br> Mit Nœrdman durch die Welt von heute... und morgen
Noch analog oder lebst Du schon?
Mit Nœrdman durch die Welt von heute... und morgen
Author: Rolf Drechsler, Jannis Stoppe
Publisher: Springer
Format: DOI: 10.1007/978-3-658-32413-1, Softcover, eBook
Year: 2021


Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Author: Vladimir Herdt, Daniel Große, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-030-54828-5, Hardcover
Year: 2020


Automated Analysis of Virtual Prototypes at the Electronic System Level – Design Understanding and Applications
Automated Analysis of Virtual Prototypes at the Electronic System Level – Design Understanding and Applications
Author: Mehran Goli, Rolf Drechsler
Publisher: Springer
Format: Hardcover
Year: DOI: 10.1007/978-3-030-44282-8, 2020


Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2018
Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2018
Author: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große (Eds.)
Publisher: Springer
Format: DOI: 10.1007/978-3-030-31585-6, Hardcover
Year: 2020


Advanced Boolean Techniques
Advanced Boolean Techniques
Author: Rolf Drechsler, Mathias Soeken (Hrsg.)
Publisher: Springer International Publishing
Format: DOI: 10.1007/978-3-031-28916-3, Hardcover
Year: 2020


In-Memory Computing - Synthesis and Optimization
In-Memory Computing - Synthesis and Optimization
Author: Saeideh Shirinzadeh, Rolf Drechsler
Publisher: Springer
Format: DOI: 10.1007/978-3-030-18026-3, Hardcover
Year: 2020


Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017
Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017
Author: Daniel Große, Sara Vinco, Hiren Patel (Hrsg.)
Publisher: Springer
Format: DOI: 10.1007/978-3-030-02215-0, Hardcover
Year: 2019


Information Storage - A Multidisciplinary Perspective
Information Storage - A Multidisciplinary Perspective
Author: Cornelia S. Große, Rolf Drechsler (Eds.)
Publisher: Springer
Format: DOI: 10.1007/978-3-030-19262-4, Hardcover
Year: 2019


Design Automation Techniques for Approximation Circuits
Design Automation Techniques for Approximation Circuits
Author: Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Publisher: Springer
Format: gebunden
Year: 2018


Exact Design of Digital Microfluidic Biochips
Exact Design of Digital Microfluidic Biochips
Author: Oliver Keszöcze, Robert Wille, Rolf Drechsler
Publisher: Springer
Format: Gebunden
Year: 2018


Advanced Logic Synthesis
Advanced Logic Synthesis
Author: André Inácio Reis, Rolf Drechsler
Publisher: Springer
Format: eBook
Year: 2017


Formal System Verification State-of the-Art and Future Trends
Formal System Verification State-of the-Art and Future Trends
Author: Rolf Drechsler
Publisher: Springer Verlag
Format: Hardcover, eBook
Year: 2017


Computer: Wie funktionieren Smartphone, Tablet & Co.?
Computer: Wie funktionieren Smartphone, Tablet & Co.?
Author: Rolf Drechsler, Andrea Fink, Jannis Stoppe
Publisher: Springer
Format: Taschenbuch
Year: 2017


Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Author: Daniel Große, Rolf Drechsler
Publisher: Shaker Verlag
Format: Gebunden
Year: 2017



Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, TrustED@CCS 16, Vienna, Austria, October 28, 2016
Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, TrustED@CCS 16, Vienna, Austria, October 28, 2016
Author: Edgar E. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Xinxin Fan, Tim Güneysu
Publisher: ACM
Format:
Year: 2016


Automatic Methods for the Refinement of System Models
Automatic Methods for the Refinement of System Models
Author: Julia Seiter, Robert Wille, Rolf Drechsler
Publisher: Springer International Publishing
Format: Taschenbuch
Year: 2016


Reversible and Quantum Circuits
Reversible and Quantum Circuits
Author: Nabila Abdessaied, Rolf Drechsler
Publisher: Springer
Format: eBook, Hardcover
Year: 2016


Languages, Design Methods, and Tools for Electronic System Design
Languages, Design Methods, and Tools for Electronic System Design
Author: Rolf Drechsler, Robert Wille (Hrsg.)
Publisher: Springer International Publishing (Verlag)
Format: Buch | Hardcover
Year: 2016


Lightweight Cryptography for Security and Privacy - 4th International Workshop (LightSec 2015)
Lightweight Cryptography for Security and Privacy - 4th International Workshop (LightSec 2015)
Author: Tim Güneysu, Gregor Leander, Amir Moradi (Eds.)
Publisher: Springer
Format: Softcover, eBook
Year: 2016


Cryptographic Hardware and Embedded Systems (CHES 2015)
Cryptographic Hardware and Embedded Systems (CHES 2015)
Author: Tim Güneysu, Helena Handschuh (Eds.)
Publisher: Springer
Format: Softcover, eBook
Year: 2015


Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
Author: Robert Wille, Oliver Keszöcze, Rolf Drechsler (Hrsg.)
Publisher: Shaker Verlag
Format: gebunden
Year: 2015


Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Author: Rolf Drechsler, Ulrich Kühne (Hrsg.)
Publisher: Springer
Format: eBook, Softcover
Year: 2015


Formal Specification Level
Formal Specification Level
Author: Mathias Soeken, Rolf Drechsler
Publisher: Springer
Format: eBook, Hardcover
Year: 2014


Debug Automation from Pre-Silicon to Post-Silicon
Debug Automation from Pre-Silicon to Post-Silicon
Author: Mehdi Dehbashi, Görschwin Fey
Publisher: Springer
Format: eBook, Hardcover
Year: 2015


Aspekte der Technischen Informatik
Aspekte der Technischen Informatik
Author: Rolf Drechsler (Hrsg.)
Publisher: MV-Wissenschaft
Format: Softcover
Year: 2014


Test digitaler Schaltkreise
Test digitaler Schaltkreise
Author: Stephan Eggersglüß, Görschwin Fey, Ilia Polian
Publisher: Oldenbourg
Format: Softcover
Year: 2014


Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
Author: Rolf Drechsler, Mathias Soeken, Robert Wille (Hrsg.)
Publisher: Shaker Verlag
Format: gebunden
Year: 2012


High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
Author: Stephan Eggersglüß, Rolf Drechsler
Publisher: Springer
Format: Hardcover
Year: 2012


Applications of Evolutionary Computation
Applications of Evolutionary Computation
Author: Cecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero und Giovanni Squillero, et al.
Publisher: Springer
Format: Gebunden
Year: 2011


Towards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible Logic
Author: Robert Wille, Rolf Drechsler
Publisher: Springer
Format: Gebunden
Year: 2010


Debugging at the Electronic System Level
Debugging at the Electronic System Level
Author: Frank Rogin, Rolf Drechsler
Publisher: Springer
Format: Gebunden
Year: 2010


WoLFram - A Word Level Framework for Formal Verification and its Application
WoLFram - A Word Level Framework for Formal Verification and its Application
Author: Andre Sülflow
Publisher: Shaker
Format: Gebunden
Year: 2010


Quality-Driven SystemC Design
Quality-Driven SystemC Design
Author: Daniel Große, Rolf Drechsler
Publisher: Springer
Format: Hardcover
Year: 2010


Advanced Automation in Formal Verification of Processors
Advanced Automation in Formal Verification of Processors
Author: Ulrich Kühne
Publisher: Shaker Verlag
Format: Gebunden
Year: 2009


Test Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Boolean Proof Engines
Author: Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Publisher: Springer
Format: Hardcover
Year: 2009


Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows
Author: Görschwin Fey, Rolf Drechsler
Publisher: Springer
Format: Hardcover
Year: 2008


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Author: M. Giacobini, A. Brabazon, S. Cagnoni, G. A. DiCaro, Rolf Drechsler, A. Ekart, A. I. Esparcia-Alcazar, M. Farooq, A. Fink, J. McCormack, M. O'Neill, J. Romero, F. Rothlauf, G. Squillero, S. Uyar, S. Yang
Publisher: Springer
Format: Gebunden
Year: 2008


Automated Validation and Verification of Railway Specific Components and Systems
Automated Validation and Verification of Railway Specific Components and Systems
Author: Sebastian Kinder
Publisher: Shaker Verlag
Format: Gebunden
Year: 2008


EXplayN - Strategieoptimierung und Analyse ausgewählter Spielprobleme
EXplayN - Strategieoptimierung und Analyse ausgewählter Spielprobleme
Author: Daniel Große, Andre Sülflow, Nicole Drechsler (Hrsg.)
Publisher: Shaker Verlag
Format: gebunden
Year: 2008


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Author: M. Giacobini, A. Brabazon, S. Cagoni, G.A. Di Caro, Rolf Drechsler, M. Farooq, A. Fink, E. Lutton, P. Machado, S. Minner, M. O'Neill, J. Romero, F. Rothlauf, G. Squillero, H. Takagi, A.S. Uyar, S. Yang
Publisher: Springer
Format: Gebunden
Year: 2007


SATRIX - Algorithmen für Boolesche Erfüllbarkeit
SATRIX - Algorithmen für Boolesche Erfüllbarkeit
Author: Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.)
Publisher: Shaker Verlag
Format: Gebunden
Year: 2007


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Author: F. Rothlauf, J. Branke, S. Cagnoni, E. Costa, C. Cotta, Rolf Drechsler, E. Lutton, P. Machado, J.H. Moore, J. Romero, G.D. Smith, G. Squillero, H. Takagi (Eds.)
Publisher: Springer
Format: Gebunden
Year: 2006


Advanced BDD Optimization
Advanced BDD Optimization
Author: Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler
Publisher: Springer Verlag
Format: Hardcover
Year: 2005


Technische Informatik - Eine Einführung
Technische Informatik - Eine Einführung
Author: Bernd Becker, Rolf Drechsler, Paul Molitor
Publisher: Pearson Studium
Format: Gebunden
Year: 2005


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Author: Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero
Publisher: Springer
Format: Gebunden
Year: 2005


FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC
FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC
Author: Görschwin Fey, Rolf Drechsler (Hrsg.)
Publisher: Shaker Verlag
Format: Gebunden
Year: 2005


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Author: G.R. Raidl, S. Cagnoni, J. Branke, D.W. Corne, Rolf Drechsler, Y. Jin, C.G. Johnson, P. Machado, E. Marchiori,F. Rothlauf, G.D. Smith, G. Squillero
Publisher: Springer
Format: Gebunden
Year: 2004


Advanced Formal Verification
Advanced Formal Verification
Author: Rolf Drechsler
Publisher: Kluwer Academic Publishers
Format: Gebunden
Year: 2004


Heuristic and Exact Optimization of Reduced Ordered Binary Decision Diagrams (BDDs)
Heuristic and Exact Optimization of Reduced Ordered Binary Decision Diagrams (BDDs)
Author: Rüdiger Ebendt
Publisher: MontAurum Verlag
Format: Taschenbuch
Year: 2004


Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Author: Rolf Drechsler
Publisher: Shaker Verlag
Format: Gebunden
Year: 2003


Evolutionary Algorithms for Embedded System Design
Evolutionary Algorithms for Embedded System Design
Author: Rolf Drechsler, Nicole Drechsler
Publisher: Kluwer Academic Publishers
Format: Gebunden
Year: 2002


Software-Engineering und Hardware-Design
Software-Engineering und Hardware-Design
Author: Axel Sikora, Rolf Drechsler
Publisher: Carl Hanser Verlag
Format: Gebunden
Year: 2002


Towards One-Pass Synthesis
Towards One-Pass Synthesis
Author: Rolf Drechsler, Wolfgang Günther
Publisher: Kluwer Academic Publishers
Format: Hardcover
Year: 2002


Spectral Techniques in VLSI CAD
Spectral Techniques in VLSI CAD
Author: Mitchell A. Thornton, Rolf Drechsler, D. Michel Miller
Publisher: Kluwer Academic Publishers
Format: Hardcover
Year: 2001


Formal Verification of Circuits
Formal Verification of Circuits
Author: Rolf Drechsler
Publisher: Kluwer Academic Publishers
Format: Hardcover
Year: 2000


Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
Author: Nicole Drechsler
Publisher: -
Format: Gebunden
Year: 2000


Evolutionary Algorithms for VLSI CAD
Evolutionary Algorithms for VLSI CAD
Author: Rolf Drechsler
Publisher: Kluwer Academic Publishers
Format: Hardcover
Year: 1998


Binary Decision Diagrams: Theory and Implementations
Binary Decision Diagrams: Theory and Implementations
Author: Rolf Drechsler, Bernd Becker
Publisher: Kluwer Academic Publisher
Format: Hardcover
Year: 1998


Graphenbasierte Funktionsdarstellung
Graphenbasierte Funktionsdarstellung
Author: Rolf Drechsler, Bernd Becker
Publisher: B.G. Teubner
Format: Gebunden
Year: 1998


Functional Decision Diagrams und ihre Anwendung
Functional Decision Diagrams und ihre Anwendung
Author: Rolf Drechsler
Publisher: Modell Verlag
Format: Gebunden
Year: 1996




©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy