HOME | KONTAKT | Switch EN

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Bücher


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
Autor: Pascal Pieper, Rolf Drechsler
Verlag: Springer
Format: gebunden
Erscheinungsjahr: 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
Autor: Sebastian Huhn, Rolf Drechsler
Verlag: Springer
Format: DOI: 10.1007/978-3-031-45319-9, Gebunden
Erscheinungsjahr: 2023


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


Noerdman Comicbuch
Noerdman Comicbuch
Autor: Rolf Drechsler, Jannis Stoppe
Verlag: JR Blendermann Verlag
Format: ISBN: 978-3-910580-07-7, Taschenbuch
Erscheinungsjahr: 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
Autor: Mehran Goli, Rolf Drechsler
Verlag: Springer
Format: DOI: 10.1007/978-3-031-36997-1, Hardcover, eBook
Erscheinungsjahr: 2023


Polynomial Formal Verification of Approximate Functions
Polynomial Formal Verification of Approximate Functions
Autor: Martha Schnieber
Verlag: Springer
Format: DOI: 10.1007/978-3-658-41888-5
Erscheinungsjahr: 2023


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


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


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


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


Design Automation for Field-coupled Nanotechnologies
Design Automation for Field-coupled Nanotechnologies
Autor: Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Verlag: Springer
Format: DOI: 10.1007/978-3-030-89952-3
Erscheinungsjahr: 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
Autor: Sebastian Huhn, Rolf Drechsler
Verlag: Springer
Format: DOI: 10.1007/978-3-030-69209-4, Gebunden und eBook
Erscheinungsjahr: 2021


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


Natural Language Processing for Electronic Design Automation
Natural Language Processing for Electronic Design Automation
Autor: Mathias Soeken, Rolf Drechsler (Eds.)
Verlag: Springer
Format: DOI: 10.1007/978-3-030-52273-5, Hardcover
Erscheinungsjahr: 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
Autor: Rolf Drechsler, Jannis Stoppe
Verlag: Springer
Format: DOI: 10.1007/978-3-658-32413-1, Softcover, eBook
Erscheinungsjahr: 2021


Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Autor: Vladimir Herdt, Daniel Große, Rolf Drechsler
Verlag: Springer
Format: DOI: 10.1007/978-3-030-54828-5, Hardcover
Erscheinungsjahr: 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
Autor: Mehran Goli, Rolf Drechsler
Verlag: Springer
Format: Hardcover
Erscheinungsjahr: 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
Autor: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große (Eds.)
Verlag: Springer
Format: DOI: 10.1007/978-3-030-31585-6, Hardcover
Erscheinungsjahr: 2020


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


In-Memory Computing - Synthesis and Optimization
In-Memory Computing - Synthesis and Optimization
Autor: Saeideh Shirinzadeh, Rolf Drechsler
Verlag: Springer
Format: DOI: 10.1007/978-3-030-18026-3, Hardcover
Erscheinungsjahr: 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
Autor: Daniel Große, Sara Vinco, Hiren Patel (Hrsg.)
Verlag: Springer
Format: DOI: 10.1007/978-3-030-02215-0, Hardcover
Erscheinungsjahr: 2019


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


Design Automation Techniques for Approximation Circuits
Design Automation Techniques for Approximation Circuits
Autor: Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Verlag: Springer
Format: gebunden
Erscheinungsjahr: 2018


Exact Design of Digital Microfluidic Biochips
Exact Design of Digital Microfluidic Biochips
Autor: Oliver Keszöcze, Robert Wille, Rolf Drechsler
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2018


Advanced Logic Synthesis
Advanced Logic Synthesis
Autor: André Inácio Reis, Rolf Drechsler
Verlag: Springer
Format: eBook
Erscheinungsjahr: 2017


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


Computer: Wie funktionieren Smartphone, Tablet & Co.?
Computer: Wie funktionieren Smartphone, Tablet & Co.?
Autor: Rolf Drechsler, Andrea Fink, Jannis Stoppe
Verlag: Springer
Format: Taschenbuch
Erscheinungsjahr: 2017


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


Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
Autor: Vladimir Herdt
Verlag: Springer
Format: Softcover
Erscheinungsjahr: 2016


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
Autor: Edgar E. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Xinxin Fan, Tim Güneysu
Verlag: ACM
Format:
Erscheinungsjahr: 2016


Automatic Methods for the Refinement of System Models
Automatic Methods for the Refinement of System Models
Autor: Julia Seiter, Robert Wille, Rolf Drechsler
Verlag: Springer International Publishing
Format: Taschenbuch
Erscheinungsjahr: 2016


Reversible and Quantum Circuits
Reversible and Quantum Circuits
Autor: Nabila Abdessaied, Rolf Drechsler
Verlag: Springer
Format: eBook, Hardcover
Erscheinungsjahr: 2016


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


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


Cryptographic Hardware and Embedded Systems (CHES 2015)
Cryptographic Hardware and Embedded Systems (CHES 2015)
Autor: Tim Güneysu, Helena Handschuh (Eds.)
Verlag: Springer
Format: Softcover, eBook
Erscheinungsjahr: 2015


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


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


Formal Specification Level
Formal Specification Level
Autor: Mathias Soeken, Rolf Drechsler
Verlag: Springer
Format: eBook, Hardcover
Erscheinungsjahr: 2014


