Taming Deadlocks in Multithreaded Programs.

Yan Cai W. K. Chan Yuen-Tak Yu

Published in: QSIC (2013)

Keyphrases

computer programs
multi user
control structures
prolog programs
data sets
multiscale
information technology
evolutionary algorithm
open source
answer sets
fixpoint
control program