Acteurs  Activité utilisateur  Administration  Algorithme d'exclusion mutuelle  Algorithmes  Algorithmes concurrents  Allocation de données  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 multi-Coeurs  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  Cloud computing  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  Données -- Transmission  Découvrir les service  Développement mobile multiplateforme  Espace d'addressage enchevetré  Evenementiel  Exclusion mutuelle  Fiabilité  Fournisseurs de services applicatifs  Gestion -- Informatique  Gestion de la mémoire  Gestion mémoire  Génération de code  Hyperviseur  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  Linux  Logiciels -- Développement  Logiciels -- Vérification  MPI  MPI  MPSoC  MVV, applications actives  Machine virtuelle  Machine virtuelle Java  Machine virtuelle virtuelle [MVV]  Machines d'états  Memoires hétérogènes  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  Mémoire flash NAND  Mémoire partagée répartie  Mémoires flash  Métrique  NUMA  NUMA  Nvram  OMPT  OpenMP  OpenMP  Optimisation combinatoire  Optimisation mathématique  Ordonnancement  Ownership  Parallèlisme  Parallélisme  Parallélisme  Parallélisme de tâche  Partage  Passage de messages  Passage à l'échelle  Performance  Planification  Profilage  Profiling  Programmation dynamique  Programmation orientée objets  Programmation par composants  Programmation parallèle  Programmation parallèle  Propriétés temporelles  Protocole d’interopérabilité  Prédictions conformes  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  Simulation  Smartphones  Solution matérielle/logicielle  Stockage distribué  Stockage en ligne  Structures de données persistantes  Support exécutif  Support materiel à la virtualization  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  Traduction binaire dynamique  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 3 thèses suivantes :

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

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 5 thèses suivantes :

Informatique
Soutenue le 26-04-2018
Thèse soutenue
Informatique
Soutenue le 08-03-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 13 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