Search Sciweavers | Sciweavers

11214 search results - page 152 / 2243

» Just-in-time data structures

click to vote

PVM
2009
Springer

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

MPI at Exascale: Challenges for Data Structures and Algorithms

14 years 2 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

14 years 2 months ago

Download www.cse.unsw.edu.au

Jason Sankey, Raymond K. Wong

claim paper

Read More »

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

14 years 2 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

14 years 2 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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers