Virtual partitioning by dynamic priorities: Fair and efficient resource-sharing by several services
2013 ◽
Vol 21
(2)
◽
pp. 119-135
◽