Accumulation flottante  Acquisition process  Addition pipelinée  Additionneur rapide  Algorithm  Algorithme  Algèbre linéaire  Analyse Pire Cas  Analyse des données  Analyse statique  Appels systèmes  Approximation polynomiale  Architecture système  Basse consommation  Bibliothèque programme  Bibliothèques haute performance  Blue Gene  C plus-plus  Calcul intensif  Calculateur Mimd  Carré  Cd  Chemin de données arithmétique  Chiffrement  Chromodynamique quantique  Clang  Code optimal  Communications pipelinées  Compilateur source-à-source  Compilation  Compilation  Complexité programme  Computer assisted teaching  Configuration parallele  Contrôle statique  Coq  Cryptographie  Dilemme du fabricant de table  Domaine abstrait  Eflux  Enseignement assiste  Environnement programmation  Estimateur  Estimation  Estimator  Execution time  Expert system  Exponentielle flottante  Exécution programme  FPGA  Fl052  FloPoCo  Fortran  Fortran  Fortran  Gcos 6  Gestion dynamique des taches  Géométrie algorithmique  Implementation  Implémentation  Informatique, automatique theorique, systemes  Interactive system  Iterative method  Jacobi  Karatsuba-Offman  Knowledge representation  LLVM  Langages de programmation  Langages formels  Lattice QCD  Linear system  Localité  Logiciels -- Vérification  Logique informatique  Lois algébrique de transformation  MPI  Machine parallèle  Machines parallèles  Machines à connexions  Manipulation  Mimd computer  Modeling  Modèle polyhédrique  Modèle polyédrique  Modélisation  Multiplication  Multiplication de matrices  Multiplication par pavage  Multiplieur tronqué  Multiprocesseurs  Multiprocessor  Mémoire cache  Mémoire distribuée  Mémoire partagée  Mémoire partagée répartie  Méthode des différences tabulées  Méthode itérative  Nid de boucles parfait  Optimal code  Optimisation  Optimisation algorithmique  Optimisation mathématique  Optimization  Ordinateurs -- Mémoires  Ordinateurs -- Programmation  Ordinateurs parallèles  Parallel configuration  Parallel machine  Parallel processing  Parallélisation  Parallélisme  Partition  Pipeline pour une fréquence donnée  Pips  Placement de programmes  Polytopes  Polyèdres  Preuve formelle  Processus acquisition  Program  Program complexity  Program execution  Program library  Programmation orientée objets  Programmation parallèle  Programmation parallèle  Programmation transformationnelle  Programme  Programming environment  Protection  Protection de l'information  Protocoles de réseaux d'ordinateurs  Racine carrée flottante  Recherche opérationnelle  Reconnaissance d'algorithmes  Representation connaissances  Réseaux d'ordinateurs  Schéma d'évaluation de Horner  Sciences appliquees  Shared memory  Simulation  Somme de carrés flottante  Synthèse de haut niveau  System architecture  Systeme conversationnel  Systeme expert  Systeme linéaire  Système de fichiers  Système de transformation  Système virtuel  Systèmes d'exploitation  Systèmes de télécommunications  Systèmes intégrés  Systèmes linéaires  Temps exécution  These  Thesis  Traduction automatique  Traduction binaire dynamique  Transformations de programmes  Télécommunication 4G  UNIX -- système d'exploitation des ordinateurs  VLIW  Vecteur  Vector  Virgule fixe  Virgule flottante  Vérification formelle  WinHelp -- logiciel  Émulation  

Paul Feautrier a dirigé les 39 thèses suivantes :

Sciences appliquées
Soutenue en 1996
Thèse soutenue

Sciences appliquées
Soutenue en 1995
Thèse soutenue

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

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
Thèse soutenue

Sciences appliquées
Soutenue en 1992
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue

Sciences appliquées
Soutenue en 1989
Thèse soutenue


Paul Feautrier a été président de jury des 2 thèses suivantes :


Paul Feautrier a été rapporteur de la thèse suivante :


Paul Feautrier a été membre de jury des 2 thèses suivantes :