Prediction-Based Micro-Scheduler: Toward Responsive Scheduling of General-Purpose Operating Systems | IEEE Journals & Magazine | IEEE Xplore