Pascal Sainrat
IdRefMots clés
FR |
EN
Temps réel (informatique)
Microprocesseurs multi-coeurs
Temps-réel strict
Wcet
Temps-réel
Analyse statique
Simulation par ordinateur
Avionique
Systèmes, Conception de
Architectures matérielles
Simulation compilée
Cycle Accurate Simulation
Architectures SMT
Ordonnancement de tâches
Architecture des réseaux d'ordinateurs
Ordonnancement (gestion)
Logiciels -- Validation
Prédiction de braNchements
Processeur superscalaire
Chargement des instructions