1711 search results - page 118 / 343 » Completing pseudojump operators |
FAST
2009
13 years 5 months ago
2009
The Smoke and Mirrors File System (SMFS) mirrors files at geographically remote datacenter locations with negligible impact on file system performance at the primary site, and min...
CRYPTO
2010
Springer
13 years 4 months ago
2010
Springer
We present a general method to compile any cryptographic algorithm into one which resists side channel attacks of the only computation leaks information variety for an unbounded nu...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
PAMI
2011
13 years 3 months ago
2011
— This paper examines large partial occlusions in an image, which occur near depth discontinuities when the foreground object is severely out of focus. We model these partial occ...