Habilitation à diriger des recherches
Equipe : Parallélisme
Quelques Contributions à l'auto-stabilisation
Début le 01/01/1970
Direction :
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI
Soutenue le 13/11/2007 devant le jury composé de :
Joffroy Beauquier
Marc Bui (rapporteur)
Carole Delporte-Gallet
Shlomi Dolev (rapporteur)
Jean-Frédéric Myoupo
Masafumi Yamashita (rapporteur)
Activités de recherche :
- Algorithmique répartie
- Autostabilisation
- Algorithmes probabilistes
- Réseaux ad hoc
Résumé :
Dans mon HdR, je présente mes travaux de recherche concernant les algorithmes auto-stabilisants, limités aux trois axes suivants:
(1) étude théorique des modèles de communication et de calcul. Les
différents modèles de communication par registre et de calcul utilisés dans l'algorithmique réparti sont présentés et comparés. Pour comparer la puissance de ces modèles, j'étudie la réalisation de compilateurs tolérants aux défaillances d'un modèle à l'autre.
(2) contribution à l'algorithmique répartie et classique. Deux problèmes ``étalons'' de l'informatique répartie: l'élection de eader et l'exclusion mutuelle sont intensivement étudiés. Le point de vue utlisés est les bornes à l'espace mémoire nécessaire à ces deux tâches dans le cadre d'anneaux anonymes.
(3) Algorithmique pour les réseaux Ad-Hoc. des algorithmiques tolérants aux défaillances de maintenance de réseaux Ad-Hoc sont présentés.
Dans la continuité des trois axes de recherches présentés dans ce document sont proposés des perspectives de recherche.
Pour en savoir plus: http://www.lri.fr/~colette/hdr.html
