Search Sciweavers | Sciweavers

11394 search results - page 155 / 2279

» Error-Correcting Data Structures

130

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

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

16 years 15 days ago

Download www.mit.edu

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

claim paper

Read More »

114

click to vote

WDAG
2007
Springer

76views Algorithms» more WDAG 2007»

Transaction Safe Nonblocking Data Structures

16 years 15 days ago

Download www.cs.rochester.edu

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

claim paper

Read More »

113

click to vote

CIG
2006
IEEE

187views Applied Computing» more CIG 2006»

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

16 years 13 days ago

Download www.ai.univ-paris8.fr

Tristan Cazenave

claim paper

Read More »

152

click to vote

FOCS
2006
IEEE

138views Theoretical Computer Science» more FOCS 2006»

Ramsey partitions and proximity data structures

16 years 13 days ago

Download www.cims.nyu.edu

Manor Mendel, Assaf Naor

claim paper

Read More »

146

click to vote

IPPS
2006
IEEE

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

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

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers