sc-during is a library that can be used on top of SystemC to write efficient parallel simulators.
Navigation
Actualités
- Conférences
- Du 28 septembre au 2 octobre 2020 AlgoTel et CoRes 2020
- Du 18 au 21 novembre 2020 SSS 2020
Nouvelles publications
- Publications
Récentes
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- 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, Erwan Jahier: SASA: a SimulAtor of Self-stabilizing Algorithms
- Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Prenex Separation Logic with One Selector Field
Offres d'emploi et stages
- Offres d'emploi et stages
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Self-Stabilization in TVG
