Knowledge Tree

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