7167 search results - page 366 / 1434 » A Technique for Invariant Generation |
184
click to vote
ISCIS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...
246
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Deblurring images of moving objects captured from a traditional camera is an ill-posed problem due to the loss of high spatial frequencies in the captured images. Recent techniques...
364
click to vote
POPL
2004
ACM
16 years 8 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
238
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
183
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Acquiring and representing the 4D space of rays in the world (the light field) is important for many computer vision and graphics applications. Yet, light field acquisition is c...