32545 search results - page 18 / 6509 » Data Structures and Algorithms |
129
click to vote
ESCAPE
2007
Springer
15 years 8 months ago
2007
Springer
We present deterministic sub-linear space algorithms for a number of problems over update data streams, including, estimating frequencies of items and ranges, finding approximate ...
116
Voted
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
109
Voted
PPL
2008
15 years 2 months ago
2008
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...
117
Voted
FPLE
1995
15 years 6 months ago
1995
In this paper, we make a proposal for a second year course on advanced programming, based on the functional paradigm. It assumes the existence of a first course on programming, al...
106
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...