1299 search results - page 191 / 260 » On the Correctness of Operating System Kernels |
150
click to vote
WDAG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Version vectors play a central role in update tracking under optimistic distributed systems, allowing the detection of obsolete or inconsistent versions of replicated dat...
190
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Sketching communicates ideas rapidly through approximate visual images with low overhead (pencil and paper), no need for precision or specialized knowledge, and ease of low-level ...
155
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
167
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a new approach for depth image-based rendering (DIBR) with low resolution depth using the 3D propagation algorithm. Our novel depth edge enhancement method ef ...
146
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
It was recently shown that complex cepstrum can be effectively used for glottal flow estimation by separating the causal and anticausal components of speech. In order to guarantee...