Sound Dynamic Deadlock Prediction in Linear Time.

Hünkar Can Tunç Umang Mathur Andreas Pavlogiannis Mahesh Viswanathan

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

Keyphrases

prediction accuracy
dynamic environments
computer vision
database
learning algorithm
multiscale
lower bound
real time
neural network
information retrieval
decision making
image processing
mobile robot
worst case
prediction algorithm