HOME | KONTAKT | Switch EN

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



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

Buchbeiträge


Cover
Empowering the Design of Reversible and Quantum Logic with Decision Diagrams
Autor: Robert Wille, Philipp Niemann, Alwin Zulehner and Rolf Drechsler
Buchtitel: Emerging Computing: From Devices to Systems | Herausgeber: Mohamed M. Sabry Aly, Anupam Chattopadhyay
Verlag: Springer
Hardcover, eBook , 355–369 , 2022


Cover
Programmieren mit Arduinos
Autor: Cornelia Große, Sebastian Huhn, Markus Leuschner
Buchtitel: Schule in Farbigen Zuständen - Lernmodule für den 5. Jahrgang | Herausgeber: Lutz Mädler, Claudia Sobich
Verlag: OpenAccess
37-82 , 2022


Cover
Automatisierte Analyse virtueller Prototypen auf der ESL
Autor: Mehran Goli
Buchtitel: Ausgezeichnete Informatikdissertationen 2019 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback , 89-98 , 2019


Cover
Das Bremen Ambient Assisted Living Lab und darüber hinaus – Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen
Autor: Serge Autexier, Christoph Lüth, Rolf Drechsler
Buchtitel: Künstliche Intelligenz im Gesundheitswesen | Herausgeber: Mario A. Pfannstiel
Verlag: Springer
Hardcover , 835-850 , 2022


Cover
Verbessertes Virtual Prototyping für den Entwurfsablauf
Autor: Vladimir Herdt
Buchtitel: Ausgezeichnete Informatikdissertationen 2020 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback , 119-128 , 2021


Cover
Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab
Autor: Serge Autexier, Rolf Drechsler
Buchtitel: Smart City – Made in Germany | Herausgeber: Etezadzadeh, Chirine
Verlag: Springer
gebunden , 671-682 , 2020


Cover
Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks
Autor: Robert Wille, Bing Li, Rolf Drechsler, and Ulf Schlichtmann
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 | Herausgeber: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Verlag: Springer
Hardcover , 71-88 , 2020


Cover
Extensible and Configurable RISC-V Based Virtual Prototype
Autor: Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 | Herausgeber: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Verlag: Springer
Hardcover , 115-134 , 2020


Cover
Approximate Memory: Data Storage in the Context of Approximate Computing
Autor: Saman Fröhlich, Daniel Große, Rolf Drechsler
Buchtitel: Information Storage | Herausgeber: Cornelia S. Große, Rolf Drechsler
Verlag: Springer
Hardcover , 111-133 , 2019


Cover
An Efficient Nearest Neighbor Design for 2D Quantum Circuits
Autor: A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, Robert Wille, Rolf Drechsler, H. Rahaman
Buchtitel: Design and Testing of Reversible Logic | Herausgeber: Ashutosh Kumar SinghMasahiro FujitaAnand Mohan
Verlag: Springer
gebunden , Pages 215-231 , 2020


Cover
Assistenzsysteme der Zukunft – Nutzen und Potenzial künstlicher Intelligenz
Autor: Rolf Drechsler, Christoph Lüth
Buchtitel: Brauchen wir eine neue Staatskunst? | Herausgeber: Henning Lühr
Verlag: Kellner Verlag
Gebunden, Softcover , 42-47 , 2019


Cover
In-Memory Computing: The Integration of Storage and Processing
Autor: Saeideh Shirinzadeh, Rolf Drechsler
Buchtitel: Information Storage A Multidisciplinary Perspective | Herausgeber: Cornelia S. Große, Rolf Drechsler
Verlag: Springer
Hardcover , 2019


Cover
Approximate Hardware Generation Using Formal Techniques
Autor: Saman Fröhlich, Daniel Große, Rolf Drechsler
Buchtitel: Approximate Circuits: Methodologies and CAD | Herausgeber: Sherief Reda, Muhammad Shafique
Verlag: Springer
Hardcover , 155-174 , 2019


