The Distribution of OpenCL Kernel Execution Across Multiple Devices