356 search results - page 46 / 72 » Revisiting the Paxos Algorithm |
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
131
click to vote
VISAPP
2007
15 years 1 months ago
2007
In this paper, we address the problem of robustly recovering several instances of a curve model from a single noisy data set with outliers. Using M-estimators revisited in a Lagran...
105
Voted
IEEEIAS
2009
IEEE
15 years 6 months ago
2009
IEEE
: This paper proposes a new watermarking method for detecting image tampering. First, an authentication number is created using a pair of watermark pixels as the coefficients of a ...
DAGM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Klassen et al. [9] recently developed a theoretical formulation to model shape dissimilarities by means of geodesics on appropriate spaces. They used the local geometry o...
126
click to vote
CCGRID
2008
IEEE
15 years 1 months ago
2008
IEEE
In this article, we revisit the problem of scheduling dynamically generated directed acyclic graphs (DAGs) of multi-processor tasks (M-tasks). A DAG is a basic model for expressin...