11784 search results - page 331 / 2357 » Interpolation for data structures |
128
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
124
Voted
SODA
2004
ACM
15 years 6 months ago
2004
ACM
d Abstract] Robert Krauthgamer James R. Lee We present a simple deterministic data structure for maintaining a set S of points in a general metric space, while supporting proximit...
126
click to vote
JUCS
2008
15 years 4 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
160
click to vote
SODA
2010
ACM
15 years 3 months ago
2010
ACM
The partial sums problem in succinct data structures asks to preprocess an array A[1 . . n] of bits into a data structure using as close to n bits as possible, and answer queries ...
141
click to vote
DATE
1997
IEEE
15 years 9 months ago
1997
IEEE
A target structure for implementing fast edge-triggered control units is presented. In many cases, the proposed controller is faster than a one-hot encoded structure as its correc...