413 search results - page 35 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
133
click to vote
OPODIS
2010
15 years 3 days ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
117
Voted
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
118
click to vote
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
Markov Random Fields (MRFs) are proposed as viable stochastic models for the spatial distribution of gray level intensities for images of human faces. These models are trained usi...
126
click to vote
SIMPRA
1998
15 years 1 months ago
1998
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
106
click to vote
SODA
2010
ACM
15 years 11 months ago
2010
ACM
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...