2468 search results - page 79 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
187
Voted
VLDB
2005
ACM
16 years 3 months ago
2005
ACM
Scalable storage architectures allow for the addition or removal of storage devices to increase storage capacity and bandwidth or retire older devices. Assuming random placement of...
136
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Modern distributed systems that have to avoid performance degradation and system overload require several runtime management decisions for load balancing and load sharing, overloa...
112
click to vote
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
127
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
147
click to vote
SDM
2010
SIAM
15 years 4 months ago
2010
SIAM
Many sorts of structured data are commonly stored in a multi-relational format of interrelated tables. Under this relational model, exploratory data analysis can be done by using ...