The OpenCL Specification