3335 search results - page 57 / 667 » Grid result checking |
182
Voted
TPDS
2010
14 years 10 months ago
2010
Predicting grid performance is a complex task because heterogeneous resource nodes are involved in a distributed environment. Long execution workload on a grid is even harder to pr...
137
Voted
CAV
2003
Springer
15 years 8 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
135
Voted
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present an algorithm for scheduling of distributed data intensive Bag-of-Task applications on Data Grids that have costs associated with requesting, transferring ...
131
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
114
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...