2468 search results - page 274 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
113
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Peer-to-Peer (P2P) multimedia application is expected to be one of the most important services supported by the next generation networks. However, how to balance server load in re...
135
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
164
click to vote
IEEEARES
2009
IEEE
15 years 2 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
153
click to vote
IJHPCA
2007
15 years 4 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
136
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...