Modeling and analysis of task migration in shared-memory multiprocessor computer systems | IEEE Conference Publication | IEEE Xplore