612 search results - page 67 / 123 » Using Static Analysis to Improve Automatic Test Generation |
109
click to vote
CGO
2008
IEEE
15 years 6 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
102
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
110
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
124
click to vote
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
Recommender Systems, based on collaborative filtering (CF), aim to accurately predict user tastes, by minimising the mean error achieved on hidden test sets of user ratings, afte...
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...