AAA  Accelérateur  Accélération de suites vectorielles  Acquisition de traces  Adaptation du parallèlisme  Affinité des threads  Affinité mémoire  Algèbre linéaire  Algèbre linéaire appliquée  Algèbre linéaire creuse  Analyse de Traces  Analyse de performance  Analyse de traces  Analyse du programme  Analyse statique  Analyse statistique  Analyse à la volée  Applications embarqués  Apprentissage Automatique  Apprentissage automatique  Architecture -- Informatique  Architecture client-serveur  Architecture des réseaux d'ordinateurs  Architecture multi-coeurs  Architectures NUMA  Architectures de mémoire distribuées  Architectures hybrides  Architectures hétérogènes  Architectures parallèles  Asynchronisme  Auto-tuning  Autotuning  Bande passante mémoire limitée  C  C plus-plus  CPU  CUDA  Calcul Haute Performance  Calcul dans le nuage  Calcul distribué  Calcul haute performance  Calcul hautes performances  Calcul intensif  Calcul intensif  Calcul pair-à-pair de haute performance  Calcul parallèle  Calcul scientifique  Calcul à la demande  Cloud computing  Clustering  Code source  Communication concurrentes  Communications réseau  Compilation  Compilation  Compilation dynamique  Congestion réseau  Consommation d'énergie  Contrlôle par rétroaction  Debogage  Debugging  Diffusion anisotrope  Diffusion de données  Discrétisation semi-spectrale  Données -- Transmission  Dynamique moléculaire  Débogage  Décomposition  Décomposition de domaine  Détection d'anomalies  Eco-calcul  Efficacité énergétique  Environnement décentralisé  Environnements de programmation multiprocesseur composants  Equilibrage de charge  Ethernet  Evaluation de performance  Exploration de données  Expériences  Extrapolation de performance  Exécution dynamique  FFT  Fiabilité  Fortran  Fouille de Données  Fouille de Motifs Séquentietiels  Fouille des réseaux sociaux  Fourier, Transformations de  Fusion nucléaire  Fusion nucléaire par confinement magnétique  GPGPU  GPU  Gestion de ressources  Gestion mémoire  Gestionnaire de ressources  Gpu  Graphe de tâches  Grappes virtuelles  Génération de code  Hiérarchie de mémoire  Hiérarchie mémoire  Hpc  Infiniband  Informatique  Informatique Haute Performance  Informatique dans les nuages  Informatique embarquée  Informatique quantique  Inférence  Injection de fautes  Instrumentation automatique  Interpretation SSA  Itération  JVM HotSpot  Java  Java  Jit  Jni  Just-In-Time  La tolérance aux fautes  Langage de programmation  Langage dédié  Langage spécifique au domaine  Langages C, C++, Fortran  MPI  MPI  MPSoC  Manycore  Mathématiques appliquées  Microprocesseurs multi-coeurs  Migration de tâches  Mise au point  Mise au point d'applications embarquées  Modèle d'acteurs  Modèles de programmation  Modèles de programmation parallèle  Modèles réseaux  Modélisation et simulation  Modélisation sismique  Monitoring  Monte-Carlo  Monte-Carlo, Méthode de  Mpi  Multi-Cœur et many-Cœur  Multi-Processing mode  Multi-coeur  Multi-coeurs  Multicœur  Multimédia  Multimédias  Multiprocesseurs  Mémoire Transactionnelle Logicielle  Mémoire distribuée  Mémoire partagée  Mémoire partagée répartie  Mémoire transactionnelle  Méthode de bas ordre  Méthode multifrontale  Méthodes Volume-Fini  Méthodes asynchrones  Méthodes directes  Méthodes semi-implicites  Méthodologie  NUMA  NUMA  Noyaux  Numa  Observation  Observation de systèmes sur puce  Observation à base de composants  Ondes sismiques  Ontologie  OpenCL  OpenMP  OpenMP  OpenMP runtime system  Optimisation mathématique  Ordinateurs -- Programmation  Ordonancement  Ordonnancement  Ordonnancement  Ordonnancement d'applications de type workflow  Ordonnancement de Tâches  Ordonnancement dynamique  Parallèle  Parallélisation  Parallélisme  Parallélisme  Programmation parallèle  Prédiction de performances  Simulation  Simulation par ordinateur  Supports d'exécution  Supports d’exécution  Systèmes embarqués  Systèmes embarqués  Systèmes linéaires  Thèses et écrits académiques  Tolérance aux fautes  Traçage  Évaluation de performances  

Jean-François Méhaut a rédigé la thèse suivante :


Jean-François Méhaut dirige actuellement les 5 thèses suivantes :

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

Vérification interactive de propriétés à l'exécution

par Raphaël Jakse sous la direction de Jean-François Méhaut et de Yliès Falcone . - Grenoble Alpes

Informatique
En préparation depuis le 17-11-2016
Thèse en préparation

Informatique
En préparation depuis le 14-10-2014
Thèse en préparation

Soutenance prévue le 13-09-2018
Informatique
En préparation depuis le 25-11-2013
Thèse en préparation

Soutenance prévue le 08-11-2017

Jean-François Méhaut a dirigé les 25 thèses suivantes :


Jean-François Méhaut a été président de jury des 4 thèses suivantes :


Jean-François Méhaut a été rapporteur des 17 thèses suivantes :


Jean-François Méhaut a été membre de jury des 3 thèses suivantes :