819 search results - page 47 / 164 » Using Assumptions to Distribute CTL Model Checking |
122
click to vote
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
97
Voted
JFP
2006
15 years 16 days ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
115
click to vote
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
In this paper we describe a statistical method for the integration of an unlimited number of cues within a deformable model framework. We treat each cue as a random variable, each...
112
click to vote
ENTCS
2008
15 years 19 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
102
Voted
OSDI
2008
ACM
16 years 26 days ago
2008
ACM
Although queueing models have long been used to model the performance of computer systems, they are out of favor with practitioners, because they have a reputation for requiring u...