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

Auflistung MBMV 2018 nach Erscheinungsdatum

Anzeige der Dokumente 1-12 von 12

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
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
Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (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
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
Using Template Metaprogramming for Hardware Description

Käsgen, Philipp; Weinhardt, Markus (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
Upper Bound for Delay Densities

Hock, Florian; Pollex, Victor; Shen, Chijun; Bund, Tobias; Slomka, Frank (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
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

Anzeige der Dokumente 1-12 von 12

Veröffentlichen

Stöbern

Gesamter Bestand
Diese Sammlung

Mein Benutzerkonto

Einloggen

Auflistung MBMV 2018 nach Erscheinungsdatum

DSpace Repositorium (Manakin basiert)

Auflistung MBMV 2018 nach Erscheinungsdatum

Stöbern

Gesamter Bestand

Diese Sammlung

Mein Benutzerkonto