Cover
Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach
Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 | Herausgeber: Daniel Große, Sara Vinco, Hiren Patel
Verlag: Springer
Hardcover , 25-44 , 2019


Cover
Computational Complexity of Error Metrics in Approximate Computing
Autor: Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Buchtitel: Further Improvements in the Boolean Domain | Herausgeber: Bernd Steinbach
Verlag: Cambridge Scholars Publishing
Paperback , 2018


Cover
On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 | Herausgeber: Franco Fummi, Robert Wille
Verlag: Springer
Hardcover , 39-58 , 2018


Cover
Logic Synthesis for Majority based In-Memory Computing
Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Buchtitel: Advances in Memristors, Memristive Devices and Systems | Herausgeber: Sundarapandian Vaidyanathan, Christos Volos
Verlag: Springer
Hardcover , 425 - 448 , 2017


Cover
Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Autor: Hoang M. Le
Buchtitel: Ausgezeichnete Informatikdissertationen 2015 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback , 179-188 , 2016


Cover
Formal Verification of SystemC-based Cyber Components
Autor: Daniel Große, Hoang M. Le, Rolf Drechsler
Buchtitel: Industrial Internet of Things: Cybermanufacturing Systems | Herausgeber: Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Verlag: Springer
Hardcover , 137-167 , 2016


Cover
A framework for reversible circuit complexity
Autor: Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Buchtitel: Problems and New Solutions in the Boolean Domain | Herausgeber: Bernd Steinbach
Verlag: Cambridge Scholars Publishing
Paperback , 327 - 341 , 2016


Cover
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Autor: Oliver Keszöcze, Robert Wille
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design | Herausgeber: Frank Oppenheimer, Julio Luis Medina Pasaje
Verlag: Springer
gebunden , 101—112 , 2016


Cover
Formale Spezifikationsebene
Autor: Mathias Soeken
Buchtitel: Ausgezeichnete Informatikdissertationen 2013 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback , 241-250 , 2014


Cover
Formal Specification Level
Autor: Rolf Drechsler, Mathias Soeken, Robert Wille
Buchtitel: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012 | Herausgeber: Jan Haase
Verlag: Springer
Hardcover , 37-52 , 2014


Cover
Evaluating Debugging Algorithms from a Qualitative Perspective
Autor: Alexander Finder, Görschwin Fey
Buchtitel: System Specification and Design Languages: Selected Contributions from FDL 2010 | Herausgeber: Tom J. Kazmierski, Adam Morawiec
Verlag: Springer
Hardcover , 21-36 , 2012


Cover
Assessing System Vulnerability Using Formal Verification Techniques
Autor: Görschwin Fey
Buchtitel: Mathematical and Engineering Methods in Computer Science | Herausgeber: Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš
Verlag: Springer
Hardcover , 47-56 , 2012


Cover
SyReC: A Programming Language for Synthesis of Reversible Circuits
Autor: Robert Wille, Sebastian Offermann, Rolf Drechsler
Buchtitel: System Specification and Design Languages: Selected Contributions from FDL 2010 | Herausgeber: Tom J. Kazmierski, Adam Morawiec
Verlag: Springer
Hardcover , 207-222 , 2012


Cover
Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen
Autor: Stephan Eggersglüß
Buchtitel: Ausgezeichnete Informatikdissertationen 2010 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback , 81-90 , 2011


Cover
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Autor: Daniel Große, Görschwin Fey, Rolf Drechsler
Buchtitel: Design and Test Technology for Dependable Systems-on-Chip | Herausgeber: Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus
Verlag: Information Science Reference
Hardcover , 119-129 , 2011


Cover
SMT-based Stimuli Generation in the SystemC Verification Library
Autor: Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
Buchtitel: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 | Herausgeber: Dominique Borrione
Verlag: Springer
Hardcover , 227-244 , 2010


