170 search results - page 3 / 34 » Amortised Memory Analysis Using the Depth of Data Structures |
APLAS
2005
ACM
13 years 11 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
ICALP
2009
Springer
14 years 6 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
ECCV
2002
Springer
14 years 8 months ago
2002
Springer
Specular reflections present difficulties for many areas of computer vision such as stereo and segmentation. To separate specular and diffuse reflection components, previous approa...
EUROPAR
2004
Springer
13 years 11 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
ATVA
2009
Springer
14 years 25 days ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...