Sciweavers

11213 search results - page 176 / 2243
» Low-contention data structures
Sort
View
CPM
2006
Springer
115views Combinatorics» more  CPM 2006»
15 years 8 months ago
Statistical Encoding of Succinct Data Structures
Rodrigo González, Gonzalo Navarro
FTDCS
2004
IEEE
15 years 8 months ago
Scalable, Structured Data Placement over P2P Storage Utilities
Zheng Zhang, Mallik Mahalingam, Zhichen Xu, Wentin...
FLOPS
2006
Springer
15 years 8 months ago
Lock Free Data Structures Using STM in Haskell
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
Anthony Discolo, Tim Harris, Simon Marlow, Simon L...
FOSSACS
2006
Springer
15 years 8 months ago
A Logic of Reachable Patterns in Linked Data-Structures
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sag...