Search Sciweavers | Sciweavers

11394 search results - page 168 / 2279

» Self-Organizing Data Structures

140

Voted

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 »

112

Voted

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 »

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

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers