229 search results - page 35 / 46 » How Efficient Can Memory Checking Be |
IANDC
2008
13 years 7 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a new formulation to multi-view stereo that treats the problem as probabilistic 3D segmentation. Previous work has used the stereo photo-consistency criterion as a dete...
ACTAC
1999
13 years 7 months ago
1999
A new image compression algorithm, Distortion Limited Wavelet Image Codec (DLWIC), is introduced. The codec is designed to be simple to implement, fast and have modest requirement...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
OSDI
2002
ACM
14 years 8 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...