923 search results - page 1 / 185 » The Computational Structure of Progress Conditions |
WDAG
2010
Springer
13 years 2 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...
EUROPAR
2010
Springer
13 years 5 months ago
2010
Springer
ENTCS
2008
13 years 4 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
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...
AIPS
2010
13 years 6 months ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...