Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Gérard Padiou

Gérard Padiou

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Contribution à l'étude de la notion d'objet réparti dans les langages et systèmes opératoires

Directed Thesis:

Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux
Supervision de contenus multimédia : adaptation de contenu, politiques optimales de préchargement et coordination causale de flux
Supervision de flux pour les contenus hypermédia : optimisation de politiques de préchargement et ordonnancement causal
Vérification de propriétés temporelles de programmes réactifs répartis
Un environnement d'assistance rigoureuse pour la description et l'exécution de processus de conception : application à l'approche objet
Assistance à la répartition de systèmes réactifs
Techniques de réplication de données pour les systèmes répartis à grande échelle
Étude de la réutilisation dans les modèles parallèles à processus communicants