Search Sciweavers | Sciweavers

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 »

144

click to vote

ICALP
2007
Springer

105views Programming Languages» more ICALP 2007»

A Framework for Dynamizing Succinct Data Structures

16 years 17 days ago

Download www.cs.duke.edu

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

claim paper

Read More »

130

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

Download www.mit.edu

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

claim paper

Read More »

114

click to vote

WDAG
2007
Springer

76views Algorithms» more WDAG 2007»

Transaction Safe Nonblocking Data Structures

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers