16725 search results - page 2966 / 3345 » Engineering Software Correctness |
118
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Cross-module inter-procedural compiler optimization (IPO) and Feedback-Directed Optimization (FDO) are two important compiler techniques delivering solid performance gains. The co...
150
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the dif...
175
Voted
PASTE
2010
ACM
15 years 10 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
115
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
198
click to vote
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
The aggressive evolution of the semiconductor industry — smaller process geometries, higher densities, and greater chip complexity — has provided design engineers the means to...