Knowledge Tree

researcher / Pascal Sainrat

Pascal Sainrat

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Réseau d'interconnexion du multiprocesseur M3S. Etude et mise en oeuvre

Directed Thesis:

Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-coeurs

Contribution à la simulation de processeur : conception d'un générateur de librairie de simulateurs fonctionnels

Vérification de contraintes temporelles strictes sur des programmes par composition d'analyses partielles

Modélisation d'un processeur à exécution simultanée de flots pour le temps réel strict

Architectures multi-flots simultanés pour le temps-réel strict

Etude de mécanismes de réutilisation d'instructions

Séquences de branchements : prédiction de branchements et optimisation du chargement des instructions