A modified HOL priority scheduling discipline: Performance analysis.

Tom Maertens Joris Walraevens Herwig Bruneel

Published in: Eur. J. Oper. Res. (2007)

Keyphrases

priority scheduling
information systems
higher order logic
computer science
single server
natural deduction
theorem prover
neural network
higher order
random walk