An OpenCL runtime system for a heterogeneous many-core virtual platform | IEEE Conference Publication | IEEE Xplore