» Self-Adaptive Evolutionary Many-Objective Optimization based on Relation Epsilon-Preferred
|
|
|
|
Author:
|
|
Nicole Drechsler |
| Conference: |
|
International Conference on Soft Computing MENDEL |
Reference:
|
| Brno, Czech Republic, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» Improved SAT-based ATPG: More Constraints, Better Compaction
|
|
|
|
Author:
|
|
Stephan Eggersglüß, Robert Wille, Rolf Drechsler |
| Conference: |
|
IEEE/ACM International Conference on Computer-Aided Design (ICCAD) |
Reference:
|
| San Jose, USA, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» A Compact and Efficient SAT Encoding for Quantum Circuits
|
|
|
|
Author:
|
|
Robert Wille, Nils Przigoda, Rolf Drechsler |
| Conference: |
|
IEEE Africon |
Reference:
|
| Mauritius, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» Exploiting Reversibility in the Complete Simulation of Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Simon Stelter, Rolf Drechsler |
| Conference: |
|
IEEE Africon |
Reference:
|
| Mauritius, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» Cone of Influence Analysis at the Electronic System Level Using Machine Learning
|
|
|
|
Author:
|
|
Jannis Stoppe, Robert Wille, Rolf Drechsler |
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| Santander, Spain, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» Minimal Stimuli Generation in Simulation-based Verification
|
|
|
|
Author:
|
|
Shuo Yang, Robert Wille, Daniel Große and Rolf Drechsler |
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| Santander, Spain, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» The SyReC Hardware Description Language:
Enabling Scalable Synthesis of Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Rolf Drechsler |
| Conference: |
|
International Midwest Symposium on Circuits and Systems (MWSCAS) |
Reference:
|
| Columbus, USA, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» Incorporating User Preferences in Many-Objective Optimization using Relation Epsilon-Preferred
|
|
|
|
Author:
|
|
Nicole Drechsler, André Sülflow, Rolf Drechsler |
| Conference: |
|
International Conference on Evolutionary Computation Theory and Applications (ECTA) |
Reference:
|
| Vilamoura, Portugal, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» Data Extraction from SystemC Designs using Debug Symbols and the SystemC API
|
|
|
|
Author:
|
|
Jannis Stoppe, Robert Wille, Rolf Drechsler |
| Conference: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Reference:
|
| Natal, Brazil, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure
|
|
|
|
Author:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Conference: |
|
Reversible Computation |
Reference:
|
| Victoria, Canada, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Exploiting Negative Control Lines in the Optimization of Reversible Circuits
|
|
|
|
Author:
|
|
Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler |
| Conference: |
|
Reversible Computation |
Reference:
|
| Victoria, Canada, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure
|
|
|
|
Author:
|
|
Arighna Deb, Debesh Kumar Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler |
| Conference: |
|
Reversible Computation |
Reference:
|
| Victoria, Canada, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» White Dots do Matter: Rewriting Reversible Logic Circuits
|
|
|
|
Author:
|
|
Mathias Soeken, Michael Kirkedal Thomsen |
| Conference: |
|
Reversible Computation |
Reference:
|
| Victoria, Canada, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
» Reducing the Depth of Quantum Circuits Using Additional Lines
|
|
|
|
Author:
|
|
Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler |
| Conference: |
|
Reversible Computation |
Reference:
|
| Victoria, Canada, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Hardware-Software Co-Visualization: Developing Systems in the Holodeck
|
|
|
|
Author:
|
|
Rolf Drechsler, Mathias Soeken |
| Conference: |
|
16th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Reference:
|
| Karlovy Vary, Czech Republic, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Debugging HDL Designs Based on Functional Equivalences with High-Level Specifications
|
|
|
|
Author:
|
|
Alexander Finder, Jan-Philipp Witte, Görschwin Fey |
| Conference: |
|
16th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Reference:
|
| Karlovy Vary, Czech Republic, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Efficient Automated Speedpath Debugging
|
|
|
|
Author:
|
|
Mehdi Dehbashi, Görschwin Fey |
| Conference: |
|
16th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Reference:
|
| pp. 48-53, Karlovy Vary, Czech Republic, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation
|
|
|
|
Author:
|
|
Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler |
| Conference: |
|
Design Automation Conference (DAC) |
Reference:
|
| Austin, Texas, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Hongyan Zhang, Rolf Drechsler |
| Conference: |
|
43rd International Symposium on Multiple-Valued Logic (ISMVL) |
Reference:
|
| Toyama, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
PDF:
|
| [click here]
|
» Debugging of Reversible Circuits using πDDs
|
|
|
|
Author:
|
|
Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler |
| Conference: |
|
43rd International Symposium on Multiple-Valued Logic (ISMVL) |
Reference:
|
| Toyama, 2013
|
Hyperlink:
|
| [Link to the Conference]
|
