A simple proof technique for priority-scheduled systems.

James H. Anderson Mark Moir Srikanth Ramamurthy

Published in: Inf. Process. Lett. (2001)

Keyphrases

scheduling problem
computer systems
artificial neural networks
complex systems
real time
information systems
distributed systems
learning systems