Search Sciweavers | Sciweavers

11394 search results - page 164 / 2279

» Self-Organizing Data Structures

122

click to vote

APN
2007
Springer

141views Artificial Intelligence» more APN 2007»

Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool

15 years 10 months ago

Download www.cecs.uci.edu

Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an eas...

Ivan Poliakov, Danil Sokolov, Andrey Mokhov

claim paper

Read More »

114

click to vote

ICALP
2007
Springer

105views Programming Languages» more ICALP 2007»

A Framework for Dynamizing Succinct Data Structures

15 years 10 months ago

Download www.cs.duke.edu

Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...

claim paper

Read More »

102

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 »

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers