MBMV 2018: Recent submissions

Anzeige der Dokumente 6-10 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
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems

Richthammer, Valentina; Glaß, Michael (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
Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (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

Anzeige der Dokumente 6-10 von 12

Stöbern