2468 search results - page 438 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
124
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
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...
136
click to vote
BTW
2005
Springer
15 years 8 months ago
2005
Springer
: This paper presents the MINERVA project that protoypes a distributed search engine based on P2P techniques. MINERVA is layered on top of a Chord-style overlay network and uses a ...
107
click to vote
GC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
127
click to vote
FTDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
With the increasing prevalence of mobile devices, computing is being carried out on devices with varied resource constraints and is afflicted by constant changes in run-time conte...