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:

» 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




» Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2010
Autor:Stephan Eggersglüß
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2010
Verlag:GI
Seiten:81-90
Erscheinungsjahr:2011
Format:Paperback




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




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




» Synthesis of Boolean Functions in Reversible Logic
Großformat des Buches: Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
Autor:Robert Wille, Rolf Drechsler
Herausgeber:Tsutomu Sasao, Jon T. Butler, Mitchell Thornton
Buchtitel:Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
Verlag:Morgan and Claypool Publishers
Seiten:75-92
Erscheinungsjahr:2010
Format:Paperback




» Ein Entwurfsablauf für Reversible Schaltkreise
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2009
Autor:Robert Wille
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2009
Verlag:GI
Seiten:291-300
Erscheinungsjahr:2010
Format:Paperback




» Non-Clausal SAT and ATPG
Großformat des Buches: Handbook of Satisfiability
Autor:Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
Herausgeber:A. Biere, M. Heule, H. van Maaren, T. Walsh
Buchtitel:Handbook of Satisfiability
Verlag:IOS Press
Seiten:655-693
Erscheinungsjahr:2009
Format:gebunden
 Mehr Informationen




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




» SWORD: A SAT like Prover Using Word Level Information
Großformat des Buches: 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
Autor:Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
Herausgeber:Ricardo Reis, Vincent Mooney, Paul Hasler
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
Verlag:Springer
Seiten:175-192
Erscheinungsjahr:2009
Format:Hardcover




» An Integrated SystemC Debugging Environment
Großformat des Buches: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Autor:Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
Herausgeber:Eugenio Villar
Buchtitel:Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Verlag:Springer
Seiten:59-71
Erscheinungsjahr:2008
Format:gebunden




» Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2008
Autor:Daniel Große
Herausgeber:Dorothea Wagner
Buchtitel:Ausgezeichnete Informatikdissertationen 2008
Verlag:GI
Seiten:121-130
Erscheinungsjahr:2009
Format:Paperback






ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt