699 search results - page 2 / 140 » Computation of Interprocedural Control Dependence |
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
SC
2003
ACM
13 years 10 months 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...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
The low cost of clusters built using commodity components has made it possible for many more users to purchase their own supercomputer. However, even modest-sized clusters make si...
CC
2012
Springer
12 years 1 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
WOMPAT
2004
Springer
13 years 10 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...