Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Zeige Ergebnisse 41 bis 50 von 540

Xiaofei Zhu; Claudia Niederée; Tuan Tran; Andrea Ceroni; Kaweh Djafari Naini; Nam Khanh Tran; Heiko Maus; Christian Jilek

ForgetIT Deliverable D3.4: Strategies and Components for Managed Forgetting - Final Release

Deliverable, ForgetIT Consortium, ForgetIT Deliverables, Vol. D3.4, 1/2016.
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.
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.
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.
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.
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.
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), …
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 …
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 …
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 …

Jahr

Aktive Filter:

Jahr