Analyse Pire Cas  Analyse partielle  Analyse statique  Architecture -- Informatique  Architecture  Architecture des ordinateurs  Architecture des processeurs  Architecture des réseaux d'ordinateurs  Architectures SMT  Architectures matérielles  Avionique  Bus  Chargement des instructions  Commande prédictive  Consistance mémoire  Contraintes  Cycle Accurate Simulation  Déterminisme  Embarqué  Fichiers  Génération automatique de simulateurs  Ingénierie des systèmes  Interconnexion  Jeu d'instructions  Langage de description d'architecture ADL  Langages d'architecture  Langages de programmation  Logiciels -- Validation  Logiciels -- Vérification  MPSoC  Microprocesseurs  Microprocesseurs multi-coeurs  Modélisation  Multi-coeur  Multi-cœurs  Multiprocesseurs  Optimisation  Optimisation mathématique  Ordonnancement  Ordonnancement  Ordonnancement  Ordonnancement de tâches  Parallélisme de tâches  Performance  Pipeline  Placement  Pluri-Coeurs  Processeur  Processeur supercalaire  Processeur superscalaire  Programmation parallèle  Prototypage  Prototypage virtuel  Prédiciton de valeurs  Prédictibilité  Prédiction de braNchements  Réutilisation d'instruction  Simulation  Simulation compilée  Simulation par ordinateur  Système temps réel  Systèmes adaptatifs  Systèmes embarqués  Systèmes sur puce  Systèmes, Conception de  Temps d'exécution  Temps d'exécution pire-cas  Temps réel  Temps réel strict  Temps-Réel  Temps-réel  Temps-réel strict  Wcet  

Pascal Sainrat a rédigé la thèse suivante :


Pascal Sainrat a dirigé les 9 thèses suivantes :

Réseaux, télécoms, systèmes et architecture
Soutenue en 2014
Thèse soutenue
Réseaux, télécoms, systèmes et architecture
Soutenue en 2014
Thèse soutenue


Pascal Sainrat a été rapporteur des 2 thèses suivantes :

Informatique et applications
Soutenue en 2014
Thèse soutenue

Pascal Sainrat a été membre de jury de la thèse suivante :

Réseaux, télécom, système et architecture
Soutenue le 25-04-2017
Thèse soutenue