Allocation  Analyse Pire Cas  Analyse temporelle  Architecture -- Informatique  Architectures manycœurs  Architectures multi-Cœurs  Aspects non fonctionnels  Calcul haute performance  Calcul intensif  Calcul numérique  Calcul à hautes performances  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Communication  Communication interprocessus  Communications  Criticalité  Cyclo-Static Dataflow Graph  Estimation de performance  Flux-de-données  Fpu  Génération aléatoire  Hiérarchie de mémoire  Interférences sur ressources partagées  LUSTRE  Langage synchrone  Langages dataflow  Localité des données  Logiciels -- Développement  Many-Cœur  Microprocesseurs multi-coeurs  Modèle de cache d'instruction  Modélisation des données  Multi-coeur processeurs  Optimisation de code  Ordonnancement  Ordonnancement  Parallélisme  Parallélismes  Pavage de boucles  Phased Computation Graph  Processeur many-Core  Processeurs pluri-Cœurs  Programmation en temps réel  Programmation orientée objets  Représentation intermédiaire  Simulation  Simulation compilé  Simulation native  Simulation par ordinateur  Solution matérielle/logicielle  Solveurs  Solveurs SMT  Synchronous Dataflow Graph  Système temps-Réel  Systèmes distribués  Systèmes embarqués  Systèmes embarqués  Systèmes sur puce  Temps de réponse  Temps d’exécution pire-Cas  Temps réel  Temps réel  Vliw  Évaluation d'un mapping  

Benoît Dupont de Dinechin a dirigé la thèse suivante :

Mathématiques et Sciences et Technologies de l'Information et de la Communication
Soutenue le 14-12-2018
Thèse soutenue

Benoît Dupont de Dinechin a été membre de jury des 9 thèses suivantes :