Acteurs  Activité utilisateur  Administration  Algorithmes  Analyse d'échappement  Analyse de performance  Applications avec forte utilisation de la mémoire  Applications distribuées  Applications mobiles  Applications parallèles  Architecture numa  Assemblage  Calcul haute performance  Calcul intensif  Centres de données  Centres de traitement informatique  Chemin de confiance  Cloisonnement  Cloud  Code source  Compilateur source-À-Source.  Compilation  Compilation  Compilation dynamique  Composants multiplateformes  Concurrence  Consommation d'énergie  Consommation énergétique  Contrôle d’accès  Domotique  Découvrir les service  Développement mobile multiplateforme  Evenementiel  Fiabilité  Fournisseurs de services applicatifs  Gestion -- Informatique  Gestion de la mémoire  Gestion mémoire  Génération de code  Héritage multiple  Informatique dans les nuages  Interconnexion de réseaux  Interface homme-machine  Interfaces utilisateur  Internet  Internet du futur  Isolation  JVM HotSpot  Java  Java  Jit  Jni  Langage commun  Langage de la politique  Langage dédié  Langage à objets  Logiciels -- Vérification  MPI  MPI  MPSoC  MVV, applications actives  Machine virtuelle  Machine virtuelle Java  Machine virtuelle virtuelle [MVV]  Machines d'états  Microprocesseurs multi-coeurs  Middleware ZigZag  Migration de fil d'exécution  Model checking  Modele de programmation  Modèle hybride  Modèles mathématiques  Motifs d'événements  Multi-coeur  Multicoeur  Multicœur  Mémoire flash NAND  Mémoire partagée répartie  Mémoires flash  Métrique  NUMA  NUMA  OMPT  OpenMP  OpenMP  Optimisation mathématique  Ownership  Parallèlisme  Parallélisme  Partage  Passage de messages  Passage à l'échelle  Performance  Profilage  Profiling  Programmation dynamique  Programmation orientée objets  Programmation par composants  Programmation parallèle  Propriétés temporelles  Protocole d’interopérabilité  Qualité de Service  Qualité de service  Ramasse-Miette  Ressource  Réflexion  Réplication  Réseaux d'ordinateurs -- Accès à distance  Scalabilité  Serveur d’affichage  Service  Service du stockage secondaire  Sgx  SimGrid  Smartphones  Support exécutif  Surveillance  Système  Système d’exploitation  Systèmes d'exploitation  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes virtuels  Sécurité  Thèses et écrits académiques  Tissage d'aspects  Tob  Traitement d'événements  Traitement réparti  Verrou  Virtualisation  Vérification dynamique formelle  

Gaël Thomas a rédigé la thèse suivante :


Gaël Thomas dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 01-09-2018
Thèse en préparation


Gaël Thomas a dirigé les 4 thèses suivantes :

Informatique
Soutenue le 26-04-2018
Thèse soutenue

Gaël Thomas a été président de jury des 3 thèses suivantes :


Gaël Thomas a été rapporteur des 7 thèses suivantes :

Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 12-10-2017
Thèse soutenue
Informatique
Soutenue le 17-12-2015
Thèse soutenue

Gaël Thomas a été membre de jury des 5 thèses suivantes :

Informatique
Soutenue le 24-01-2014
Thèse soutenue