Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Zeitschriften

Sortieren nach: [ Titel ] [ Autor ] [ Zeitschrift ] [ Jahr ]
Suche nach:



» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata





Autor:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
accepted
Jahr:


2017






» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements





Autor:

Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
Zeitschrift:
Computer Languages, Systems & Structures
Details:
accepted
Jahr:


2017






» Logic synthesis for RRAM-based in-memory computing
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Logic synthesis for RRAM-based in-memory computing





Autor:

Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
accepted
Jahr:


2017






» Synthesis of optical circuits using binary decision diagrams
[Link zur Zeitschriften-Homepage]







Autor:

Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler
Zeitschrift:
Integration, the VLSI Journal
Details:
Volume 59, September 2017, Pages 42–51
Jahr:


2017






» A PLiM computer for the IoT
[Link zur Zeitschriften-Homepage]







Autor:

Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
Zeitschrift:
Computer
Details:
50(6):35-40, DOI: 10.1109/MC.2017.173
Jahr:


2017






» Information reconciliation schemes in physical-layer security: A survey
[Link zur Zeitschriften-Homepage]







Autor:

Christopher Huth, Rene Guillaume, Thomas Strohm, Paul Duplys, Irin Ann Samuel, Tim Güneysu
Zeitschrift:
Computer Networks 109: 84-104 (2016)
Details:
Jahr:









» Towards a Verification Flow Across Abstraction Levels:
Verifying Implementations Against Their Formal Specification

[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Towards a Verification Flow Across Abstraction Levels:<br />
Verifying Implementations Against Their Formal Specification





Autor:

Pablo Gonzalez-de-Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sanchez
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
36(3):475-488, DOI: 10.1109/TCAD.2016.2611494
Jahr:


2017






» Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
[Link zur Zeitschriften-Homepage]







Autor:

Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler
Zeitschrift:
IET Cyber-Physical Systems: Theory & Applications
Details:
Volume 1, Issue 1, December 2016, pp. 49-59
DOI: 10.1049/iet-cps.2016.0022
Jahr:


2016






» Debugging hardware designs using dynamic dependency graphs
[Link zur Zeitschriften-Homepage]







Autor:

Jan Malburg, Alexander Finder, Görschwin Fey
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details:
accepted, DOI: 10.1016/j.micpro.2016.10.004 Link
Jahr:


2016






» Empirical Results on Parity-based Soft Error Detection with Software-based Retry
[Link zur Zeitschriften-Homepage]







Autor:

Gökçe Aydos, Görschwin Fey
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details:
accepted, http://dx.doi.org/10.1016/j.micpro.2016.09.009
Jahr:


2016






» metaSMT: Focus On Your Application And Not On Solver Integration
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: metaSMT: Focus On Your Application And Not On Solver Integration





Autor:

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
Zeitschrift:
International Journal of Software Tools for Technology Transfer
Details:
19(5):605-621, DOI10.1007/s10009-016-0426-1 Link
Jahr:


2017






» Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
[Link zur Zeitschriften-Homepage]







Autor:

Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 13, Issue 1
Jahr:


2016






» Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
[Link zur Zeitschriften-Homepage]







Autor:

Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 12 Issue 4, Article No. 34
Jahr:


2016






» On Optimization-based ATPG and its Application for Highly Compacted Test Sets
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: On Optimization-based ATPG and its Application for Highly Compacted Test Sets





Autor:

Stephan Eggersglüß, Kenneth Schmitz, Rene Krenz-Baath, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Vol. 35(12), pp. 2104-2117
Jahr:


2016






» Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
[Link zur Zeitschriften-Homepage]







Autor:

Christopher Rosebrock, Saeideh Shirinzadeh, Mathias Soeken, Norbert Riefler, Thomas Wriedt, Rolf Drechsler, Lutz Mädler
Zeitschrift:
Combustion and Flame
Details:
Volume 168, June 2016, Pages 255–269
Jahr:


2016






» Online collaborative learning in dyads: Effects of knowledge distribution and awareness
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Online collaborative learning in dyads: Effects of knowledge distribution and awareness





Autor:

Michail D. Kozlov, Cornelia Große
Zeitschrift:
Computers in Human Behavior
Details:
Volume 59, 389-401
Jahr:


2016






» Complexity of Reversible Circuits and their Quantum Implementations
[Link zur Zeitschriften-Homepage]







Autor:

Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
Zeitschrift:
Theoretical Computer Science
Details:
Volume 618, (March 2016), pp. 85–106. DOI:10.1016/j.tcs.2016.01.011
Jahr:


2016






» Analyzing Inconsistencies in UML/OCL Models
[Link zur Zeitschriften-Homepage]







Autor:

Nils Przigoda, Robert Wille, Rolf Drechsler
Zeitschrift:
Journal of Circuits, Systems and Computers
Details:
Volume 25, Issue 03, March 2016
DOI: 10.1142/S0218126616400211
Jahr:


2016






» Atomic distributions in crystal structures solved by Boolean satisfiability techniques
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Atomic distributions in crystal structures solved by Boolean satisfiability techniques





Autor:

Mathias Soeken, Rolf Drechsler, Reinhard X. Fischer
Zeitschrift:
Zeitschrift für Kristallographie - Crystalline Materials
Details:
Z. Kristallogr. 2016; 231(2): 107–111
Jahr:


2015






» SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits





Autor:

Robert Wille, Eleonora Schonborn, Mathias Soeken, Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details:
53(3):39-53
Jahr:


2016








ältere Einträge im Archiv







English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt