|
Home « Publications « Book contributions
| » Empowering the Design of Reversible and Quantum Logic with Decision Diagrams |
 |
| Author: | Robert Wille, Philipp Niemann, Alwin Zulehner and Rolf Drechsler
|
| Editor: | Mohamed M. Sabry Aly, Anupam Chattopadhyay |
| Booktitle: | Emerging Computing: From Devices to Systems |
| Publisher: | Springer |
| Sites: | 355–369 |
| Year: | 2022 |
| Format: | Hardcover, eBook |
| | More Information |
|
| » Programmieren mit Arduinos |
 |
| Author: | Cornelia Große, Sebastian Huhn, Markus Leuschner
|
| Editor: | Lutz Mädler, Claudia Sobich |
| Booktitle: | Schule in Farbigen Zuständen - Lernmodule für den 5. Jahrgang |
| Publisher: | OpenAccess |
| Sites: | 37-82 |
| Year: | 2022 |
| Format: | |
| | More Information |
|
| » Automatisierte Analyse virtueller Prototypen auf der ESL |
 |
| Author: | Mehran Goli
|
| Editor: | S. Hölldobler et al. |
| Booktitle: | Ausgezeichnete Informatikdissertationen 2019 |
| Publisher: | GI |
| Sites: | 89-98 |
| Year: | 2019 |
| Format: | Paperback |
| | More Information |
|
| » 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 |
 |
| Author: | Serge Autexier, Christoph Lüth, Rolf Drechsler
|
| Editor: | Mario A. Pfannstiel |
| Booktitle: | Künstliche Intelligenz im Gesundheitswesen |
| Publisher: | Springer |
| Sites: | 835-850 |
| Year: | 2022 |
| Format: | Hardcover |
| | More Information |
|
| » Verbessertes Virtual Prototyping für den Entwurfsablauf |
|
| Author: | Vladimir Herdt
|
| Editor: | S. Hölldobler et al. |
| Booktitle: | Ausgezeichnete Informatikdissertationen 2020 |
| Publisher: | GI |
| Sites: | 119-128 |
| Year: | 2021 |
| Format: | Paperback |
|
| » Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab |
 |
| Author: | Serge Autexier, Rolf Drechsler
|
| Editor: | Etezadzadeh, Chirine |
| Booktitle: | Smart City – Made in Germany |
| Publisher: | Springer |
| Sites: | 671-682 |
| Year: | 2020 |
| Format: | gebunden |
| | More Information |
|
| » Automatic Design of Microfluidic
Devices: An Overview of Platforms
and Corresponding Design Tasks |
 |
| Author: | Robert Wille, Bing Li, Rolf Drechsler, and Ulf Schlichtmann
|
| Editor: | Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 |
| Publisher: | Springer |
| Sites: | 71-88 |
| Year: | 2020 |
| Format: | Hardcover |
| | More Information |
|
| » Extensible and Configurable RISC-V Based Virtual Prototype |
|
| Author: | Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
|
| Editor: | Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 |
| Publisher: | Springer |
| Sites: | 115-134 |
| Year: | 2020 |
| Format: | Hardcover |
| | More Information |
|
| » Approximate Memory: Data Storage in the Context of Approximate Computing |
 |
| Author: | Saman Fröhlich, Daniel Große, Rolf Drechsler
|
| Editor: | Cornelia S. Große, Rolf Drechsler |
| Booktitle: | Information Storage
|
| Publisher: | Springer |
| Sites: | 111-133 |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » An Efficient Nearest Neighbor Design for 2D Quantum Circuits |
 |
| Author: | A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, Robert Wille, Rolf Drechsler, H. Rahaman
|
| Editor: | Ashutosh Kumar SinghMasahiro FujitaAnand Mohan |
| Booktitle: | Design and Testing of Reversible Logic |
| Publisher: | Springer |
| Sites: | Pages 215-231 |
| Year: | 2020 |
| Format: | gebunden |
| | More Information |
|
| » Assistenzsysteme der Zukunft – Nutzen und Potenzial künstlicher Intelligenz |
 |
| Author: | Rolf Drechsler, Christoph Lüth
|
| Editor: | Henning Lühr |
| Booktitle: | Brauchen wir eine neue Staatskunst? |
| Publisher: | Kellner Verlag |
| Sites: | 42-47 |
| Year: | 2019 |
| Format: | Gebunden, Softcover |
|
| » In-Memory Computing:
The Integration of Storage and Processing |
|
| Author: | Saeideh Shirinzadeh, Rolf Drechsler
|
| Editor: | Cornelia S. Große, Rolf Drechsler |
| Booktitle: | Information Storage
A Multidisciplinary Perspective |
| Publisher: | Springer |
| Sites: | |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » Approximate Hardware Generation Using Formal Techniques |
 |
| Author: | Saman Fröhlich, Daniel Große, Rolf Drechsler
|
| Editor: | Sherief Reda, Muhammad Shafique |
| Booktitle: | Approximate Circuits: Methodologies and CAD
|
| Publisher: | Springer |
| Sites: | 155-174 |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach |
 |
| Author: | Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
|
| Editor: | Daniel Große, Sara Vinco, Hiren Patel |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 |
| Publisher: | Springer |
| Sites: | 25-44 |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » Computational Complexity of Error Metrics in Approximate Computing |
 |
| Author: | Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
|
| Editor: | Bernd Steinbach |
| Booktitle: | Further Improvements in the Boolean Domain |
| Publisher: | Cambridge Scholars Publishing |
| Sites: | |
| Year: | 2018 |
| Format: | Paperback |
| | More Information |
|
| » 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 |
 |
| Author: | Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
|
| Editor: | Franco Fummi, Robert Wille |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 |
| Publisher: | Springer |
| Sites: | 39-58 |
| Year: | 2018 |
| Format: | Hardcover |
| | More Information |
|
| » Logic Synthesis for Majority based In-Memory Computing |
 |
| Author: | Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
|
| Editor: | Sundarapandian Vaidyanathan, Christos Volos |
| Booktitle: | Advances in Memristors, Memristive Devices and Systems |
| Publisher: | Springer |
| Sites: | 425 - 448 |
| Year: | 2017 |
| Format: | Hardcover |
| | More Information |
|
| » Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene |
|
| Author: | Hoang M. Le
|
| Editor: | S. Hölldobler et al. |
| Booktitle: | Ausgezeichnete Informatikdissertationen 2015 |
| Publisher: | GI |
| Sites: | 179-188 |
| Year: | 2016 |
| Format: | Paperback |
|
| » Formal Verification of SystemC-based Cyber Components |
 |
| Author: | Daniel Große, Hoang M. Le, Rolf Drechsler
|
| Editor: | Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat |
| Booktitle: | Industrial Internet of Things: Cybermanufacturing Systems |
| Publisher: | Springer |
| Sites: | 137-167 |
| Year: | 2016 |
| Format: | Hardcover |
| | More Information |
|
| » A framework for reversible circuit complexity |
 |
| Author: | Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
|
| Editor: | Bernd Steinbach |
| Booktitle: | Problems and New Solutions in the Boolean Domain |
| Publisher: | Cambridge Scholars Publishing |
| Sites: | 327 - 341 |
| Year: | 2016 |
| Format: | Paperback |
| | More Information |
|
older entries in the archive
|
|
|
