Search Sciweavers | Sciweavers

11214 search results - page 159 / 2243

» Just-in-time data structures

click to vote

FTDCS
2004
IEEE

114views Distributed And Parallel Com...» more FTDCS 2004»

Scalable, Structured Data Placement over P2P Storage Utilities

14 years 2 months ago

Download www.hpl.hp.com

Zheng Zhang, Mallik Mahalingam, Zhichen Xu, Wentin...

claim paper

Read More »

click to vote

FLOPS
2006
Springer

168views Automated Reasoning» more FLOPS 2006»

Lock Free Data Structures Using STM in Haskell

14 years 2 months ago

Download research.microsoft.com

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...

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

133views Software Engineering» more FOSSACS 2006»

A Logic of Reachable Patterns in Linked Data-Structures

14 years 2 months ago

Download www.cs.tau.ac.il

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...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

95views Distributed And Parallel Com...» more IPPS 2000»

Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems

14 years 1 months ago