Nous etudions le probleme de la synchronisation de phases, a valeurs bornees par un entier K, dans le cadre de l'auto-stabilisation et de la stabilisation instantanee. Dans un premier temps, nous presentons trois algorithmes semi-uniformes pour systemes asynchrones. Ces trois algorithmes fonctionnent sur des arbres orientes et sont stabilisants instantanement, c'est a dire qu'ils verifient toujours la specification du synchroniseur, quelle que soit la configuration initiale. Dans un second temps, nous etudions les systemes synchrones uniformes dans le cadre de l'auto-stabilisation. Nous...
Nous etudions le probleme de la synchronisation de phases, a valeurs bornees par un entier K, dans le cadre de l'auto-stabilisation et de la stabilisa...
Nos travaux se positionnent dans le cadre de l'algorithmique distribuA(c)e et plus particuliA]rement des rA(c)seaux ad hoc. Les rA(c)seaux ad hoc sont auto-organisA(c)s en permettant des A(c)changes directs entre noeuds mobiles et ne reposent sur aucune infrastructure. Chaque noeud peut se dA(c)placer librement et indA(c)pendamment des autres impliquant une modification perpA(c)tuelle de la topologie. Dans ce contexte, la probabilitA(c) que des dA(c)faillances surviennent dans le rA(c)seau est importante. Ces dA(c)faillances gAanent le bon fonctionnement du rA(c)seau et peuvent mAame...
Nos travaux se positionnent dans le cadre de l'algorithmique distribuA(c)e et plus particuliA]rement des rA(c)seaux ad hoc. Les rA(c)seaux ad hoc sont...