561 search results - page 70 / 113 » Alias Analysis of Executable Code |
127
click to vote
SIGSOFT
2008
ACM
16 years 17 days ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
102
click to vote
PLDI
1990
ACM
15 years 3 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
HPCN
1997
Springer
15 years 4 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
SAS
1997
Springer
15 years 3 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...