11219 search results - page 75 / 2244 » Retroactive data structures |
116
click to vote
CC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
102
click to vote
WADS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We develop succinct data structures to represent (i) a sequence of values to support partial sum and select queries and update (changing values) and (ii) a dynamic array ...
126
click to vote
DAM
2010
15 years 1 months ago
2010
We consider the problem of sorting a permutation using a network of data structures as introduced by Knuth and Tarjan. In general the model as considered previously was restricted...
108
click to vote
TBILLC
2005
Springer
15 years 8 months ago
2005
Springer
The present paper presents the structure of a cross-linguistic database of production data. The database contains annotated texts collected from a sample of fifteen different langu...
110
click to vote
PCI
2005
Springer
15 years 8 months ago
2005
Springer
Structured peer-to-peer overlay networks or Distributed Hash Tables (DHTs) are distributed systems optimized for storage and retrieval of read-only data. In this paper we elaborate...