Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户：fdsa5218

【摘要】

：

GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the

【作者】

：

Koki Hamaya Satoshi Yamane

【机构】

：

GraduateSchoolofNaturalScienceandTechnology

【出处】

：

软件工程与应用(英文)

【发表日期】

：

2017年2期

【关键词】

：

GRAPHICS Processing Units GPU Bank CONFLICT SYMBOLIC EXECUTION Model CHECKING Gr

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic execution. Bank conflict is one of the bugs h

其他文献

论知识经济的人文价值

从知识价值革命到知识价值社会是一个漫长的过程.在知识经济时代,人们只有不断努力开掘知识经济的人文价值,才能更快、更好地迎接知识价值社会的到来.

期刊

知识价值革命知识价值社会知识经济人文价值人全面发展

基于人工智能的传感器技术教学探索

信息技术的发展深化了人工智能技术在教学中的应用。通过传感器智能教学平台融合专家系统、规划，以解决学生在学习中遇到的问题为出发点，探索了人工智能技术在传感器技术教学中

期刊

人工智能传感器智能教学平台智能化学习模式

高校实验室气瓶柜安全作用探讨

高校实验室涉及到的实验用气体种类众多,由于气瓶的不合理使用,可能产生诸多隐患,近年来我国高校发生了多起与气瓶使用混乱有关的灾害事故。而气瓶柜的合理使用是一种安全、

期刊

高校实验室气瓶柜安全作用实验室安全laboratory of colleges and universities gas cabinet safety

基于工科院校大学生创新能力培养的思考

培养时代需要的高素质创新型人才是高等教育的历史使命。工科院校对于大学生创新能力培养更具必要性和迫切性。高校要以科学发展观为指导,注重人才个性培养、完善创新品质、

期刊

创新能力创新训练教学改革innovation ability innovation training teaching reform

沈阳南运河带状公园环境空间分析

本文通过对游人在沈阳南运河带状公园活动的调查,分析了游园环境空间对人的心理感应及行为方式的影响。并提出了环境空间设计的建议。

期刊

公园环境心理行为空间分析

美妙的咏叹感恩的礼赞——论当代女诗人蓝蓝的创作特征

在新时期的诗歌浪潮中，蓝蓝是一位有影响的女诗人，她的作品以素朴、纯粹的情绪，简洁、舒展的句子，宁静、单纯的音响，向人们展示着淳朴真挚的内心世界，充满了爱与美的意趣。后期的创

期刊

蓝蓝诗歌意象自然感恩

Track-to-Track Association Technique in Radar Network in the Presence of Systematic Errors

The presence of systematic measuring errors complicates track-to-track association, spatially separates the tracks that correspond to the same true target, and

期刊

SystematicERRORSPhaseCorrelationTrack-to-TrackASSOCIATIONSENSORREGISTRATI

药物生物化学精品课程建设的探索与实践

精品课程建设是一项系统工程,建设精品课程的目的是提高教学质量和学生综合能力。药物生物化学是本校的校级精品课程,是生物制药专业和应用化学专业的核心课程。课程建设水平

期刊

药物生物化学精品课程教学改革medicinal biochemistry qualified course teaching reform

《大学语文》教学对培养“四有军人”的几点思考

“四有军人”正是强军兴军进程中我军官兵应当具备的政治信仰、核心能力、精神特质和道德情操。军队院校不仅应注重语文的工具性,还应该充分利用《大学语文》课程的人文性,全

期刊

军校大学语文四有军人

1947-1949年邢台市划分阶级及与之发动的群众运动研究

六十多年前,在中国共产党领导下,邢台市进行了一系列轰轰烈烈的群众运动。首先进行了阶级划分,划清了“剥削圈”与“被剥削圈”。然后以此为基础,中国共产党又带领民众进行了

学位

邢台阶级划分群运“左”倾纠偏

Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study

与本文相关的学术论文