搜索结果: 1-2 共查到“工学 Producer”相关记录2条 . 查询时间(0.099 秒)
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 ...