11212 search results - page 222 / 2243 » Semi-persistent Data Structures |
141
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
A contention-sensitive data structure is a concurrent data structure in which the overhead introduced by locking is eliminated in the common cases, when there is no contention, or ...
152
click to vote
ISAAC
2007
Springer
16 years 19 days ago
2007
Springer
Checking value-sensitive data structures in sublinear space has been an open problem for over a decade. In this paper, we suggest a novel approach to solving it. We show that, in c...
168
click to vote
VMV
2001
15 years 7 months ago
2001
We present a novel approach to shape-based interpolation of gray-level volume data. In contrast to the segmentation-based techniques our method directly processes the scalar volum...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
170
Voted
DGO
2007
15 years 8 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...