Search Sciweavers | Sciweavers

12453 search results - page 226 / 2491

» Concurrent Data Structures

136

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 27 days ago

Download www.mit.edu

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

claim paper

Read More »

118

click to vote

WDAG
2007
Springer

76views Algorithms» more WDAG 2007»

Transaction Safe Nonblocking Data Structures

16 years 27 days ago

Download www.cs.rochester.edu

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

claim paper

Read More »

117

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 25 days ago

Download www.ai.univ-paris8.fr

Tristan Cazenave

claim paper

Read More »

161

click to vote

FOCS
2006
IEEE

138views Theoretical Computer Science» more FOCS 2006»

Ramsey partitions and proximity data structures

16 years 25 days ago

Download www.cims.nyu.edu

Manor Mendel, Assaf Naor

claim paper

Read More »

152

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 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers