Sciweavers

2 search results - page 1 / 1
» Finding performance bugs with the TNO HPF benchmark suite
Sort
View
CONCURRENCY
2002
60views more  CONCURRENCY 2002»
13 years 5 months ago
Finding performance bugs with the TNO HPF benchmark suite
Will Denissen, Henk J. Sips
VMCAI
2009
Springer
14 years 7 days ago
Finding Concurrency-Related Bugs Using Random Isolation
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Manda...