16725 search results - page 2951 / 3345 » Engineering Software Correctness |
138
click to vote
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
Current simulation-sampling techniques construct accurate model state for each measurement by continuously warming large microarchitectural structures (e.g., caches and the branch...
123
click to vote
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
Commercial processors have support for Simultaneous Multithreading (SMT), yet little work has been done to provide representative simulation results for SMT. Given a workload, cur...
159
click to vote
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
Stride-based prefetching mechanisms exploit regular streams of memory accesses to hide memory latency. While these mechanisms are effective, they can be improved by studying the p...
146
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we introduce 13 program slicing metrics for C language programs. These metrics use program slice information to measure the size, complexity, coupling, and cohesion...
131
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...