Anzeige
Sortierung

1

A Matter of Overhead – Response Time Analysis of Hard Real-Time Systems in Theory and Practice

Autoren:
Brand, Max; Mayer, Albrecht; Slomka, Frank
Konferenz:
MBMV 2021 - 24. Workshop MBMV

2

APPEL - AGILA ProPErty and Dependency Description Language

Autoren:
Grimm, Christoph; Wawrzik, Frank; Jung, Alexander Louis-Ferdinand; Luebeck, Konstantin; Post, Sebastian; Koch, Johannes; Bringmann, Oliver
Konferenz:
MBMV 2021 - 24. Workshop MBMV

3

Approximate Computing Extensions for the Clash HDL Compiler

Autoren:
Keszocze, Oliver; Kiessling, Michael
Konferenz:
MBMV 2021 - 24. Workshop MBMV

4

Benchmarking SMT Solvers on Automotive Code

Autoren:
Mentel, Lukas; Scheibler, Karsten; Winterer, Felix; Becker, Bernd; Teige, Tino
Konferenz:
MBMV 2021 - 24. Workshop MBMV

5

Comprehensive modeling and evaluation of Network-on-Chip performability

Autoren:
Hou, Jie; Radetzki, Martin
Konferenz:
MBMV 2021 - 24. Workshop MBMV

6

Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion

Autoren:
Ahmadi-Pour, Sallar; Herdt, Vladimir; Drechsler, Rolf
Konferenz:
MBMV 2021 - 24. Workshop MBMV

7

Decision Tree-based Throughput Estimation to Accelerate Design Space Exploration for Multi-Core Applications

Autoren:
Letras, Martin; Falk, Joachim; Teich, Juergen
Konferenz:
MBMV 2021 - 24. Workshop MBMV

8

Exploration of DDR5 with the Open-Source Simulator DRAMSys

Autoren:
Steiner, Lukas; Jung, Matthias; Wehn, Norbert
Konferenz:
MBMV 2021 - 24. Workshop MBMV

9

Extended Abstract: Viability of Decision Trees for Learning Models of Systems

Autoren:
Plambeck, Swantje; Schammer, Lutz; Fey, Goerschwin
Konferenz:
MBMV 2021 - 24. Workshop MBMV

10

Extending Verilator to Enable Fault Simulation

Autoren:
Kaja, Endri; Leon, Nicolas Ojeda; Werner, Michael; Andrei-Tabacaru, Bogdan; Devarajegowda, Keerthikumara; Ecker, Wolfgang
Konferenz:
MBMV 2021 - 24. Workshop MBMV

11

ICP and IC3 with Stronger Generalization

Autoren:
Winterer, Felix; Seufert, Tobias; Scheibler, Karsten; Teige, Tino; Scholl, Chritsoph; Becker, Bernd
Konferenz:
MBMV 2021 - 24. Workshop MBMV

12

On Self-Verifying DSL Generation for Embedded Systems Automation

Autoren:
Han, Zhao; Qazi, Shahzaib; Werner, Michael; Devarajegowda, Keerthikumara; Ecker, Wolfgang
Konferenz:
MBMV 2021 - 24. Workshop MBMV

13

Ontology Design for Microelectronics with Roadmapping (Work-in-progress)

Autoren:
Wawrzik, Frank; Grimm, Christoph
Konferenz:
MBMV 2021 - 24. Workshop MBMV

14

Operation-Level Synthesis

Autoren:
Deutschmann, Lucas; Schauss, Johannes; Ludwig, Tobias; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
MBMV 2021 - 24. Workshop MBMV

15

Register and Instruction Coverage Analysis for Different RISC-V ISA Modules

Autoren:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph
Konferenz:
MBMV 2021 - 24. Workshop MBMV

16

Stärkung deterministischer Strategien für POMDPs

Autoren:
Winterer, Leonore; Wimmer, Ralf; Jansen, Nils; Becker, Bernd
Konferenz:
MBMV 2021 - 24. Workshop MBMV