Login / Signup
Multicore acceleration of priority-based schedulers for concurrency bug detection.
Santosh Nagarakatte
Sebastian Burckhardt
Milo M. K. Martin
Madanlal Musuvathi
Published in:
PLDI (2012)
Keyphrases
</>
false positives
detection algorithm
automatic detection
detection accuracy
detection method
software systems
false alarms
database systems
anomaly detection
detection rate
detection scheme
data sets
source code
software projects
grid computing