Racer: TSO consistency via race detection.

Alberto Ros Stefanos Kaxiras

Published in: MICRO (2016)

Keyphrases

automatic detection
detection algorithm
detection method
false positives
false alarms
detection rate
detection scheme
databases
detection accuracy
event detection
learning algorithm
object detection
digital images
image processing
information retrieval
data mining
target detection
neural network