BOSSART Timothée

Docteur
Équipe : CIAN
Date de départ : 28/11/2006
https://lip6.fr/Timothee.Bossart

Direction de recherche : Alix MUNIER

Modèles pour l'optimisation de la simulation au cycle près de systèmes synchrones

Cette thèse traite de fonctions de coûts de graphes orientés sans circuit destinées à modéliser simplement la mémoire d'une machine lors de l'exécution d'un programme. L'objectif final est d'accélérer le fonctionnement de programmes de simulation au cycle près de systèmes synchrones en améliorant la gestion de la mémoire lors de leur exécution.
Dans cette thèse, nous définissons deux fonctions de coût, appelées DSC (Directed Sum Cut) et UCS (Uniform Cost Stack), ainsi que les problèmes d'optimisation correspondants. Nous montrons tout d'abord que l'obtention d'une solution optimale est un problème difficile pour les deux fonctions, dès les graphes de profondeur deux. Nous présentons ensuite des algorithmes permettant d'obtenir des solutions optimales en temps polynômial pour certaines classes de graphes: les anti-arborescences, les arborescences, certains graphes série- parallèles, et finalement les ordres intervalles. Nous concluons en présentant les résultats d'expériences pratiques montrant que nos modèles permettent d'obtenir des accélérations de temps de simulation.

Soutenance : 27/11/2006 - 10h - JUSSIEU

Membres du jury :

GUSTEDT Jens,INRIA, Rapporteur
MOUKRIM Aziz, UNIV Compiègne, Rapporteur
DRACH-TEMAM, UPMC-LIP6, Examinateur
HUDRY Olivier, ENST, Examinateur/Président
MUNIER KORDON Alix, UPMC-LIP6,Examinateur
SANLAVILLE Eric, UNIV.Blaise Pascal, Examinateur
SOURD Francis, UPMC-LIP6,Examinateur

Publications 2003-2009