Publication services
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
MBMV 2018
→
Browsing MBMV 2018 by Title

Browsing MBMV 2018 by Title

Now showing items 1-12 of 12

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd (2018-03-13); ConferencePaper
From DQBF to QBF by Dependency Elimination

Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd (2018-03-13); ConferencePaper
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

Riess, Marcel; Bock, Cedrik; Slomka, Frank (2018-03-13); ConferencePaper
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz

Mast, Johannes; Rädle, Stefan; Gerlach, Joachim (2018-03-13); ConferencePaper
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems

Richthammer, Valentina; Glaß, Michael (2018-03-13); ConferencePaper
Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior

Feld, Timo; Werkmann, Uwe; Slomka, Frank (2018-03-13); ConferencePaper
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting

Jain, Tripti; Schneider, Klaus (2018-03-13); ConferencePaper
ScaLP: A Light-Weighted (MI)LP-Library

Sittel, Patrick; Schönwälder, Thomas; Kumm, Martin; Zipf, Peter (2018-03-13); ConferencePaper
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches

Neubauer, Kai; Haubelt, Christian; Wanko, Philipp; Schaub, Torsten (2018-03-14); ConferencePaper
Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (2018-03-13); ConferencePaper
Upper Bound for Delay Densities

Hock, Florian; Pollex, Victor; Shen, Chijun; Bund, Tobias; Slomka, Frank (2018-03-13); ConferencePaper
Using Template Metaprogramming for Hardware Description

Käsgen, Philipp; Weinhardt, Markus (2018-03-13); ConferencePaper

Now showing items 1-12 of 12

Submit

Browse

All of DSpace
This Collection

Browsing MBMV 2018 by Title

DSpace Repository

Browsing MBMV 2018 by Title

Browse

All of DSpace

This Collection

My Account