4075 search results - page 25 / 815 » Modeling Distributed Algorithm Using B |
PARA
2000
Springer
15 years 4 months ago
2000
Springer
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
91
Voted
ICASSP
2010
IEEE
15 years 18 days ago
2010
IEEE
This paper deals with clustering of spatially distributed data using wireless sensor networks. A distributed low-complexity clustering algorithm is developed that requires one-hop...
HICSS
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents scalable algorithms for recovery and page coherency in multicomputer object stores. Recovery and coherency are central to object store engineering and distribu...
88
Voted
STOC
1997
ACM
15 years 4 months ago
1997
ACM
We examine a class of collective coin- ipping games that arises from randomized distributed algorithms with halting failures. In these games, a sequence of local coin ips is gener...
104
click to vote
ICALP
2009
Springer
16 years 21 days ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...