37217 search results - page 7335 / 7444 » or 2010 |
100
click to vote
NOMS
2010
IEEE
14 years 10 months ago
2010
IEEE
Crash and omission failures are common in service providers: a disk can break down or a link can fail anytime. In addition, the probability of a node failure increases with the num...
144
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
107
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
130
click to vote
OPODIS
2010
14 years 10 months ago
2010
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
120
Voted
OPODIS
2010
14 years 10 months 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...