Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2012
Remove all filters
Displaying results 91 to 100 of 609.

  1. Robert Wille; Mathias Soeken; Eleonora Schönborn; Rolf Drechsler

    Circuit Line Minimization in the HDL-based Synthesis of Reversible Logic

    In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI 2012. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012), August 19-21, Amherst, Masachusetts, USA, IEEE, 2012.

  2. Rolf Drechsler; Mathias Soeken; Robert Wille

    Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing

    In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012), September 18-20, Vienna, Austria, IEEE, 2012.

  3. Marc Michael; Daniel Große; Rolf Drechsler

    Localizing Features of ESL Models for Design Understanding

    In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012), September 18-20, Vienna, Austria, IEEE, 2012.

  4. Finn Haedicke; Hoang M. Le; Daniel Große; Rolf Drechsler

    CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC

    In: Proceedings of the International Symposium on System-on-Chip 2012. International Symposium on System-on-Chip (SoC-2012), October 11-12, Tampere, Finland, IEEE, 2012.

  5. Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang M. Le; Julia Seiter; Mathias Soeken; Robert Wille

    Completeness-Driven Development

    In: G. Rozenberg; H.-J. Kreowski; G. Engels; H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling and Analysis of Dynamic Structures". International Conference on Graph Transformation (ICGT-2012), 6th, - Modeling and Analysis of Dynamic Structures -, September 24-29, Bremen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7562, Springer, 2012.

  6. Stefan Frehse; Görschwin Fey; Eli Arbel; Karen Yorav; Rolf Drechsler

    Complete and Effective Robustness Checking by Means of Interpolation

    In: Formal Methods in Computer-Aided Design 2012. Formal Methods in Computer-Aided Design (FMCAD-2012), October 22-25, Cambridge, England, United Kingdom, 2012.

  7. Feiyu Xu; Sven Schmeier; Renlong Ai; Hans Uszkoreit

    Yochina: Mobile Multimedia and Multimodal Crosslingual Dialog System

    In: Joseph Mariani (Hrsg.). Proceedings of International Workshop On Spoken Dialogue Systems Technology 2012. International Workshop on Spoken Dialogue Systems Technology (IWSDS-2012), November 28-30, Paris, France, Springer, 2012.

  8. Marcio F. S. Oliveira; Christoph Kuznik; Wolfgang Mueller; Finn Haedicke; Hoang M. Le; Daniel Große; Rolf Drechsler; Wolfgang Ecker; Volkan Esen

    The System Verification Methodology for Advanced TLM Verification

    In: International Conference on Hardware/Software Codesign and System Synthesis. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS-2012), October 7-12, Tampere, Finland, ACM, 2012.

  9. Hoang M. Le; Daniel Große; Rolf Drechsler

    From Requirements and Scenarios to ESL Design in System C

    In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, India, 2012.

  10. Rolf Drechsler; Robert Wille

    Synthesis of Reversible Circuits Using Decision Diagramm

    In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, India, 2012.

Year