Abstract is missing.
- On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core SystemsValentina Richthammer, Michael Glaß. [doi]
- Upper Bound for Delay DensitiesFlorian Hock, Victor Pollex, Chijun Shen, Tobias Bund, Frank Slomka. [doi]
- Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration ApproachesKai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub. [doi]
- Towards Automated Refinement of TLM Properties to RTLVladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler. [doi]
- Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent BehaviorTimo Feld, Uwe Werkmann, Frank Slomka. [doi]
- ScaLP: A Light-Weighted (MI)LP-LibraryPatrick Sittel, Thomas Schönwälder, Martin Kumm, Peter Zipf. [doi]
- Using Template Metaprogramming for Hardware DescriptionPhilipp S. Käsgen, Markus Weinhardt. [doi]
- Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen IntelligenzJohannes Mast, Stefan Rädle, Joachim Gerlach. [doi]
- From DQBF to QBF by Dependency EliminationRalf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001. [doi]
- Routing Partial Permutations in General Interconnection Networks based on Radix SortingTripti Jain, Klaus Schneider 0001. [doi]
- Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-KontextLeonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001. [doi]
- 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 FPGAMarcel Rieß, Cedrik Bock, Frank Slomka. [doi]