Animation of Linux processor scheduling algorithm | IEEE Conference Publication | IEEE Xplore