Acteurs  Activité utilisateur  Administration  Algorithmes  Analyse d'échappement  Analyse de performance  Applications avec forte utilisation de la mémoire  Applications distribuées  Applications hybrides  Applications mobiles  Applications parallèles  Architecture numa  Architectures multi-Cœurs  Assemblage  Calcul haute performance  Calcul intensif  Centres de données  Centres de traitement informatique  Chemin de confiance  Cloisonnement  Cloud  Code source  Communication interprocessus  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 -- Développement  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  Ordonnancement  Ownership  Parallèlisme  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  Solution matérielle/logicielle  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 les 2 thèses suivantes :

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

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 8 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