Search Sciweavers | Sciweavers

11991 search results - page 226 / 2399

» Data Structure Fusion

100

click to vote

SPAA
2010
ACM

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

Low-contention data structures

15 years 10 months ago

Download cs-www.cs.yale.edu

James Aspnes, David Eisenstat, Yitong Yin

claim paper

Read More »

157

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 10 months ago

Download www.cs.uiuc.edu

William Gropp

claim paper

Read More »

101

click to vote

CIKM
2001
Springer

78views Information Technology» more CIKM 2001»

Structural Inference for Semistructured Data

15 years 10 months ago

Download www.cse.unsw.edu.au

Jason Sankey, Raymond K. Wong

claim paper

Read More »

130

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 10 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

107

click to vote

ERSHOV
2001
Springer

83views Theoretical Computer Science» more ERSHOV 2001»

Equivalent Transformation by Safe Extension of Data Structures

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers