3 search results - page 1 / 1 » Towards program optimization through automated analysis of n... |
108
click to vote
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
156
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
AAAI
2010
15 years 1 months ago
2010
In a previous paper, Liu argued for the importance of establishing a precise theoretical foundation for program debugging from first principles. In this paper, we present a first ...