Workshop CAPITAL (sCalable And PrecIse Timing AnaLysis for multicore platforms)
4 juin 2021 @ 13 h 00 min - 17 h 30 min
Le laboratoire VERIMAG organise un webinaire relatif à « l’analyse temporelle précise et passant à l’échelle pour les plates-formes multicœurs »
vendredi 4 juin 2021 de 13h à 17h30.
Sébastien Faucou et Jean-Luc Béchennec (équipe STR) assureront le discours d’ouverture et traiteront de la problématoique suivante « Formal models of timed systems: WCET analysis in single-core systems, and some ideas for timing analysis in multi-core systems« .
