Yes, I have read those documents. What I'm wondering is that how it can support all these devices. I have experience programming with CUDA, so there should be some compilers that compile the OpenCL code into CUDA, if it is chosen?