Search Sciweavers | Sciweavers

11394 search results - page 155 / 2279

» Error-Correcting Data Structures

108

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

15 years 10 months ago

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

click to vote

WDAG
2007
Springer

76views Algorithms» more WDAG 2007»

Transaction Safe Nonblocking Data Structures

15 years 10 months ago

Download www.cs.rochester.edu

Virendra J. Marathe, Michael F. Spear, Michael L. ...

claim paper

Read More »

Voted

CIG
2006
IEEE

187views Applied Computing» more CIG 2006»

Optimizations of data structures, heuristics and algorithms for path-finding on maps

15 years 10 months ago

Download www.ai.univ-paris8.fr

Tristan Cazenave

claim paper

Read More »

130

Voted

FOCS
2006
IEEE

138views Theoretical Computer Science» more FOCS 2006»

Ramsey partitions and proximity data structures

15 years 10 months ago

Download www.cims.nyu.edu

Manor Mendel, Assaf Naor

claim paper

Read More »

120

Voted

IPPS
2006
IEEE

97views Distributed And Parallel Com...» more IPPS 2006»

Evaluating I/O characteristics and methods for storing structured scientific data

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers