Skip to main content Skip to main navigation

Publications

Displaying results 1651 to 1660 of 15150.

  1. Nils Przigoda; Robert Wille; Rolf Drechsler

    Analyzing Inconsistencies in UML/OCL Models

    In: Journal of Circuits, Systems and Computers, Vol. 25, No. 3, Page 1640021, World Scientific Publishing, 2015.

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

    Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1160-1163, 2016.

  3. Amr Sayed Ahmed; Daniel Große; Ulrich Kühne; Mathias Soeken; Rolf Drechsler

    Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1048-1053, 2016.

  4. Saeideh Shirinzadeh; Mathias Soeken; Pierre-Emmanuel Gaillardon; Rolf Drechsler

    Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  5. Robert Wille; Oliver Keszöcze; Stefan Hillmich; Marcel Walter; Alberto Garcia-Ortiz

    Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  6. Luca Amaru; Pierre-Emmanuel Gaillardon; Robert Wille; Giovanni De Micheli

    Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  7. Markus Siepermann; Arbnesh Sutaj; Patrick Lübbecke; Richard Lackes

    Refuse to Walk on Clouds - Why Firms still do not Use Cloud Computing. An Empirical Study of Barriers and Enhancers

    In: Proceedings of the 49th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-49), January 5-8, Kauai, HI, USA, Computer Society Press, 2016.

  8. Yohannes Kassahun

    A Novel Sparse Autoencoder for Modeling Highdimensional Sensory Data

    In: 2nd International Electronic Conference on Sensors and Applications . International Electronic Conference on Sensors and Applications (ECSA-2015), November 15-30, ECSA, 11/2015.

  9. Marc Hildebrandt

    Development, Evaluation and Validation of a Stereo Camera Underwater SLAM Algorithm

    PhD-Thesis, Universität Bremen, 12/2013.

  10. Riaz Ahmad; Muhammad Zeshan Afzal; Sheikh Faisal Rashid; Marcus Liwicki; Thomas Breuel

    Scale and Rotation Invariant OCR for Pashto Cursive Script using MDLSTM Network

    In: IEEE. International Conference on Document Analysis and Recognition (ICDAR-13), August 22-26, Nancy, France, Other, 8/2015.

Year

More options