作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
栅栏分析器生成反例以帮助MPI程序员诊断同步错误.然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断.提出了一种改进的反例生成方法.该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入.实验评估表明提出的方法比现有的技术更好地支持同步错误诊断.
推荐文章
基于ASP的CSP模型验证性质反例生成技术研究
通信顺序进程
回答集编程
支撑原因
反例在初中数学教学中的作用
初中数学教学
反例教学
作用
基于OBDD的SMC反例生成研究
有序二叉决策图
模型检测
计算树逻辑(CTL)
反例生成
反例在初中数学教学中的作用
初中数学
反例
具体运用
思考建议
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 静态栅栏分析中反例生成的改进
来源期刊 计算机工程与应用 学科 工学
关键词 栅栏 反例 消息传递接口 静态分析 错误诊断
年,卷(期) 2011,(11) 所属期刊栏目 博士论坛
研究方向 页码范围 23-25
页数 分类号 TP311
字数 3518字 语种 中文
DOI 10.3778/j.issn.1002-8331.2011.11.007
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王昭飞 国防科学技术大学计算机学院并行与分布处理国防科技重点实验室 2 14 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
栅栏
反例
消息传递接口
静态分析
错误诊断
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导