. ccNUMA  Ada 83  Algorithmes  Algorithmes compensés  Algèbre linéaire  Analyse Sensorielle  Analyse numérique matricielle  Analyse statique  Approximation de fonctions  Architecture vectorielle  Arithmétique  Arithmétique Stochastique Discrète  Arithmétique des ordinateurs  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique flottante IEEE-754  Arithmétique interne des ordinateurs  Arithmétique par intervalles  Arrondi correct  BLAS  Bibliothèque CADNA  Bibliothèque MAGMA  Bibliothèques logicielles pour l’algèbre linéaire dense  Calcul d'erreur  Calcul formel  Calcul haute performance  Calcul hybride multicœur/GPU  Calcul scientifique vérifié  Calculs numériques  Cherenkov  Communication  Communication-avoiding  Compensation  Corsika  Cta  Description VHDL RTL  Design sonore  Dilemme du fabricant de tables  Division de Newton-Raphson  Décomposition de domaine  Décomposition de domaines  Déterminisme  Efficacité  Erreur d'arrondi  Erreurs d'arrondi  FPGA  Factorisation LU  Génération des contraintes  Identification  Identité Sonore  Indicatifs musicaux  Informatique  Intel Xeon Phi  Itération sur les politiques  Langages de programmation  Logiciels -- Vérification  Marques de commerce  Microprocesseurs multi-coeurs  Multiprocesseurs  Norme IEEE 754-2008  OpenTelemac  Optimisation  Optimisation de code  Optimisation des types  Optimisation mathématique  PI-algèbres  Parallélisation automatique  Parallélisme  Parallélisme  Perception auditive  Performances  Placement des processus légers  Processeur à beaucoup de cœurs  Processeurs graphiques  Produit de matrices  Programmation parallèle  Précision  Précision numérique  RN-code  Randomisation  Reproductibilité  Simulation hydrodynamique  Simulation par ordinateur  Simulation physique  Solveur LP  Solveur SMT  Solveurs  Système linéaire  Systèmes adaptatifs  Systèmes linéaires  Systèmes linéaires denses  Sémantique  Transformation automatique  VHDL  Validation numérique  Éléments finis  Éléments finis, Méthode des  Évaluation de la précision numérique  

Philippe Langlois a rédigé la thèse suivante :


Philippe Langlois dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 01-10-2019
Thèse en préparation

Informatique
En préparation depuis le 31-08-2018
Thèse en préparation


Philippe Langlois a dirigé les 6 thèses suivantes :

Mathématiques et informatique. Mathématiques appliquées et calcul scientifique
Soutenue en 1998
Thèse soutenue


Philippe Langlois a été président de jury des 3 thèses suivantes :

Informatique
Soutenue le 29-11-2021
Thèse soutenue


Philippe Langlois a été rapporteur des 3 thèses suivantes :


Philippe Langlois a été membre de jury des 2 thèses suivantes :