Publikationsdienste
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
MBMV 2018
→
Auflistung MBMV 2018 nach DDC-Klassifikation

Auflistung MBMV 2018 nach DDC-Klassifikation "004"

Anzeige der Dokumente 1-12 von 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); Konferenzpaper
From DQBF to QBF by Dependency Elimination

Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd (2018-03-13); Konferenzpaper
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); Konferenzpaper
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); Konferenzpaper
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems

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

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

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

Sittel, Patrick; Schönwälder, Thomas; Kumm, Martin; Zipf, Peter (2018-03-13); Konferenzpaper
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); Konferenzpaper
Towards Automated Refinement of TLM Properties to RTL

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

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

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

Anzeige der Dokumente 1-12 von 12

Veröffentlichen

Stöbern

Gesamter Bestand
Diese Sammlung

Mein Benutzerkonto

Einloggen

Auflistung MBMV 2018 nach DDC-Klassifikation "004"

DSpace Repositorium (Manakin basiert)

Auflistung MBMV 2018 nach DDC-Klassifikation "004"

Stöbern

Gesamter Bestand

Diese Sammlung

Mein Benutzerkonto