3335 search results - page 87 / 667 » Grid result checking |
EUROPAR
2008
Springer
15 years 1 months ago
2008
Springer
We present in this article a theoretical study and performance results about the impact of the Grid architecture on token-based mutual exclusion algorithms. To this end, both the o...
CPHYSICS
2007
14 years 12 months ago
2007
In this paper, we report experiences and results of the integration and utilization of cyberinfrastructure for sciences in Korea. An overview is given of the current and planned u...
JCT
2007
14 years 11 months ago
2007
Abstract. We prove that a binary matroid with huge branchwidth contains the cycle matroid of a large grid as a minor. This implies that an infinite antichain of binary matroids ca...
109
click to vote
PAPM
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
114
click to vote
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...