Sciweavers

11394 search results - page 164 / 2279
» Self-Organizing Data Structures
Sort
View
APN
2007
Springer
15 years 10 months ago
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool
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
ICALP
2007
Springer
15 years 10 months ago
A Framework for Dynamizing Succinct Data Structures
Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...
VMCAI
2007
Springer
15 years 10 months ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
WDAG
2007
Springer
76views Algorithms» more  WDAG 2007»
15 years 10 months ago
Transaction Safe Nonblocking Data Structures
Virendra J. Marathe, Michael F. Spear, Michael L. ...