-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=线程序列的不确定 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
一种并发程序原子性错误的检测方法及工具被引量：2
《计算机应用与软件》2012年第11期92-94,100,共4页李潇 刘剑 易秋萍 
国家"核高基"重大科技专项(2010ZX01036-001-002-2);中国科学院知识创新工程重要方向性项目(KGCX2-YW-12)
原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列。为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MC...
关键词：多线程程序 原子性错误 线程序列的不确定 模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部