Sign in
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs.
Yan Cai
W. K. Chan
Published in:
IEEE Trans. Software Eng. (2014)
Keyphrases
</>
detection method
detection algorithm
automatic detection
detection rate
detection accuracy
false positives
detection scheme
web scale
object detection
case study
multimedia
false alarms
learning algorithm
static analysis
highly scalable
genetic algorithm
data mining