6608 search results - page 244 / 1322 » On the Completeness of Model Checking |
215
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
This paper presents a novel approach to achieve accurate and complete multi-view reconstruction of dynamic scenes (or 3D videos). 3D videos consist in sequences of 3D models in mot...
196
click to vote
LFCS
2009
Springer
16 years 12 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
180
click to vote
CONCUR
2007
Springer
16 years 1 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
175
click to vote
GLVLSI
2009
IEEE
16 years 19 days ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
139
click to vote
DSN
2008
IEEE
16 years 10 days ago
2008
IEEE
Conventional processor fault tolerance based on time/space redundancy is robust but prohibitively expensive for commodity processors. This paper explores an unconventional approac...