Sciweavers

28 search results - page 2 / 6
» sss 2007
Sort
View
JCT
2007
112views more  JCT 2007»
13 years 4 months ago
On generalized Kneser hypergraph colorings
In Ziegler (2002), the second author presented a lower bound for the chromatic numbers of hypergraphs KGr sssS, “generalized r-uniform Kneser hypergraphs with intersection multi...
Carsten E. M. C. Lange, Günter M. Ziegler
SSS
2007
Springer
13 years 11 months ago
Probabilistic Fault-Containment
Research on fine tuning stabilization properties has received attention for nearly a decade. This paper presents a probabilistic algorithm for fault-containment, that confines th...
Anurag Dasgupta, Sukumar Ghosh, Xin Xiao
SSS
2007
Springer
106views Control Systems» more  SSS 2007»
13 years 11 months ago
On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks
SSS
2007
Springer
13 years 11 months ago
Global Predicate Detection in Distributed Systems with Small Faults
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
Felix C. Freiling, Arshad Jhumka
SSS
2007
Springer
117views Control Systems» more  SSS 2007»
13 years 11 months ago
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abu...