搜索结果: 1-1 共查到“计算机科学技术基础学科 synchronization”相关记录1条 . 查询时间(0.057 秒)
Verification of Producer-Consumer Synchronization in GPU Programs
Verification GPUs data races synchronization deadlock barrier recycling
2016/5/24
Previous efforts to formally verify code written for GPUs have focused solely on kernels written within the traditional data-parallel GPU programming model. No previous work has considered the higher ...