Efficient Detection of Determinacy Races in Cilk Programs.

Mingdong Feng Charles E. Leiserson

Published in: SPAA (1997)

Keyphrases

automatic detection
false positives
object detection
databases
detection rate
detection algorithm
real world
real time
information technology
search algorithm
decision trees
detection method
knowledge base
computationally expensive
detection accuracy
detection scheme
automatic programming