An intuitive formal proof for deadline driven scheduler
From MaRDI portal
Publication:5945840
DOI10.1007/BF02950419zbMath0986.68009MaRDI QIDQ5945840
Publication date: 14 October 2001
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items
Cites Work