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
Temps réel
Ordonnancement
Antémémoire
Systèmes virtuels (informatique)
Analyse statique
Brouillage électromagnétique
Hiérarchie de mémoire (informatique)
Systèmes informatiques -- Mesures de sûreté
Systèmes temps-réel
Compilation (informatique)
Systèmes d'exploitation temps-réel
Sûreté de fonctionnement
Vérification en ligne formelle
Mémoire transactionnelle