Dynamic race prediction in linear time.

Dileep Kini Umang Mathur Mahesh Viswanathan

Published in: PLDI (2017)

Keyphrases

prediction accuracy
dynamic environments
prediction algorithm
prediction model
real world
genetic algorithm
decision making
image segmentation
three dimensional
digital libraries
expert systems
np hard
worst case
image quality
dynamically changing