Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2016
Remove all filters
Displaying results 71 to 80 of 541.

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. Julian Krumeich; Manuel Zapp; Dirk Mayer; Dirk Werth; Peter Loos

    Modeling Complex Event Patterns in EPC-Models and Transforming them into an Executable Event Pattern Language

    In: Dirk Stelzer; Volker Nissen; Steffen Straßburger (Hrsg.). Tagungsband zur Multikonferenz Wirtschaftsinformatik (MKWI 2016) . Multikonferenz Wirtschaftsinformatik (MKWI-2016), March 9-11, Ilmenau, Germany, Pages 81-92, Universitätsverlag Ilmenau, Ilmenau, 2016.

  8. Sebastian Stock; Kai Lingemann; Stefan Stiene; Joachim Hertzberg

    Towards a flexible hybrid planner for machine coordination in arable farming

    In: Arno Ruckelshausen; Andreas Meyer-Aurich; Thomas Rath; Guido Recke; Brigitte Theuvsen (Hrsg.). Referate der 36. GIL-Jahrestagung in Osnabrück 2016 - Intelligente Systeme. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-16), February 22-23, Osnabrück, Germany, Pages 205-208, ISBN 978-3-88579-647-3, Gesellschaft für Informatik, Bonn, 2016.

  9. Hans-Ulrich Krieger

    Integrating Graded Knowledge and Temporal Change in a Modal Fragment of OWL

    In: Jaap van den Herik; Joaquim Filipe. Agents and Artificial Intelligence. Revised selected papers from the 8th International Conference, ICAART 2016. Pages xxx-yyy, Lecture Notes in Computer Science (LNCS), Springer-Verlag, 2016.

  10. Arun Chandrasekharan; Daniel Große; Mathias Soeken; Rolf Drechsler

    Symbolic Error Metric Determination for Approximate Computing

    In: 19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 1-2, Freiburg, Germany, 2016.

Year