Thèses et HDR

2000

1. T Risset. Contribution à la compilation de nids de boucles sur silicium.  Habilitation à diriger des recherches, Université de Rennes 1, Octobre 2000.

1999

1. V. Messé. Production de compilateurs flexibles pour la conception de processeurs programmables spécialisés.  Thèse de l'Université de Rennes 1, Mars 1999.

1997

1. P. Le Moënner. Contribution à la réalisation d'une chaîne complète pour la synthèse de circuits réguliers.  Thèse de l'Université de Rennes 1, Novembre 1997.
2. S. Robert. Parallélisation d'algorithmes de portaits spectraux. Utilisation d'un environnement de transformations de programmes.  Thèse de l'Université de Rennes 1, Novembre 1997.
3. D. Lavenier. Conception d'architectures systoliques intégrées.  Habilitation à diriger des recherches, Université de Rennes 1, Octobre 1997.
4. P. Gerdoux-Jamet. Mise en \oeuvre de logiciels de comparaison de séquences sur des machines spécialisées systoliques. Applications à l'analyse de génomes.  Thèse de l'Université de Paris 6, Septembre 1997.
5. G. Le Fol. Architecture parallèle pour le traitement vidéo : contribution à la conception d'un module VLSI programmable et à l'étude d'outils de compilation reciblables.  Thèse de l'Université de Rennes 1, Septembre 1997.
6. F. Dupont de Dinechin. Systèmes structurés d'équations récurrentes : mise en \oeuvre dans le langage Alpha et applications.  Thèse de l'université de Rennes I, Janvier 1997.

1996

1. P. Lemonnier. Étude d'une architecture parallèle VLSI pour un algorithme d'estimation de mouvement bloc-récursif.  Thèse de l'université de Rennes 1, Juin 1996.

1995

1. M. Vieillot. Mise en \oe.  Thèse de l'université de Rennes 1, Décembre 1995.
2. D. Wilde. From Alpha to Imperative Code: A Transformational Compiler for an Array Based Functional Language.  Thèse de l'Oregon State University, Juillet 1995.
3. O. Sié. Génération automatique du dessin de masques de réseaux réguliers intégrés.  Thèse de l'université de Rennes 1, Janvier 1995.

1994

1. R. McConnell. Systèmes synchrones périodiques : modélisation et application.  Thèse de l'Université de Rennes 1, Octobre 1994.
2. F. Raimbault. Étude et réalisation d'un environnement de simulation parallèle pour les algorithmes systoliques.  Thèse de l'université de Rennes 1, Janvier 1994.

---

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

---

Webmaster : cosi_webmaster@irisa.fr Ces pages sont créées automatiquement par le programme bib2html du projet Vista de l'IRISA-INRIA Rennes