sc-during is a library that can be used on top of SystemC to write efficient parallel simulators.
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Argosim and Verimag in ``La Lettre Innovation du CNRS’’
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
New publications
- Recent Publications
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis: A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
