2468 search results - page 245 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
139
click to vote
CIDR
2009
15 years 5 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
187
click to vote
ICDCN
2011
Springer
14 years 7 months ago
2011
Springer
We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the ...
165
click to vote
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
153
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...