2 search results - page 1 / 1 » Eliminating False Positives during Corner Finding by Merging... |
89
Voted
AAAI
2008
15 years 7 months ago
2008
135
Voted
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...