A Discrete-Time HOL Priority Queue with Multiple Traffic Classes.

Joris Walraevens Bart Steyaert Marc Moeneclaey Herwig Bruneel

Published in: ICN (1) (2005)

Keyphrases

priority queue
markov chain
real time
network traffic
neural network
optimal solution
data structure
dynamic programming
higher order
multistage
theorem proving
traffic congestion
markov processes
natural deduction