Fast, sound, and effectively complete dynamic race prediction.

Andreas Pavlogiannis

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

Keyphrases

prediction accuracy
dynamic environments
prediction model
prediction algorithm
prediction error
databases
information retrieval
genetic algorithm
multi agent systems
hidden markov models
medical images
high prediction accuracy