266 search results - page 1 / 54 » On asymmetric progress conditions |
PODC
2010
ACM
13 years 8 months ago
2010
ACM
Wait-freedom and obstruction-freedom have received a lot of attention in the literature. These are symmetric progress conditions in the sense that they consider all processes as b...
WDAG
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
GECCO
2004
Springer
13 years 10 months ago
2004
Springer
Coevolution can in principle provide progress for problems where no accurate evaluation function is available. An important open question however is how coevolution can be set up s...
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
PCM
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper proposes a novel method to detect Furon’s asymmetric watermark by using a correlation detector that is mathematically tractable and simple. The performance o...