On dynamic speculative thread partitioning and the MEM-slicing algorithm | IEEE Conference Publication | IEEE Xplore