Accessibilite  Accessibility  Ada 83  Ada  Ada language  Algorithm  Algorithme  Algorithme reparti  Algorithmes  Algorithmics  Algorithmique  Algorithmique repartie  Analyse  Analyse Numérique  Analyse d'accéssibilité  Analyse numérique  Analysis  Application Scientifique  Architecture Système  Automate de Büchi  Base de données réparties  Bases de données -- Gestion  Bases de données orientées objet  Calculateur Mimd  Classification  Colored petri net  Comparative study  Computer System  Computer system  Contrôle de sérialisation  Coucurrency  Derivation de programme  Desequencement de messages  Detection de proprietes de repos globales  Detection de terminaison  Distributed algorithm  Distributed system  Environnements multiples  Etude comparative  Evaluation Performance  Evaluation performance  Exploration à la volée  Flot  Flow  Gestion des données  Graph theory  Graphe de marquages accéssibles  Graphe de marquages symboliques  Génération de tests  Information system  Informatique, automatique theorique, systemes  Integrated planning  Invariant  Langage spécification  Langage symbolique  Langages de programmation  Mach  Micro-noyau  Mimd Computer  Modeling  Modelisation  Modélisation  Multiplexage temps  Multiprocesseur  Multiprocesseurs  Multiprocessor  Numerical Analysis  Optimisation  Optimization  Ordinateurs  Ordonnancement  Panne Parallel System  Parallélisme  Parallélisme  Performance Evaluation  Performance evaluation  Petri Net  Petri net  Preuve par invariant  Propriete stable  Real time system  Reduction  Regular net  Reseau petri  Reseau petri colore  Reseau regulier  Réseau Petri  Réseau optique synchrone  Réseau très haut débit  Réseaux HNS [Hiérarchie Numérique Synchrone]  Réseaux SDH [Synchronous Digital Hierarchy]  Réseaux de Petri  Réseaux locaux  Résolution de contraintes  Satellite telecommunication  Sciences appliquees  Scientific Application  Serveur  Sgbdr  Simulation  Simultaneite  Sonet [Synchronous optical NETwork]  Specification  Specification language  Spécification  Style de conception  Supercomputer  Superordinateur  Symbolic language  Synchronisation  Synchronization  System Architecture  Systeme informatique  Systeme reparti  Systeme reparti asynchrone  Systeme temps reel  Système Informatique  Système Parallèle  Système d'accueil  Système d'exploitation réparti  Système information  Système virtuel  Systèmes d'exploitation Temps réel  Systèmes transactionnels  Telecommunication par satellite  Telecommunications et theorie de l'information  Theorie graphe  These  Thesis  Time division multiplexing  Tolérance aux fautes  Traitement réparti  Transactions itérées  Télécommunications  Unix  Validation  Vérification à la volée  

Claude Girault a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1994
Thèse soutenue


Claude Girault a dirigé les 40 thèses suivantes :

Systèmes informatiques
Soutenue en 2003
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue

Sciences appliquées
Soutenue en 1996
Thèse soutenue

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1992
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue


Claude Girault a été membre de jury de la thèse suivante :