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


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: 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