Abstraction de tableaux  Algorithme  Algorithmes  Analyse de performance  Analyse statique  Apache  Applications réseaux  Apprentissage automatique  Approche conjointe  Architectures NUMA  Architectures multi-cœurs  Binaire  Bitslicing  Caches répartis  Calculs stencils  Code source  Combining  Compilation  Compilation  Congestion mémoire  Consolidation  Conteneur  Contention  Cryptographie  Data server performance  Diagnosys  Domotique  Débogage  Débogueurs  Découvrir les service  Embarqué  Evenementiel  Event-driven programming  File servers  Fournisseurs de services applicatifs  Gestion de configurations  Gestion de fréquence  Grilles informatiques  Génie Logiciel  Génie logiciel  Informatique  Informatique dans les nuages  Interconnexion de réseaux  Internet  Internet du futur  Interprétation abstraite  Isolation  Java  Java  Kernel oops  Langage de la politique  Langage dédié  Langages  Langages de programmation  Langages dédiés  Linux  Linux  Linux  Linux, Pilotes de périphérique pour  Logiciels -- Vérification  Logiciels  Machine virtuelle Java  Masquage  Microbenchmarks  Microprocesseurs multi-coeurs  Middleware ZigZag  Modèle polyédrique  Modèles à états finis  Multi-Coeurs  Multi-coeurs  Multicoeur  Multicore architectures  Multicœur  Mémoire  Mémoire distribuée  Mémoire partagée répartie  Méthodes formelles  Métrique  NUMA  NUMA  NUMA architectures  Noeud Byzantin  Noeud rationnel  Notion de responsabilité  Noyau  Noyau Linux  Ordinateurs -- Mémoires virtuelles  Ordonnancement  Ordonnancement  Parallèlisme  Parallélisme  Partage  Performance  Performance analysis  Performance des serveurs de données  Pilotes de périphériques  Processeurs à hautes performances  Processus  Profilage  Profiling  Programmation orientée aspects  Programmation orientée objets  Programmation par contraintes  Protocole d’interopérabilité  Protocoles de réseaux d'ordinateurs  Protocoles textuels  Prédiction du retard  Prévision  Ressource  Robustesse  Rpc  Régulation  Réécriture, Systèmes de  Scalabilité  Serveur de fichiers  Serveurs  Serveurs Web  Service  Services noyau  Stockage en ligne  Structures de données complexes  Surveillance  Synchronisation  Système distribué  Système sur puce  Systèmes d'exploitation  Systèmes d'exploitation  Systèmes de fichiers  Systèmes distribués  Systèmes d’exploitation temps-réel  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes sur puce  Systèmes virtuels  Séquence alignement  Temps réel  Temps-Réel  Temps-réel  Tests  Threads  Théorie des jeux  Tolérance aux fautes  Tolérance aux fautes  Tolérances aux fautes  Traitement réparti  Vectorisation  Verrou  Verroux ordonnés de lecture/écriture  Virtualisation  Vol de tâches  Vérification de modèles  Vérification formelle  Web servers  Workstealing  

Gilles Muller a dirigé les 14 thèses suivantes :

Informatique
Soutenue le 20-11-2020
Thèse soutenue


Gilles Muller a été président de jury des 2 thèses suivantes :


Gilles Muller a été rapporteur des 3 thèses suivantes :


Gilles Muller a été membre de jury des 6 thèses suivantes :

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