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

Browsing MBMV 2018 by DDC Classification "004"

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 DDC Classification "004"

DSpace Repository

Browsing MBMV 2018 by DDC Classification "004"

Browse

All of DSpace

This Collection

My Account