Accumulation flottante  Addition pipelinée  Additionneur rapide  Algèbre linéaire  Analyse des données  Analyse statique  Approximation polynomiale  Basse consommation  Bibliothèques haute performance  Blue Gene  C plus-plus  Calcul intensif  Carré  Chemin de données arithmétique  Chiffrement  Chromodynamique quantique  Clang  Communications pipelinées  Compilateur source-à-source  Compilation  Compilation  Contrôle statique  Coq  Cryptographie  Dilemme du fabricant de table  Domaine abstrait  Exponentielle flottante  FPGA  FloPoCo  Fortran  Gestion dynamique des taches  Géométrie algorithmique  Jacobi  Karatsuba-Offman  LLVM  Langages de programmation  Langages formels  Lattice QCD  Localité  Logiciels -- Vérification  Logique informatique  Lois algébrique de transformation  MPI  Machines parallèles  Machines à connexions  Modèle polyhédrique  Modèle polyédrique  Multiplication  Multiplication de matrices  Multiplication par pavage  Multiplieur tronqué  Mémoire cache  Mémoire distribuée  Mémoire partagée répartie  Méthode des différences tabulées  Nid de boucles parfait  Optimisation algorithmique  Optimisation mathématique  Ordinateurs -- Mémoires  Ordinateurs -- Programmation  Ordinateurs parallèles  Parallélisation  Parallélisme  Pipeline pour une fréquence donnée  Placement de programmes  Polytopes  Polyèdres  Preuve formelle  Programmation orientée objets  Programmation parallèle  Programmation parallèle  Programmation transformationnelle  Protection de l'information  Protocoles de réseaux d'ordinateurs  Racine carrée flottante  Recherche opérationnelle  Reconnaissance d'algorithmes  Réseaux d'ordinateurs  Schéma d'évaluation de Horner  Simulation  Somme de carrés flottante  Synthèse de haut niveau  Système de transformation  Systèmes de télécommunications  Systèmes intégrés  Systèmes linéaires  Thèses et écrits académiques  Traduction automatique  Traduction binaire dynamique  Transformations de programmes  Télécommunication 4G  VLIW  Virgule fixe  Virgule flottante  Vérification formelle  WinHelp  

Paul Feautrier a dirigé les 37 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 :