QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于锁信息的多线程软件原子性错误检测方法 期刊论文 计算机应用与软件, 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