939 search results - page 9 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
MICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
ATVA
2009
Springer
14 years 2 months 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...
ECLIPSE
2006
ACM
14 years 1 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
SC
2003
ACM
14 years 22 days ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
SC
1995
ACM
13 years 11 months ago
1995
ACM
Abstract We discuss data production rates and their impact on the performance of scientific applications using parallel computers. On one hand, too high rates of data production c...