Detecting Race Conditions in Parallel Programs that Use Semaphores.

Philip N. Klein Robert H. B. Netzer Hsueh-I Lu

Published in: Algorithmica (2003)

Keyphrases

sufficient conditions
parallel processing
automatic detection
high level programming language
data sets
parallel implementation
massively parallel
neural network
computer vision
data mining
parallel computing
programming environment