Search Sciweavers | Sciweavers

11211 search results - page 115 / 2243

» (Data) STRUCTURES

169

click to vote

APN
2007
Springer

141views Artificial Intelligence» more APN 2007»

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

16 years 1 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 »

152

click to vote

ICALP
2007
Springer

105views Programming Languages» more ICALP 2007»

A Framework for Dynamizing Succinct Data Structures

16 years 1 months ago

Download www.cs.duke.edu

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

claim paper

Read More »

137

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

Download www.mit.edu

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

claim paper

Read More »

119

click to vote

WDAG
2007
Springer

76views Algorithms» more WDAG 2007»

Transaction Safe Nonblocking Data Structures

16 years 1 months ago

Download www.cs.rochester.edu

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

claim paper

Read More »

119

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers