![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.