Paul Feautrier
Paul Feautrier a dirigé les 39 thèses suivantes :
Gestion dynamique des tâches dans une architecture micro-éléctronique intégrée, à des fins de basse consommation
par Philippe Grosse sous la direction de Paul Feautrier - Lyon, École normale supérieure (sciences)
Informatique
Soutenue en 2007
Optimisation de programmes par reconnaissance de templates
par Christophe Alias sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 2005
Amélioration de la localité dans les programmes à contrôle statique
par Cédric Bastoul sous la direction de Paul Feautrier - Paris 6
Systèmes informatiques
Soutenue en 2004
Programmation parallèle orientée objet et réutilisabilité appliquée à l'algèbre linéaire
par Eric Noulard sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 2000
Étude de l'impact de la sécurité sur les performances dans les grappes de PC
par Éric Renault sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 2000
Analyse et transformation de programmes : du modèle polyédrique aux langages formels
par Albert Henri Cohen sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 1999
Restructuration automatique des variables d'un programme en vue de sa parallélisation
par Vincent Lefebvre sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 1998
Optimisation du placement des scans et des réductions pour machines parallèles à mémoire répartie
par Michel Barreteau sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 1998
Analyse du flot de données pour tableaux en présence de contraintes non-affines
par Denis Barthou sous la direction de Paul Feautrier - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 1998
Analyse interprocedurale du flot des donnees
par ARNAULD LESERVOT sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1996
Contribution à la distribution automatique des données pour machines massivement parallèles
par Alexis Platonoff sous la direction de Paul Feautrier - Paris 6
Systèmes informatiques
Soutenue en 1995
Parallelisation automatique des programmes a controle dynamique
par Jean-François Collard et L. BOUGE sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1995
Algorithmes paralleles par flux dans les graphes : des fondements aux applications
par Philippe Lalevée sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1995
Machines paralleles et simulation de la propagation des ondes : caracterisation et optimisation de performances
par Philippe Klein sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1995
Détection et exploitation des récurrences dans les programmes numériques en vue de leur parallélisation
par Xavier Redon sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1995
Un langage a parallelisme de donnees et de taches adapte aux architectures multi-simd. Contributions a la simulation hydrodynamique par les gaz sur reseau
par MARC PIC sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1995
La synthese d'images en temps reel
par Rémi Arnaud sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1994
Optimisation de méthodes de résolution itératives de grands systèmes linéaires creux sur machines massivement parallèles
par Christine Weill-Duflos sous la direction de Paul Feautrier - Paris 6
Informatique
Soutenue en 1994
Analyse statique et dynamique de la complexité des programmes scientifiques
par Lei Zhou sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1994
Systemes d'effet et interpretation abstraite pour l'analyse de flot de controle
par YANMEI TANG TANG sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1994
Tests des dependances et transformations de programme
par YI QING YANG sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1993
Generation systematique de programmes paralleles pour architectures massivement paralleles
par MOURAD RAJI WERTH sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1993
Placement de donnees et generation de code automatique pour les multiprocesseurs a memoire distribuee
par FAWZI HASSAINE sous la direction de Paul Feautrier - Paris 6
Systèmes informatiques
Soutenue en 1993
Construction d'un paralléliseur interactif de logiciels scientifiques de grande taille guide par des mesures de performances
par Jean-Yves Berthou sous la direction de Paul Feautrier - Paris 6
Informatique
Soutenue en 1993
Traitement des indexations non lineaires en parallelisation automatique : une methode de linearisation contextuelle
par ALAIN DUMAY sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1992
Les philosophes sur l'interaction des processus
par STEVEN ERICSSON-ZENITH sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1992
Analyse de complexite des algorithmes : verification et inference
par VINCENT DORNIC sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1992
Generation automatique de codes de transfert pour multiprocesseurs a memoires locales
par MARTINE ANCOURT sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1991
Analyse semantique des programmes en langage c en vue de leur parallelisation
par Pierre David sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1991
Parallelisation automatique : estimation des durees d'execution et allocation statique de processeurs
par NADIA TAWBI sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1991
Vectorisation automatique de boucles comportant des instructions de branchement
par Catherine Laurent sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1990
Generation de code et analyse interprocedurale au sein d'un environnement de programmation parallele
par Babak Dehbonei sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1990
Cooperation d'agents et placement de taches dans les systemes multiprocesseurs, par partitionnement de graphe
par FRANCOIS MEUNIER sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1990
Specification et realisation d'un service de fichiers fiable pour le systeme d'exploitation reparti chorus
par HUGO CESAR COYOTTE ESTRADA sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1989
Du développement de logiciels numériques en environnements parallèles
par Serge Petiton sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1988
Acquisition et reconnaissance de messages graphiques, un systeme expert dans un systeme eao
par Patrice Carton sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1988
Restructuration des programmes fortran en vue de leur parallelisation
par Zahira Ammarguellat sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1988
Écriture d'un système d'exploitation virtuel : réalisation d'un sous-système unix sous le système d'exploitation GCOS 6-MOD 400 de la machine Bull DPS 6
par Jean-Luc Tesseron sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1988
Partitionnement des boucles imbriquées : une technique d'optimisation pour les programmes scientifiques
par François Irigoin sous la direction de Paul Feautrier - Paris 6
Sciences appliquées
Soutenue en 1987
Paul Feautrier a été président de jury des 2 thèses suivantes :
Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle
par Alexis Fouilhé sous la direction de David Monniaux et de Michaël Périn . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 15-10-2015
Calcul flottant haute performance sur circuits reconfigurables
par Bogdan Mihai Pasca sous la direction de Florent Dupont de Dinechin - Lyon, École normale supérieure
Informatique
Soutenue le 21-09-2011
Paul Feautrier a été rapporteur de la thèse suivante :
Un système formel de transformation de programmes pour leur exécution sur machines parallèles
par Xiaobo Yu sous la direction de Traian Muntean - Grenoble INPG
Informatique
Soutenue en 1992
Paul Feautrier a été membre de jury des 2 thèses suivantes :
Contributions à la traduction binaire dynamique : support du parallélisme d'instructions et génération de traducteurs optimisés
par Luc Michel sous la direction de Frédéric Pétrot - Grenoble
Informatique
Soutenue le 18-12-2014
Lattice QCD Optimization and Polytopic Representations of Distributed Memory
par Michael Kruse sous la direction de Christine Eisenbeis - Paris 11
Informatique
Soutenue le 26-09-2014
