Intel Xeon Phi coprocessor high-performance programming. ([2013])