Modeling bounds on migration overhead for a traveling thread architecture | IEEE Conference Publication | IEEE Xplore