11212 search results - page 220 / 2243 » Semi-persistent Data Structures |
169
click to vote
WEBDB
2001
Springer
15 years 10 months ago
2001
Springer
Synthetically generated data has always been important for evaluating and understanding new ideas in database research. In this paper, we describe a data generator for generating ...
171
Voted
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
156
click to vote
SODA
2004
ACM
15 years 7 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...
190
click to vote
GRAPHICSINTERFACE
1997
15 years 7 months ago
1997
We present a system for incorporating multiple level of detail (LOD) models of 3D objects within a single hierarchical data structure. This system was designed for a scientific vi...
143
click to vote
CN
1998
15 years 6 months ago
1998
A library of functions for the creation, manipulation, and viewing of solid models was created for deployment on the World Wide Web. The core data structure was based on the halfe...