首页> 外文OA文献 >Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding ⋆

【2h】

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding ⋆

机译：通过冲突导向的延迟边界对具有原子性的GPU程序进行形式化分析⋆

页面导航

著录项
相似文献
相关主题

著录项

作者
Wei-fan Chiang; Ganesh Gopalakrishnan; Guodong Li; Zvonimir Rakamarić;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods [J] . Deng Hui*, Liu Hui, Guo Ying, Journal of software . 2015,第9期

机译：基于形式化方法的C程序内存分配漏洞分析与优化
2. Survey of using GPU CUDA programming model in medical image analysis [J] . T. Kalaiselvi, P. Sriramakrishnan, K. Somasundaram Informatics in Medicine Unlocked . 2017,第1期

机译：在医学图像分析中使用GPU CUDA编程模型的调查
3. Linear Performance-Breakdown Model: A Framework for GPU kernel programs performance analysis [J] . Chapa Martell Mario Alberto, Hiroyuki Sato International Journal of Networking and Computing . 2015,第1期

机译：线性性能下降模型：GPU内核程序性能分析的框架
4. Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding [C] . Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, International Symposium on NASA Formal Methods . 2013

机译：通过冲突定向延迟界限与原子的GPU计划正式分析
5. Practical symbolic execution analysis and methodology for GPU programs. [D] . Li, Peng. 2015

机译：适用于GPU程序的实用符号执行分析和方法。
6. GPUmotif: An Ultra-Fast and Energy-Efficient Motif Analysis Program Using Graphics Processing Units [O] . Pooya Zandevakili, Ming Hu, Zhaohui Qin 2009

机译：GPUmotif：使用图形处理单元的超快速节能型母题分析程序
7. Specification and verification of atomic operations in GPGPU programs [O] . Amighi, A., Darabi, Saeed, Blom, Stefan, 2015

机译：规范和验证GPGPU程序中的原子操作

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding ⋆

著录项

相似文献

相关主题

期刊订阅