• Using Template Metaprogramming for Hardware Description

  Käsgen, Philipp; Weinhardt, Markus (2018-03-13); InProceedings (Aufsatz / Paper einer Konferenz etc.)
• Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior

  Feld, Timo; Werkmann, Uwe; Slomka, Frank (2018-03-13); InProceedings (Aufsatz / Paper einer Konferenz etc.)
• Upper Bound for Delay Densities

  Hock, Florian; Pollex, Victor; Shen, Chijun; Bund, Tobias; Slomka, Frank (2018-03-13); InProceedings (Aufsatz / Paper einer Konferenz etc.)
• ScaLP: A Light-Weighted (MI)LP-Library

  Sittel, Patrick; Schönwälder, Thomas; Kumm, Martin; Zipf, Peter (2018-03-13); InProceedings (Aufsatz / Paper einer Konferenz etc.)
• 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); InProceedings (Aufsatz / Paper einer Konferenz etc.)

View more