Search Sciweavers | Sciweavers

11211 search results - page 168 / 2243

» Rank-Sensitive Data Structures

Voted

CIKM
2001
Springer

78views Information Technology» more CIKM 2001»

Structural Inference for Semistructured Data

15 years 7 months ago

Download www.cse.unsw.edu.au

Jason Sankey, Raymond K. Wong

claim paper

Read More »

100

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 7 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

Voted

ERSHOV
2001
Springer

83views Theoretical Computer Science» more ERSHOV 2001»

Equivalent Transformation by Safe Extension of Data Structures

15 years 7 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

Voted

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 7 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

119

Voted

SOFSEM
2001
Springer

108views Theoretical Computer Science» more SOFSEM 2001»

ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers