VirtualClock with Priority Buffer: a resource sharing algorithm | IEEE Conference Publication | IEEE Xplore