Search Sciweavers | Sciweavers

11213 search results - page 169 / 2243

» Low-contention data structures

click to vote

SPAA
2010
ACM

102views Distributed And Parallel Com...» more SPAA 2010»

Low-contention data structures

15 years 9 months ago

Download cs-www.cs.yale.edu

James Aspnes, David Eisenstat, Yitong Yin

claim paper

Read More »

144

click to vote

PVM
2009
Springer

196views Distributed And Parallel Com...» more PVM 2009»

MPI at Exascale: Challenges for Data Structures and Algorithms

15 years 8 months ago

Download www.cs.uiuc.edu

William Gropp

claim paper

Read More »

click to vote

CIKM
2001
Springer

78views Information Technology» more CIKM 2001»

Structural Inference for Semistructured Data

15 years 8 months ago

Download www.cse.unsw.edu.au

Jason Sankey, Raymond K. Wong

claim paper

Read More »

114

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 8 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

100

click to vote

ERSHOV
2001
Springer

83views Theoretical Computer Science» more ERSHOV 2001»

Equivalent Transformation by Safe Extension of Data Structures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers