220 search results - page 17 / 44 » Estimating functional coverage in bounded model checking |
CAV
2004
Springer
15 years 4 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
110
Voted
ISBI
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a fully four-dimensional, globally convergent, incremental gradient algorithm to estimate the continuous-time tracer density from list mode positron emission tomography...
CONCUR
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
112
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
120
click to vote
TIT
2010
14 years 5 months ago
2010
The plenoptic function (Adelson and Bergen, 91) describes the visual information available to an observer at any point in space and time. Samples of the plenoptic function (POF) a...