Isabelle Puaut
IdRefMots clés
FR |
EN
Temps réel (informatique)
Analyse Pire Cas
Microprocesseurs multi-coeurs
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Logiciels -- Vérification
Ordonnancement
Temps réel
Apprentissage automatique
Analyse statique
Antémémoire
Brouillage électromagnétique
Systèmes virtuels (informatique)
Sûreté de fonctionnement
Vérification en ligne formelle
Mémoire transactionnelle
Microcontrôleurs
Systèmes d'exploitation (ordinateurs)
Compilation (informatique)
Systèmes temps-réel