Volltextsuche

Suchbegriff:
 

Detailsuche

Titel:
Publikationstyp:
Jahr:
Autor / Herausgeber:
 

Publikationen

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 16-19, Tokio, Japan, 2017.
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 16-19, Tokio, Japan, 2017.
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.
Thomas Röfer; Tim Laue; Jesse Richter-Klug
B-Human 2016 - Robust Approaches for Perception and State Estimation Under More Natural Conditions.
In: RoboCup 2016: Robot Soccer World Cup XX, Lecture Notes in Artificial Intelligence, Springer, 2017.
Daniel Fraunholz; Marc Zimmermann; 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-16), February 19-22, Pyeonchang, Korea, Republic of, IEEE, 2/2017.
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.
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 und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-20), February 8-9, Bremen, Germany, 2017.
Mario Michael Krell; Nils Wilshusen; Anett Seeland; Su-Kyoung Kim
Classifier Transfer with Data Selection Strategies for Online Support Vector Machine Classification with Class Imbalance.
In: Journal of Neural Engineering, Vol. n.n. Page n.n. IOP Publishing, 2017.
Andreas Sonntag; Peter Fettke; Peter Loos
Inductive Reference Modelling Based on Simulated Social Collaboration.
In: 13. Internationale Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2017), Towards Thought Leadership in Digital Transformation, February 12-15, St. Gallen, Switzerland, AIS e-Library, 2017.
Victor Ferman; Dieter Hutter; Raul Monroy
WebMC for Browser Based Protocol Verification.
In: Grigori Sidorov (Hrsg.). Computación y Sistemas, Vol. tbd. Pages 1-15, Centro de Investigación en computación, IPN, 2017.
Stefan Stiene; Stephan Scheuren; Martin Günther; Kai Lingemann; Andreas Lauer; Ansgar Bernardi; Joachim Hertzberg
Architektur einer offenen Software-Plattform für landwirtschaftliche Dienstleistungen.
In: Referate der 37. GIL-Jahrestagung. Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-17), Digitale Transformation - Wege in eine zukunftsfähige Landwirtschaft, March 6-7, Dresden, Germany, Köller Druck+Verlag GmbH, 2017.
Dennis Kolberg; Christoph Berger; Bogdan-Constantin Pîrvu; Marco Franke; Joachim Michniewicz
CyProF – Insights from a Framework for Designing Cyber-Physical Systems in Production Environments.
In: Engelbert Westkämper; Thomas Bauernhansl (Hrsg.). Factories of the Future in the digital environment - Proceedings of the 49th CIRP Conference on Manufacturing Systems. CIRP Conference on Manufactoring Systems (CIRP CMS-CMS), located at CIRP Conference on Manufacturing Systems, May 25-27, Stuttgart, Germany, Elsevier, Amsterdam, 1/2017.
Tobias Franke; Andreas Poxrucker; Gernot Bahle; Paul Lukowicz
Trace Driven Simulation Model for City Scale Crowd Movements.
In: Proceedings of the 14th International Conference on Smart City. IEEE International Conference on Smart City, The 14th International Conference on Smart City, December 12-14, Sydney, Australia, IEEE, 2017.
Daniel Fraunholz; Marc Zimmermann; Simon Duque Antón; Jörg Schneider; Hans Dieter Schotten
Distributed and Highly-Scalable WAN Network Attack Sensing and Sophisticated Analysing Framework based on Honeypot Technology.
In: 7th International Conference on Cloud Computing, Data Science & Engineering. International Conference on Cloud Computing, Data Science & Engineering (Confluence-2017), January 12-13, Noida, India, Pages 33-33, IEEE, 1/2017.