Formal Description and Optimization Based High - Performance Computing on CUDA | IEEE Conference Publication | IEEE Xplore