MiGra: A Task Migration Algorithm for Reducing Temperature Gradient in Multiprocessor Systems on Chip | IEEE Conference Publication | IEEE Xplore