

|
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

|
|
|