Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Buchbeiträge

Sortieren nach: [ Kapiteltitel ] [ Verlag ] [ Autor ] [ Format ] [ Jahr ]
Suche nach:

» Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab
Großformat des Buches: Smart City – Made in Germany
Autor:Serge Autexier, Rolf Drechsler
Herausgeber:Etezadzadeh, Chirine
Buchtitel:Smart City – Made in Germany
Verlag:Springer
Seiten:671-682
Erscheinungsjahr:2020
Format:gebunden
 Mehr Informationen




» 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
Autor:Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Herausgeber:Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Buchtitel:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018
Verlag:Springer
Seiten:115-134
Erscheinungsjahr:2020
Format:Hardcover
 Mehr Informationen




» Approximate Memory: Data Storage in the Context of Approximate Computing
Großformat des Buches: Information Storage
Autor:Saman Fröhlich, Daniel Große, Rolf Drechsler
Herausgeber:Cornelia S. Große, Rolf Drechsler
Buchtitel:Information Storage
Verlag:Springer
Seiten:111-133
Erscheinungsjahr:2019
Format:Hardcover
 Mehr Informationen




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




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




» In-Memory Computing: The Integration of Storage and Processing
Information Storage

A Multidisciplinary Perspective
Autor:Saeideh Shirinzadeh, Rolf Drechsler
Herausgeber:Cornelia S. Große, Rolf Drechsler
Buchtitel:Information Storage A Multidisciplinary Perspective
Verlag:Springer
Seiten:
Erscheinungsjahr:2019
Format:Hardcover
 Mehr Informationen




» Approximate Hardware Generation Using Formal Techniques
Großformat des Buches: Approximate Circuits: Methodologies and CAD
Autor:Saman Fröhlich, Daniel Große, Rolf Drechsler
Herausgeber:Sherief Reda, Muhammad Shafique
Buchtitel:Approximate Circuits: Methodologies and CAD
Verlag:Springer
Seiten:155-174
Erscheinungsjahr:2019
Format:Hardcover
 Mehr Informationen




» 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
Autor:Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Herausgeber:Daniel Große, Sara Vinco, Hiren Patel
Buchtitel:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017
Verlag:Springer
Seiten:25-44
Erscheinungsjahr:2019
Format:Hardcover
 Mehr Informationen




» Computational Complexity of Error Metrics in Approximate Computing
Großformat des Buches: Further Improvements in the Boolean Domain
Autor:Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Herausgeber:Bernd Steinbach
Buchtitel:Further Improvements in the Boolean Domain
Verlag:Cambridge Scholars Publishing
Seiten:
Erscheinungsjahr:2018
Format:Paperback
 Mehr Informationen




» 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
Autor:Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Herausgeber:Franco Fummi, Robert Wille
Buchtitel:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Verlag:Springer
Seiten:39-58
Erscheinungsjahr:2018
Format:Hardcover
 Mehr Informationen




» Logic Synthesis for Majority based In-Memory Computing
Großformat des Buches: Advances in Memristors, Memristive Devices and Systems
Autor:Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Herausgeber:Sundarapandian Vaidyanathan, Christos Volos
Buchtitel:Advances in Memristors, Memristive Devices and Systems
Verlag:Springer
Seiten:425 - 448
Erscheinungsjahr:2017
Format:Hardcover
 Mehr Informationen




» Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2015
Autor:Hoang M. Le
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2015
Verlag:GI
Seiten:179-188
Erscheinungsjahr:2016
Format:Paperback




» Formal Verification of SystemC-based Cyber Components
Großformat des Buches: Industrial Internet of Things: Cybermanufacturing Systems
Autor:Daniel Große, Hoang M. Le, Rolf Drechsler
Herausgeber:Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Buchtitel:Industrial Internet of Things: Cybermanufacturing Systems
Verlag:Springer
Seiten:137-167
Erscheinungsjahr:2016
Format:Hardcover
 Mehr Informationen




» A framework for reversible circuit complexity
Großformat des Buches: Problems and New Solutions in the Boolean Domain
Autor:Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Herausgeber:Bernd Steinbach
Buchtitel:Problems and New Solutions in the Boolean Domain
Verlag:Cambridge Scholars Publishing
Seiten:327 - 341
Erscheinungsjahr:2016
Format:Paperback
 Mehr Informationen




» Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design
Autor:Oliver Keszöcze, Robert Wille
Herausgeber:Frank Oppenheimer, Julio Luis Medina Pasaje
Buchtitel:Languages, Design Methods, and Tools for Electronic System Design
Verlag:Springer
Seiten:101—112
Erscheinungsjahr:2016
Format:gebunden
 Mehr Informationen




» Formale Spezifikationsebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2013
Autor:Mathias Soeken
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2013
Verlag:GI
Seiten:241-250
Erscheinungsjahr:2014
Format:Paperback




» Formal Specification Level
Großformat des Buches: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Autor:Rolf Drechsler, Mathias Soeken, Robert Wille
Herausgeber:Jan Haase
Buchtitel:Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Verlag:Springer
Seiten:37-52
Erscheinungsjahr:2014
Format:Hardcover
 Mehr Informationen




» Evaluating Debugging Algorithms from a Qualitative Perspective
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010
Autor:Alexander Finder, Görschwin Fey
Herausgeber:Tom J. Kazmierski, Adam Morawiec
Buchtitel:System Specification and Design Languages: Selected Contributions from FDL 2010
Verlag:Springer
Seiten:21-36
Erscheinungsjahr:2012
Format:Hardcover
 Mehr Informationen




» Assessing System Vulnerability Using Formal Verification Techniques
Großformat des Buches: Mathematical and Engineering Methods in Computer Science
Autor:Görschwin Fey
Herausgeber:Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš
Buchtitel:Mathematical and Engineering Methods in Computer Science
Verlag:Springer
Seiten:47-56
Erscheinungsjahr:2012
Format:Hardcover
 Mehr Informationen




» SyReC: A Programming Language for Synthesis of Reversible Circuits
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010
Autor:Robert Wille, Sebastian Offermann, Rolf Drechsler
Herausgeber:Tom J. Kazmierski, Adam Morawiec
Buchtitel:System Specification and Design Languages: Selected Contributions from FDL 2010
Verlag:Springer
Seiten:207-222
Erscheinungsjahr:2012
Format:Hardcover
 Mehr Informationen






ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt