A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm | IEEE Journals & Magazine | IEEE Xplore