640 search results - page 54 / 128 » Discovering State Invariants |
DSN
2007
IEEE
14 years 2 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
TACAS
2010
Springer
13 years 9 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
Publication
Image inpaining "involves filling in part of an image (or video) using information
for the surrounding area" [1]. This report summarizes an application of numerical
sol...
CALCO
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
DIS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...