272 search results - page 37 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
136
click to vote
WD
2010
15 years 27 days ago
2010
Gossip-based epidemic protocols are used to aggregate data in distributed systems. This fault-tolerant approach does neither require maintenance of any global network state nor kno...
169
click to vote
CAL
2010
14 years 11 months ago
2010
Memory models like SC, TSO, and PC enforce load-load ordering, requiring that loads from any single thread appear to occur in program order to all other threads. Out-of-order execu...
117
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
P2P Networks are highly dynamic structures since their nodes – peer users keep joining and leaving continuously. In the paper, we study the effects of network change rates on qu...
137
click to vote
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
192
click to vote
HPDC
1998
IEEE
15 years 7 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...