819 search results - page 75 / 164 » Using Assumptions to Distribute CTL Model Checking |
105
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
1 One common assumption of the existing models of load balancing is that the weights of resources and I/O buffer size are statically configured. Though the static configuration ...
140
click to vote
EDBT
2011
ACM
14 years 6 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
114
click to vote
PDCAT
2005
Springer
15 years 8 months ago
2005
Springer
Fault tolerant algorithms are often designed under the t-out-of-n assumption, which is based on the assumption that all processes or components fail independently with equal proba...
129
Voted
SRDS
2006
IEEE
15 years 8 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
141
Voted
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...