Homepage Sitemap Contact




Home « Publications « Book contributions

Sort: [ Title ] [ Publisher ] [ Author ] [ Format ] [ Year ]
Search:

» Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab
Großformat des Buches: Smart City – Made in Germany
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
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018
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
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018
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
Großformat des Buches: Information Storage
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
Design and Testing of Reversible Logic
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
Brauchen wir eine neue Staatskunst?
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
Information Storage

A Multidisciplinary Perspective
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
Großformat des Buches: Approximate Circuits: Methodologies and CAD
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
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017
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
Großformat des Buches: Further Improvements in the Boolean Domain
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
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
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
Großformat des Buches: Advances in Memristors, Memristive Devices and Systems
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
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2015
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
Großformat des Buches: Industrial Internet of Things: Cybermanufacturing Systems
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
Großformat des Buches: Problems and New Solutions in the Boolean Domain
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




» Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design
Author:Oliver Keszöcze, Robert Wille
Editor:Frank Oppenheimer, Julio Luis Medina Pasaje
Booktitle:Languages, Design Methods, and Tools for Electronic System Design
Publisher:Springer
Sites:101—112
Year:2016
Format:gebunden
 More Information




» Formale Spezifikationsebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2013
Author:Mathias Soeken
Editor:S. Hölldobler et al.
Booktitle:Ausgezeichnete Informatikdissertationen 2013
Publisher:GI
Sites:241-250
Year:2014
Format:Paperback




» Formal Specification Level
Großformat des Buches: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Author:Rolf Drechsler, Mathias Soeken, Robert Wille
Editor:Jan Haase
Booktitle:Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Publisher:Springer
Sites:37-52
Year:2014
Format:Hardcover
 More Information




» Evaluating Debugging Algorithms from a Qualitative Perspective
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010
Author:Alexander Finder, Görschwin Fey
Editor:Tom J. Kazmierski, Adam Morawiec
Booktitle:System Specification and Design Languages: Selected Contributions from FDL 2010
Publisher:Springer
Sites:21-36
Year:2012
Format:Hardcover
 More Information




» Assessing System Vulnerability Using Formal Verification Techniques
Großformat des Buches: Mathematical and Engineering Methods in Computer Science
Author:Görschwin Fey
Editor:Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš
Booktitle:Mathematical and Engineering Methods in Computer Science
Publisher:Springer
Sites:47-56
Year:2012
Format:Hardcover
 More Information






older entries in the archive






Deutsch









Sitemap Kontakt

ISMVL2014 DUHDE