11213 search results - page 6 / 2243 » Low-contention data structures |
ICA
2012
Springer
12 years 5 months ago
2012
Springer
A novel tensor decomposition called pattern or P-decomposition is proposed to make it possible to identify replicating structures in complex data, such as textures and patterns in ...
INFORMATICALT
2002
13 years 9 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
SIAMCOMP
2012
12 years 6 days ago
2012
Let S be a set of n intervals in R, and let (S, +) be any commutative semigroup. We assign a weight ω(s) ∈ S to each interval in S. For a point x ∈ R, let S(x) ⊆ S be the se...
SIGCSE
2002
ACM
13 years 9 months ago
2002
ACM
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...
TCS
2002
13 years 9 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri