A Hoare logic for SIMT programs
A Hoare logic for SIMT programs
复制标题
SIMT 程序的霍尔逻辑
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Kensuke Kojima and Atsushi Igarashi
中科院分区：
文献类型：
--
作者：
Shinichi Nishizawa;Tohru Ishihara;Hidetoshi Onodera;高橋紀之，井原岳志，高橋篤司;Kensuke Kojima and Atsushi Igarashi
登录
查看更多内容
使用无干扰检查 SPMD 程序的等价性
影响因子：
0.8
作者：
S. Tripakis;C. Stergiou;Roberto Lublinerman
通讯作者：
Roberto Lublinerman
通过冲突导向延迟限制对具有原子的 GPU 程序进行形式化分析
DOI：
--
发表时间：
2013
期刊：
NASA Formal Methods
影响因子：
--
作者：
Wei;G. Gopalakrishnan;Guodong Li;Zvonimir Rakamaric
通讯作者：
Zvonimir Rakamaric
OpenCL 代码的符号测试
DOI：
--
发表时间：
2011
期刊：
Haifa Verification Conference
影响因子：
--
作者：
Peter Collingbourne;Cristian Cadar;P. Kelly
通讯作者：
P. Kelly
GPU内核程序参数化验证
DOI：
10.1109/ipdpsw.2012.302
发表时间：
2012
期刊：
2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum
影响因子：
--
作者：
Guodong Li;G. Gopalakrishnan
通讯作者：
G. Gopalakrishnan
DOI：
10.1145/1966445.1966475
发表时间：
2011-04
期刊：
--
影响因子：
--
作者：
Peter Collingbourne;Cristian Cadar;P. Kelly
通讯作者：
Peter Collingbourne;Cristian Cadar;P. Kelly