Sound deadlock prediction.

Christian Gram Kalhauge Jens Palsberg

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

prediction accuracy
prediction error
high prediction accuracy
prediction algorithm
real world
similarity measure
information retrieval
feature extraction
computational complexity
multiresolution