Debug Automation from Pre-Silicon to Post-Silicon
Debug Automation from Pre-Silicon to Post-Silicon
Autor: Mehdi Dehbashi, Görschwin Fey
Verlag: Springer
Format: eBook, Hardcover
Erscheinungsjahr: 2015


Aspekte der Technischen Informatik
Aspekte der Technischen Informatik
Autor: Rolf Drechsler (Hrsg.)
Verlag: MV-Wissenschaft
Format: Softcover
Erscheinungsjahr: 2014


Test digitaler Schaltkreise
Test digitaler Schaltkreise
Autor: Stephan Eggersglüß, Görschwin Fey, Ilia Polian
Verlag: Oldenbourg
Format: Softcover
Erscheinungsjahr: 2014


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


High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
Autor: Stephan Eggersglüß, Rolf Drechsler
Verlag: Springer
Format: Hardcover
Erscheinungsjahr: 2012


Applications of Evolutionary Computation
Applications of Evolutionary Computation
Autor: 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.
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2011


Towards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible Logic
Autor: Robert Wille, Rolf Drechsler
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2010


Debugging at the Electronic System Level
Debugging at the Electronic System Level
Autor: Frank Rogin, Rolf Drechsler
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2010


WoLFram - A Word Level Framework for Formal Verification and its Application
WoLFram - A Word Level Framework for Formal Verification and its Application
Autor: Andre Sülflow
Verlag: Shaker
Format: Gebunden
Erscheinungsjahr: 2010


Quality-Driven SystemC Design
Quality-Driven SystemC Design
Autor: Daniel Große, Rolf Drechsler
Verlag: Springer
Format: Hardcover
Erscheinungsjahr: 2010


Advanced Automation in Formal Verification of Processors
Advanced Automation in Formal Verification of Processors
Autor: Ulrich Kühne
Verlag: Shaker Verlag
Format: Gebunden
Erscheinungsjahr: 2009


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


Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows
Autor: Görschwin Fey, Rolf Drechsler
Verlag: Springer
Format: Hardcover
Erscheinungsjahr: 2008


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Autor: 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
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2008


Automated Validation and Verification of Railway Specific Components and Systems
Automated Validation and Verification of Railway Specific Components and Systems
Autor: Sebastian Kinder
Verlag: Shaker Verlag
Format: Gebunden
Erscheinungsjahr: 2008


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


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Autor: 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
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2007


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


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Autor: 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.)
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2006


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


Technische Informatik - Eine Einführung
Technische Informatik - Eine Einführung
Autor: Bernd Becker, Rolf Drechsler, Paul Molitor
Verlag: Pearson Studium
Format: Gebunden
Erscheinungsjahr: 2005


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Autor: 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
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2005


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


Applications of Evolutionary Computing
Applications of Evolutionary Computing
Autor: 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
Verlag: Springer
Format: Gebunden
Erscheinungsjahr: 2004


Advanced Formal Verification
Advanced Formal Verification
Autor: Rolf Drechsler
Verlag: Kluwer Academic Publishers
Format: Gebunden
Erscheinungsjahr: 2004


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


Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Autor: Rolf Drechsler
Verlag: Shaker Verlag
Format: Gebunden
Erscheinungsjahr: 2003


Evolutionary Algorithms for Embedded System Design
Evolutionary Algorithms for Embedded System Design
Autor: Rolf Drechsler, Nicole Drechsler
Verlag: Kluwer Academic Publishers
Format: Gebunden
Erscheinungsjahr: 2002


Software-Engineering und Hardware-Design
Software-Engineering und Hardware-Design
Autor: Axel Sikora, Rolf Drechsler
Verlag: Carl Hanser Verlag
Format: Gebunden
Erscheinungsjahr: 2002


Towards One-Pass Synthesis
Towards One-Pass Synthesis
Autor: Rolf Drechsler, Wolfgang Günther
Verlag: Kluwer Academic Publishers
Format: Hardcover
Erscheinungsjahr: 2002


Spectral Techniques in VLSI CAD
Spectral Techniques in VLSI CAD
Autor: Mitchell A. Thornton, Rolf Drechsler, D. Michel Miller
Verlag: Kluwer Academic Publishers
Format: Hardcover
Erscheinungsjahr: 2001


Formal Verification of Circuits
Formal Verification of Circuits
Autor: Rolf Drechsler
Verlag: Kluwer Academic Publishers
Format: Hardcover
Erscheinungsjahr: 2000


Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
Autor: Nicole Drechsler
Verlag: -
Format: Gebunden
Erscheinungsjahr: 2000


Evolutionary Algorithms for VLSI CAD
Evolutionary Algorithms for VLSI CAD
Autor: Rolf Drechsler
Verlag: Kluwer Academic Publishers
Format: Hardcover
Erscheinungsjahr: 1998


Binary Decision Diagrams: Theory and Implementations
Binary Decision Diagrams: Theory and Implementations
Autor: Rolf Drechsler, Bernd Becker
Verlag: Kluwer Academic Publisher
Format: Hardcover
Erscheinungsjahr: 1998


Graphenbasierte Funktionsdarstellung
Graphenbasierte Funktionsdarstellung
Autor: Rolf Drechsler, Bernd Becker
Verlag: B.G. Teubner
Format: Gebunden
Erscheinungsjahr: 1998


Functional Decision Diagrams und ihre Anwendung
Functional Decision Diagrams und ihre Anwendung
Autor: Rolf Drechsler
Verlag: Modell Verlag
Format: Gebunden
Erscheinungsjahr: 1996




©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz