Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2017
Remove all filters
Displaying results 91 to 100 of 507.

  1. Saman Fröhlich; Daniel Große; Rolf Drechsler

    Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing

    In: 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden …

  2. Sebastian Huhn; Stephan Eggersglüß; Krishnendu Chakrabarty; Rolf Drechsler

    Optimization of Retargeting for IEEE 1149.1 TAP Controllers with Embedded Compression

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017), March 27-31, Lausanne, Switzerland, 2017.

  3. Daniel Fraunholz; Marc Ruffing; Hans Dieter Schotten

    An Adaptive Honeypot Configuration, Deployment and Maintenance Strategy

    In: 19th International Conference on Advanced Communications Technology. International Conference on Advanced Communications Technology (ICACT-17), …

  4. Thomas Röfer; Tim Laue; Jesse Richter-Klug

    B-Human 2016 - Robust Approaches for Perception and State Estimation Under More Natural Conditions

    In: Sven Behnke; Raymond Sheh; Sanem Sariel; Daniel D. Lee (Hrsg.). RoboCup 2016: Robot World Cup XX. RoboCup International Symposium (RoboCup-2016), …

  5. Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Große; Rolf Drechsler

    Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs

    In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …

  6. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

    Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

    In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …

  7. Martin Ring; Christoph Lüth

    Interactive Proof Presentations with Cobra

    In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers …

  8. Jindřich Helcl; Jindřich Libovický

    Neural Monkey: An Open-source Tool for Sequence Learning

    In: Prague Bulletin of Mathematical Linguistics, Vol. 107, Pages 1-11, Charles University, 2017.

  9. Eftim Zdravevski; Vladimir Trajkovik; Ivan Chorbev; Ciprian Dobre; Constandinos X. Mavromoustakis; Ivan Ganchev; Rumen Stainov; Nuno M. Garcia; Rossitza Goleva; Serge Autexier

    Enhanced Living Environments: From models to technologies

    In: Carlos Valderrama; Nuno M. Garcia; Ciprian Dobre; Ivan Ganchev; Rossitza Ivanova Goleva. Enhanced Living Environments: From models to …

  10. Patrick Lübbecke; Peter Fettke; Peter Loos

    Sustainability Patterns for the Improvement of IT-related Business Processes with Regard to Ecological Goals

    In: Marlon Dumas; Marcelo Fantinato (Hrsg.). Business Process Management Workshops. Business Process Management (BPM-2016), International Workshop on …

Year