Cover
Synthesis of Boolean Functions in Reversible Logic
Autor: Robert Wille, Rolf Drechsler
Buchtitel: Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems) | Herausgeber: Tsutomu Sasao, Jon T. Butler, Mitchell Thornton
Verlag: Morgan and Claypool Publishers
Paperback , 75-92 , 2010


Cover
Ein Entwurfsablauf für Reversible Schaltkreise
Autor: Robert Wille
Buchtitel: Ausgezeichnete Informatikdissertationen 2009 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback , 291-300 , 2010


Cover
Non-Clausal SAT and ATPG
Autor: Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
Buchtitel: Handbook of Satisfiability | Herausgeber: A. Biere, M. Heule, H. van Maaren, T. Walsh
Verlag: IOS Press
gebunden , 655-693 , 2009


Cover
Debugging Contradictory Constraints in Constraint-based Random Simulation
Autor: Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
Buchtitel: Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 | Herausgeber: Martin Radetzki
Verlag: Springer
gebunden , 273-290 , 2009


Cover
SWORD: A SAT like Prover Using Word Level Information
Autor: Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
Buchtitel: VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip | Herausgeber: Ricardo Reis, Vincent Mooney, Paul Hasler
Verlag: Springer
Hardcover , 175-192 , 2009


Cover
An Integrated SystemC Debugging Environment
Autor: Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
Buchtitel: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 | Herausgeber: Eugenio Villar
Verlag: Springer
gebunden , 59-71 , 2008


Cover
Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Autor: Daniel Große
Buchtitel: Ausgezeichnete Informatikdissertationen 2008 | Herausgeber: Dorothea Wagner
Verlag: GI
Paperback , 121-130 , 2009


Cover
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
Autor: Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
Buchtitel: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 | Herausgeber: Eugenio Villar
Verlag: Springer
gebunden , 73-86 , 2008


Cover
Non-Intrusive High-level SystemC Debugging
Autor: Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt
Buchtitel: Advances in Design and Specification Languages for Embedded Systems | Herausgeber: Sorin A. Huss
Verlag: Springer
gebunden , 131-144 , 2007


Cover
Exact BDD Minimization for Path-Related Objective Functions
Autor: Rüdiger Ebendt, Rolf Drechsler
Buchtitel: VLSI-SoC: From Systems to Silicon | Herausgeber: Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer
Verlag: Springer
gebunden , 299-315 , 2007


Cover
Stuck-At-Fault Testability of SPP Three-Level Logic Forms
Autor: V. Ciriani, A. Bernasconi, Rolf Drechsler
Buchtitel: VLSI-SOC: From Systems to Chips | Herausgeber: M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Verlag: Springer
gebunden , 299-313 , 2006


Cover
Exploration of Sequential Depth by Evolutionary Algorithms
Autor: Nicole Drechsler, Rolf Drechsler
Buchtitel: VLSI-SOC: From Systems to Chips | Herausgeber: M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Verlag: Springer Boston
gebunden , 73-83 , 2006


Cover
Processor Verification
Autor: Daniel Große, Robert Siegmund, Rolf Drechsler
Buchtitel: Customizable Embedded Processors | Herausgeber: Paolo Ienne, Rainer Leupers
Verlag: Elsevier
gebunden , 281-302 , 2006


Cover
Automatic Test Pattern Generation
Autor: Rolf Drechsler, Görschwin Fey
Buchtitel: Formal Methods for Hardware Verification, LNCS 3965 | Herausgeber: Marco Bernardo, Alessandro Cimatti
Verlag: Springer
gebunden , 30-55 , 2006


Cover
System-level validation using formal techniques
Autor: Rolf Drechsler, Daniel Große
Buchtitel: System-on-Chip: Next Generation Electronics | Herausgeber: Bashir M. Al-Hashimi
Verlag: The IEE
gebunden , 715-745 , 2006




©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz