Robotics Innovation Center

Seite 55 von 59.

1. Nicole Drechsler; Andre Sülflow; Rolf Drechsler

   Incorporating User Preferences in Many-Objective Optimization using Relation $\epsilon$-Preferred

   In: International Conference on Evolutionary Computation Theory and Applications - Proceedings. International Conference on Evolutionary Computation …

2. Shuo Yang; Robert Wille; Daniel Grosse; Rolf Drechsler

   Minimal Stimuli Generation in Simulation-based Verification

   In: José Silva Matos; Francesco Leporati (Hrsg.). 16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital …

3. Robert Wille; Nils Przigoda; Rolf Drechsler

   A Compact and Efficient SAT Encoding for Quantum Circuits

   In: IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius, IEEE, 2013.

4. Robert Wille; Simon Stelter; Rolf Drechsler

   Exploiting Reversibility in the Complete Simulation of Reversible Circuits

   In: IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius, IEEE, 2013.

5. Elsa Andrea Kirchner; Rolf Drechsler

   A Formal Model for Embedded Brain Reading

   In: Industrial Robot: an International Journal, Vol. 40, No. 6, Pages 530-540, Emerald Group Publishing Limited, 2013.

6. Robert Wille; Mathias Soeken; D. Michael Miller; Rolf Drechsler

   Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic

   In: Integration, the VLSI Journal, Elsevier, 2013.

7. Stephan Eggersglüß; Kenneth Schmitz; Rene Krenz-Baath; Rolf Drechsler

   Using Optimization Techniques to Increase Test Compaction

   In: IEEE Workshop on RTL and High Level Testing - Proceedings. IEEE Workshop on RTL and High Level Testing (WRTLT-13), 14th, November 21-22, Jiaosi, …

8. Rolf Drechsler; Mathias Soeken; Robert Wille

   Formal Specification Level

   In: Jan Haase (Hrsg.). Models, Methods and Tools for Complex Chip Design. Chapter 3, Pages 37-52, Vol. 265, ISBN 978-3-319-01417-3, Springer, 2013.

9. Mathias Soeken; Rolf Drechsler

   Grammar-based Program Generation Based on Model Finding

   In: IEEE International Design and Test Symposium - Proceedings. IEEE International Design and Test Symposium (IDT-13), 8th IEEE International Design …

10. Jannis Ulrich Stoppe; Robert Wille; Rolf Drechsler

    Data Extraction from SystemC Designs using Debug Symbols and the SystemC API

    In: IEEE Computer Society Annual Symposium on VLSI. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-13), August 5-8, Natal, Brazil, IEEE, 2013.

• vorherige
• 1
• …
• 54
• 55
• 56
• …
• 59
• nächste