中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

限定条件            
已选(0)清除 条数/页：   排序方式：
一种场景敏感的高效错误检测方法 期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 003, 页码: 472
作者:  衷璐洁;  霍玮;  李龙;  李丰;  冯晓兵;  张兆庆
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
定值-引用错误  路径敏感错误检测  错误目标触发场景  场景敏感  程序分析  
动态容忍和检测非对称数据竞争 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 008, 页码: 1748
作者:  王文文;  武成岗;  Paruj Ratanaworabhan;  远翔;  王振江;  李建军;  冯晓兵
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
非对称数据竞争  容忍和检测  写缓冲区  页保护  动态二进制插桩  
基于进程投机并行的运行时系统设计与优化 期刊论文
计算机工程, 2014, 卷号: 40.0, 期号: 003, 页码: 99
作者:  刘雷;  李晶;  陈莉;  冯晓兵
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
软件投机并行  基于进程投机并行  运行时并行  委托正确性检查  并行任务划分