Search Sciweavers | Sciweavers

11214 search results - page 148 / 2243

» Just-in-time data structures

click to vote

APN
2007
Springer

141views Artificial Intelligence» more APN 2007»

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

14 years 4 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 »

click to vote

ICALP
2007
Springer

105views Programming Languages» more ICALP 2007»

A Framework for Dynamizing Succinct Data Structures

14 years 4 months ago

Download www.cs.duke.edu

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

claim paper

Read More »

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

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

14 years 4 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

14 years 4 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

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers