12453 search results - page 120 / 2491 » Concurrent Data Structures |
134
click to vote
SCP
2010
15 years 11 days ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
111
click to vote
WEBDB
2001
Springer
15 years 6 months ago
2001
Springer
Synthetically generated data has always been important for evaluating and understanding new ideas in database research. In this paper, we describe a data generator for generating ...
101
click to vote
ISAAC
2007
Springer
15 years 8 months 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...
149
click to vote
WSS
2001
15 years 3 months ago
2001
Abstract. A data structure is stabilizing if, for any arbitrary (and possibly illegitimate) initial state, any sequence of sufficiently many operations brings the data structure to...
103
click to vote
SIGCSE
2005
ACM
15 years 7 months ago
2005
ACM
Red-black trees and leftist heaps are classic data structures that are commonly taught in Data Structures (CS2) and/or Algorithms (CS7) courses. This paper describes alternatives ...