Stop the war!
Остановите войну!
for scientists:
default search action
21. MBMV 2018: Tübingen, Germany
- Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen 2018, ISBN 978-3-00-059317-8
- Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. - Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker:
From DQBF to QBF by Dependency Elimination. - Marcel Rieß, Cedrik Bock, Frank Slomka:
Generic Reusable Hardware/Software Co-Design Implementation of a Complete FH-FSK Modem for Robust Multi-User Acoustic Underwater Communication and System Validation on a FPGA. - Johannes Mast, Stefan Rädle, Joachim Gerlach:
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz. - Valentina Richthammer, Michael Glaß:
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems. - Timo Feld, Uwe Werkmann, Frank Slomka:
Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior. - Tripti Jain, Klaus Schneider:
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting. - Patrick Sittel, Thomas Schönwälder, Martin Kumm, Peter Zipf:
ScaLP: A Light-Weighted (MI)LP-Library. - Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. - Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler:
Towards Automated Refinement of TLM Properties to RTL. - Florian Hock, Victor Pollex, Chijun Shen, Tobias Bund, Frank Slomka:
Upper Bound for Delay Densities. - Philipp S. Käsgen, Markus Weinhardt:
Using Template Metaprogramming for Hardware Description.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.