论文部分内容阅读
栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入。实验评估表明提出的方法比现有的技术更好地支持同步错误诊断。
静态栅栏分析中反例生成的改进
【摘 要】
：
栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式
【机 构】
：
国防科学技术大学计算机学院并行与分布处理国防科技重点实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2011年11期
【基金项目】
：
国家自然科学基金项目软件工程学No.60725206
其他文献
目的研究丹参破壁饮片、丹参常规饮片及丹参传统粉末对小鼠肠道菌群的影响。方法 C57BL/6小鼠50只,随机分为5组,分别为空白组、常规饮片组、低剂量破壁饮片组、高剂量破壁饮
流行性感冒（流感）是由流感病毒引起的人和动物的传染病，可导致呼吸系统、消化系统甚至全身性疾病，威胁人类健康。流感病毒是正粘病毒科的代表种，人流感病毒分为甲（A）、乙（B）、丙（C）3型，是
结合行业实际和在建"林业综合发展项目(IFDP)"的特点,对中央打捆实施的国际金融组织贷款营林项目实施了绩效评价,项目评价得分92.12分,综合评价等级为"实施顺利"。评价总结了
提出了状态空间双线性系统的极大似然辨识方法。得到了以输入-输出序列为条件概率的似然函数解析表达式,推导了极大化似然函数的参数矩阵计算公式,给出适用于双线性系统状态
给出一个折衷考虑风险最小化和收益最大化的单目标决策方法,以单位风险收益最大化为决策目标建立了投资组合的非线性分式规划模型,考虑到分式规划问题的求解难度,利用遗传算