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

MARCHETTI Olivier

PhD graduated
Team : CIAN
Associate Professor
Supervision : Alix MUNIER

Dimensionnement des mémoires pour systèmes embarqués

Le problème du dimensionnement des mémoires pour systèmes embarqués consiste à définir la taille à allouer pour chaque mémoire de sorte que la surface globale occupée par ces mémoires soit minimale et que le système embarqué puissent fonctionner sans bloquage lié à un sous dimensionnement de ces mémoires. Nous modélisons ce problème d'optimisation en utilisant le modèle des graphes d'événements généralisés (GEG en abrégé). Nous montrons que ce problème d'optimisation est étroitement lié au problème de vivacité d'un GEG. Nous proposons une transformation des GEG, appelée normalisation, permettant de définir une condition suffisante de vivacité ainsi qu'un algorithme polynomial pour tester cette condition sur des GEG quelconques. Nous proposons des résultats nouveaux de complexité pour des problèmes d'optimisation bi-critère(ie.surface globale/débit du système). Nous développons un algorithme polynomial 2-approché pour la résolution du problème d'optimisation bi-critère du débit maximum intrinsèque.
Mots clefs : Dimensionnement des mémoires, graphe d'événements généralisé temporisé, ordonnancement cyclique, normalisation, vivacité, complexité théorique, algorithme d'approximation.
Defence : 12/04/2006 - 10h - Site Jussieu
Jury members :
GAUJAL Bruno,INRIA CNRS,
SUAER Nathalie,IUT de Thionville-Yutz,
DELOSME JM, UNIV EVRY VAL D'ESSONE
DRACH-TEMAM, UPMC, Examinateur
HANEN Claire, UNIV P.X,
Alix-Munier KORDON UPMC, Examinateur
SOREL Yves, INRIA CNRS,
URARD Pascal, ST MICROELECTRONIC,

2006-2012 Publications

 Mentions légales
Site map |