819 search results - page 43 / 164 » Using Assumptions to Distribute CTL Model Checking |
104
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper investigates a complementary area which...
97
Voted
ICFP
2007
ACM
16 years 15 days ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
122
click to vote
MSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
100
click to vote
TCS
2002
15 years 6 days ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
74
Voted
NIPS
2007
15 years 2 months ago
2007
Many formal models of cognition implicitly use subjective probability distributions to capture the assumptions of human learners. Most applications of these models determine these...