Une CNS pour l'acheminement de messages instantanément stabilisant

Simple item page
dc.creatorCournier, Alain
dc.creatorDubois, Swan
dc.creatorVillain, Vincent
dc.date2009-05-12
dc.date.accessioned2026-07-07T13:14:02Z
dc.date.available2026-07-07T13:14:02Z
dc.descriptionA snap-stabilizing algorithm ensures that it always behaves according to its specifications whenever it starts from an arbitrary configuration. In this paper, we interest in the message forwarding problem in a message-switched network. We must manage network ressources in order to deliver messages to any processor of the network. In this goal, we need information given by a routing algorithm. But, due to the context of stabilization, this information can be initially corrupted. It is why the existence of snap-stabilizing algorithms for this task (proved in [CDV09]) implies that we can ask the system to begin forwarding messages even if routing tables are initially corrupted. In this paper, we generalize the previous result given a necessary and sufficient condition to solve the forwarding problem in a snap-stabilizing way.
dc.identifierhttps://arxiv.org/abs/0905.1786
dc.identifierhttp://arxiv.org/abs/0905.1786
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/230085
dc.subjectDistributed, Parallel, and Cluster Computing
dc.titleUne CNS pour l'acheminement de messages instantanément stabilisant
dc.typetext

Files

Collections

arXiv