Eingebettete Intelligenz

Seite 54 von 59.

1. Hoang M. Le; Daniel Große; Rolf Drechsler; Vladimir Herdt

   Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation

   In: Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, USA, IEEE, 2013.

2. Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler

   Towards Automatic Scenario Generation from Coverage Information

   In: 8th International Workshop on Automation of Software Test . International Workshop on Automation of Software Test (AST-13), 8th, May 18-19, San …

3. Hoang m. Le; Daniel Große; Vladimir Herdt; Rolf Drechsler

   SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache

   In: Electronic Design Automation Workshop. Electronic Design Automation Workshop (edaWorkshop-13), May 14-16, Dresden, Germany, VDE, 2013.

4. Oliver Keszöcze; Mathias Soeken; Eugen Kuska; Rolf Drechsler

   lips: An IDE for Model Driven Engineering based on Natural Language Processing

   In: Workshop on Natural Language Analysis in Software Engineering. Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE-13), May …

5. Rolf Drechsler; Mathias Soeken

   Hardware-Software Co-Visualization: Developing Systems in the Holodeck

   In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems . IEEE Symposium on Design and Diagnostics of Electronic Circuits and …

6. Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler

   Reducing the Depth of Quantum Circuits Usind Additional Lines

   In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …

7. Arighna Deb; Debesh Kumar Das; Hafizur Rahaman; Bhargab B. Bhattacharya; Robert Wille; Rolf Drechsler

   Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure

   In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …

8. Kamalika Datta; Gaurav Rathi; Robert Wille; Indranil Sengupta; Hafizur Rahaman; Rolf Drechsler

   Exploiting Negative Control Lines in the Optimization of Reversible Circuits

   In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July …

9. Philipp Niemann; Robert Wille; Rolf Drechsler

   On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure

   In: Proceedings of the 5th International Conference on Reversible Comuptation. International Conference on Reversible Computation (RC-13), 5th, July …

10. Robert Wille; Rolf Drechsler

    The SyReC Hardware Description Language: Enabling Scalable Synthesis of Reversible Circuits

    In: The IEEE International Midwest Symposium on Circuits & Systems. IEEE International Midwest Symposium on Circuits and Systems (MWSCAS-13), The 56th …

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