Search Sciweavers | Sciweavers

11394 search results - page 159 / 2279

» Error-Correcting Data Structures

141

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 11 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

120

click to vote

ERSHOV
2001
Springer

83views Theoretical Computer Science» more ERSHOV 2001»

Equivalent Transformation by Safe Extension of Data Structures

15 years 11 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

111

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

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

150

click to vote

SOFSEM
2001
Springer

108views Theoretical Computer Science» more SOFSEM 2001»

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

15 years 10 months ago

Download www.mat.uniroma2.it

Adriano Di Pasquale, Enrico Nardelli

claim paper

Read More »

133

click to vote

FOCS
2000
IEEE

82views Theoretical Computer Science» more FOCS 2000»

New Data Structures for Orthogonal Range Searching

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers