Search Sciweavers | Sciweavers

11394 search results - page 155 / 2279

» Error-Correcting Data Structures

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

Download www.cs.rochester.edu

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

claim paper

Read More »

click to vote

CIG
2006
IEEE

187views Applied Computing» more CIG 2006»

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

15 years 9 months ago

Download www.ai.univ-paris8.fr

Tristan Cazenave

claim paper

Read More »

116

click to vote

FOCS
2006
IEEE

138views Theoretical Computer Science» more FOCS 2006»

Ramsey partitions and proximity data structures

15 years 9 months ago

Download www.cims.nyu.edu

Manor Mendel, Assaf Naor

claim paper

Read More »

106

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers