researcher / Paul Feautrier

Paul Feautrier

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Gestion dynamique des tâches dans une architecture micro-éléctronique intégrée, à des fins de basse consommation
Optimisation de programmes par reconnaissance de templates
Étude de l'impact de la sécurité sur les performances dans les grappes de PC
Programmation parallèle orientée objet et réutilisabilité appliquée à l'algèbre linéaire
Analyse et transformation de programmes : du modèle polyédrique aux langages formels
Analyse du flot de données pour tableaux en présence de contraintes non-affines
Restructuration automatique des variables d'un programme en vue de sa parallélisation
Optimisation du placement des scans et des réductions pour machines parallèles à mémoire répartie
Analyse interprocedurale du flot des donnees
Un langage a parallelisme de donnees et de taches adapte aux architectures multi-simd. Contributions a la simulation hydrodynamique par les gaz sur reseau
Parallelisation automatique des programmes a controle dynamique
Détection et exploitation des récurrences dans les programmes numériques en vue de leur parallélisation
Algorithmes paralleles par flux dans les graphes : des fondements aux applications
Machines paralleles et simulation de la propagation des ondes : caracterisation et optimisation de performances
Analyse statique et dynamique de la complexité des programmes scientifiques
Optimisation de méthodes de résolution itératives de grands systèmes linéaires creux sur machines massivement parallèles
La synthese d'images en temps reel
Systemes d'effet et interpretation abstraite pour l'analyse de flot de controle
Generation systematique de programmes paralleles pour architectures massivement paralleles
Tests des dependances et transformations de programme
Construction d'un paralléliseur interactif de logiciels scientifiques de grande taille guide par des mesures de performances
Traitement des indexations non lineaires en parallelisation automatique : une methode de linearisation contextuelle
Analyse de complexite des algorithmes : verification et inference
Les philosophes sur l'interaction des processus
Generation automatique de codes de transfert pour multiprocesseurs a memoires locales
Analyse semantique des programmes en langage c en vue de leur parallelisation
Parallelisation automatique : estimation des durees d'execution et allocation statique de processeurs
Generation de code et analyse interprocedurale au sein d'un environnement de programmation parallele
Cooperation d'agents et placement de taches dans les systemes multiprocesseurs, par partitionnement de graphe
Vectorisation automatique de boucles comportant des instructions de branchement
Specification et realisation d'un service de fichiers fiable pour le systeme d'exploitation reparti chorus
Restructuration des programmes fortran en vue de leur parallelisation
Du développement de logiciels numériques en environnements parallèles
É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
Acquisition et reconnaissance de messages graphiques, un systeme expert dans un systeme eao
Partitionnement des boucles imbriquées : une technique d'optimisation pour les programmes scientifiques