Checking and Spot-Checking the Correctness of Priority Queues.

Matthew Chu Sampath Kannan Andrew McGregor

Published in: ICALP (2007)

Keyphrases

neural network
consistency checking
real time
information systems
reinforcement learning
np complete
waiting times
processor sharing