Hassna
102036 mots
409 pages
Universit´ de Marne-La-Vall´e e e´ Ecole Doctorale ICMS ESIEE, Lab. A2 SI ` THESE pour obtenir le grade de Docteur de l’Universit´ de Marne-La-Vall´e e e Sp´cialit´ : Informatique e e pr´sent´e et soutenue publiquement par e e
Linda KAOUANE
Formalisation et optimisation d’applications s’ex´cutant sur architecture reconfigurable e
Directeur de th`se e
Prof. Mohamed AKIL
Date de soutenance: le 17 D´cembre 2004 e Composition du Jury:
Pr´sident: e Rapporteur: Rapporteur: Rapporteur: Examinateur: Examinateur: Examinateur: c UMLV, 2004.
Jacques DESARMENIEN Jean Marc DELOSME Habib MEHREZ Eduardo SANCHEZ Mohamed AKIL Yves SOREL Thierry GRANDPIERRE
Professeur, Univ. de Marne-la-Vall´e, IGM e Professeur, Univ. d’Evry, LAMI Professeur, Univ. de Paris6, LIP6-ASIM Professeur, EFPL-Lausane Professeur, ESIEE-Paris, Lab. A2SI Directeur de recherche, INRIA(Co-directeur de th`se) e Enseignant-chercheur, ESIEE-Paris, Lab. A2SI
` A mes chers parents
ii
Remerciements
Je tiens tout d’abord a remercier Mohamed Akil, Professeur a l’ESIEE, et Yves Sorel, ` ` Directeur de recherche a l’INRIA-Rocquencourt, d’avoir partag´ la tˆche d’encadrer ce ` e a travail. Je tiens a remercier monsieur Jacques Desarmenien, professeur et directeur de l’ins` titut Gaspard Monge de l’Universit´ de Marne-La-Vall´e de m’avoir fait l’honneur de e e pr´sider ce jury. e Je voudrais aussi exprimer ma gratitude a messieurs Jean Marc Delosme, profes` seur au laboratoire de M´thodes Informatiques (LAMI) de l’universit´ d’Evry, Habib e e Mehrez professeur au laboratoire d’Informatique de l’universit´ de Paris 6 (LIP6) et e Eduardo Sanchez professeur au d´partement Informatique, laboratoire LSL de l’Ecole e Polytehnique de Lausanne d’avoir accept´ la lourde tˆche de rapporter sur cette th`se. e a e Enfin, pour son aide et sa participation au jury je remercie monsieur Thierry Grandpierre, enseignant chercheur a l’ESIEE. ` Puisque l’occasion m’en est donn´e, je veux aussi exprimer toute