Efficient Detection of Determinacy Races in Cilk Programs.

Mingdong Feng Charles E. Leiserson

Published in: Theory Comput. Syst. (1999)

Keyphrases

object detection
detection method
real world
web services
automatic detection
detection accuracy
data sets
bayesian networks
mobile robot
query optimization
cost effective
detection rate
automatic programming
malware detection