Talks and Poster Presentations (with Proceedings-Entry):
R Lezuo, A. Krall:
"Using the CASM Language for Simulator Synthesis and Model Verification";
Talk: RAPIDO'13,
Berlin;
01-21-2013; in: "Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools",
(2013),
6:1
- 6:8.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2432516.2432522
Related Projects:
Project Head Andreas Krall:
Korrekte Übersetzer für korrekte anwendungsspezifische Prozessoren
Created from the Publication Database of the Vienna University of Technology.