1411 search results - page 80 / 283 » A Value Analysis for C Programs |
200
click to vote
CC
2012
Springer
13 years 12 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
112
click to vote
ICGA
2007
15 years 4 months ago
2007
The phenomenon of diminishing returns for additional search effort has been observed by several researchers. We study experimentally additional factors which influence the behavio...
132
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
139
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
166
Voted
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...