Knowledge Tree

researcher / CLAUDE GIRAULT

CLAUDE GIRAULT

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Edit Merge See Links

Thesis:

Outils pour la programmation d'objets fragmentes

Directed Thesis:

Coherence de donnees repliquees partagees par un groupe de processus cooperant a distance

Optimisation de l'architecture des serveux vocaux

Etude et conception d'un gestionnaire de documents hypermedia

Kitlog : un service de journalisation generique

Methodes d'analyse hierarchique des reseaux de petri

Strategies d'optimisation et evaluation de performance du protocole de validation en deux phases

Interfonctionnement numeris-transpac : etude et realisation d'un serveur d'applications

Conception et validation modulaire de reseaux de petri complexes : application a un protocole de coherence de caches

Controle des systemes de transactions imbriquees : conception, modelisation et preuve

Langage de regles et moteur d'inferences bases sur des contraintes et des actions : application aux reseaux de petri

Architecture et acces d'un frontal de communication a transpac, transcom et transdyn : association de voies terrestres a des liaisons transdyn unidirectionnelles

Un reseau mobiles autonomes pour l'apprentissage de la communication

Methodologie de validation des systemes structures en couches par reseaux de petri : application au protocole transport