11219 search results - page 70 / 2244 » Retroactive data structures |
FSTTCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
100
click to vote
CCCG
2010
15 years 1 months ago
2010
We present a data structure for efficient axis-aligned orthogonal range search on a set of n lines in a bounded plane. The algorithm requires O(log n + k) time in the worst case t...
147
click to vote
BIOCOMP
2006
15 years 1 months ago
2006
Exploring gene regulatory network is a key topic in molecular biology. In this paper, we present a new dynamic Bayesian network (DBN) framework embedded with structural expectatio...
113
click to vote
SIGCOMM
2010
ACM
15 years 3 days ago
2010
ACM
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
INFORMATICALT
2002
14 years 11 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...