940 search results - page 110 / 188 » Local rely-guarantee reasoning |
112
Voted
EUROSYS
2011
ACM
14 years 4 months ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...
137
Voted
3DIM
2011
IEEE
14 years 23 days ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...
178
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Depth ordering is instrumental for understanding the 3D geometry of an image. We as humans are surprisingly good ordering even with abstract 2D line drawings. In this paper we pro...
145
Voted
HPDC
2012
IEEE
13 years 3 months ago
2012
IEEE
Hadoop has become a critical component in today’s cloud environment. Ensuring good performance for Hadoop is paramount for the wide-range of applications built on top of it. In ...
88
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Most algorithms for real-time tracking of deformable shapes provide sub-optimal solutions for a suitable energy minimization task: The search space is typically considered too lar...