Acteurs  Algorithmes  Algorithmes parallèles  Analyse statique  Applications mobiles  Apprentissage automatique  Architecture -- Informatique  Architecture Hiérarchique  Architecture de services  Architecture des réseaux d'ordinateurs  Architectures hiérarchiques, hybrides et hétérogènes  Architectures parallèles  Automatique theorique  BSP  Benchmark  Biométrie  Calcul de risque  Calcul intensif  Cell BE  Charge dynamique  Cluster hybride hétérogène de GPUs/CPUs  Communication Simplifiée  Compilation  Concurrence  Distribution  Distribution  Données -- Transmission  Données XML  Données massives  Entrepot donnee  Entreprises -- Systèmes d'information  Equilibrage charge  Estimation de sélectivité  Futurs  GPGPU  Génération automatique  Imagerie tridimensionnelle  Informatique  Informatique dans les nuages  Informatique en nuage  Ingénierie dirigée par les modèles  Interprétation abstraite  Langages de programmation fonctionnelle  Langages dédiés  Logiciels -- Vérification  MPI  Mathématiques financières  Meta-Langages  Mobile Cloud Computing  Modele bsp  Modèle de Transition  Modèle de performance  Modèles de programmation  Modélisation tridimensionnelle  Monte-Carlo  Monte-Carlo, Méthode de  Méthodes formelles  Méthodes formelles  OSGi  OSGi  Objets actifs  OpenCL  OpenMP  Optimisation  Optimisation de requêtes  Option américaine  Ordinateurs -- Programmation  Outils et modèles de programmation parallèle haut niveau  Parallelisme  Parallélisme  Parallélisme  Parallélisme de donnée  Parallélisme de tache  Poste à poste  Processus métiers  Programmation Parallèle  Programmation par contraintes  Programmation parallèle  Programmation parallèle  Protocoles  Protocoles de réseaux d'ordinateurs  Prédiction de Performance  Requêtes XPath  Réalité virtuelle  Réalité virtuelle distribuée  Réputation  Réutilisation de processus  SOA  Sciences de la Terre  Sciences et techniques  Services mobiles  Simulation  Streaming  Supervision et hypervision informatique  Systeme gestion base donnee  Systemes  Systèmes virtuels  Sécurité des systèmes  Sécurité et vie privée  Sémantique  Sémantique de Langage  Sémantique opérationnelle  Traitement de flux  Transformation de programmes  Vérification  Vérification de modèles  XML  XPath  Évaluation du risque  

Gaétan Hains a dirigé les 8 thèses suivantes :


Gaétan Hains a été président de jury des 2 thèses suivantes :

Informatique temps réel, robotique et automatique
Soutenue le 26-11-2018
Thèse soutenue

Gaétan Hains a été rapporteur de la thèse suivante :


Gaétan Hains a été membre de jury des 5 thèses suivantes :