Isabelle Puaut
Mots clés
FR |
EN
Temps réel (informatique)
Analyse Pire Cas
Systèmes embarqués (informatique)
Microprocesseurs multi-coeurs
Ordonnancement (informatique)
Logiciels -- Vérification
Compilation (informatique)
Temps réel
Compilation
Analyse statique
Ordonnancement
Systèmes embarqués
Apprentissage automatique
Antémémoire
Systèmes virtuels (informatique)
Brouillage électromagnétique
Llvm
Hiérarchie de mémoire (informatique)
Systèmes informatiques -- Mesures de sûreté
Systèmes temps-réel