Sciweavers

2 search results - page 1 / 1
» Snap-Stabilizing Detection of Cutsets
Sort
View
HIPC
2005
Springer
13 years 11 months ago
Snap-Stabilizing Detection of Cutsets
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we present a snap-stabilizing protocol which detects ...
Alain Cournier, Stéphane Devismes, Vincent ...
ICTAI
2009
IEEE
13 years 3 months ago
A Generalized Cyclic-Clustering Approach for Solving Structured CSPs
We propose a new method for solving structured CSPs which generalizes and improves the Cyclic-Clustering approach [4]. First, the cutset and the tree-decomposition of the constrai...
Cédric Pinto, Cyril Terrioux