LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

BOSSART Timothée

PhD graduated
Team : CIAN
Departure date : 11/28/2006
Supervision : 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.
Defence : 11/27/2006 - 10h - JUSSIEU
Jury members :
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

2003-2009 Publications

 Mentions légales
Site map |