QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Performance Evaluation and Enhancement of Process-Based Parallel Loop Execution 期刊论文 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2017, 卷号: 45, 期号: 1, 页码: 185-198 作者:  Lu, Xingjing;  Chen, Long;  Li, Zhiyuan 收藏  |  浏览/下载：14/0  |  提交时间：2019/12/12 Parallel loop  Process-based execution  Thread-based execution  DOACROSS   基于锁信息的多线程软件原子性错误检测方法 期刊论文 计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94 王云飞; 刘剑; 马越 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 多线程软件  原子性错误  锁信息  模型检测  动态优化  Multi-threaded program  Atomicity violation  Lock information  Model checking  Dynamic optimisation   Fault Localization of Concurrency Bugs and Its Application in Web Security 会议论文 ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2014, PT II, 2014-01-01 作者:  Jiang, Zhenyuan 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 Concurrency Bug  Order Violation  Atomicity Violation   多线程二进制程序的原子性错误检测 学位论文 硕士, 北京: 中国科学院研究生院, 2012 李潇 收藏  |  浏览/下载：15/0  |  提交时间：2012/06/18 并发程序  原子性错误  模型检测  软件测试   Demand driven atomicity violation analysis with event slicing 期刊论文 International Journal of Advancements in Computing Technology, 2012, 卷号: 4, 页码: 52-60 作者:  Hu Y.;  Qin Z.;  Jiang H.;  Sun W. 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/18