3082 search results - page 346 / 617 » Deviation Analysis: A New Use of Model Checking |
206
click to vote
JACM
2002
15 years 6 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
168
click to vote
ISPASS
2006
IEEE
16 years 17 days ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
176
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Today’s one-pass analytics applications tend to be data-intensive in nature and require the ability to process high volumes of data efficiently. MapReduce is a popular programm...
176
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
208
click to vote
NEUROSCIENCE
2001
Springer
15 years 11 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...