4722 search results - page 487 / 945 » Encoding Program Executions |
148
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...
127
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
144
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
139
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
172
click to vote
SC
2003
ACM
15 years 10 months ago
2003
ACM
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participa...