|
已选(0)清除
条数/页： 排序方式：
|
| 多线程程序死锁的动态预测方法研究 学位论文
硕士, 北京: 中国科学院研究生院, 2020
作者: 孟瑞杰
  收藏 | 浏览/下载：23/0 | 提交时间：2020/06/17
|
| 多线程程序的约束建模与自动测试方法研究 学位论文
2018
作者: 张晓东
收藏 | 浏览/下载：3/0 | 提交时间：2019/11/26
|
| 基于约束求解的多线程程序数据流分析方法研究 学位论文
2016
作者: 樊浩涵
收藏 | 浏览/下载：2/0 | 提交时间：2019/11/26
|
| 多线程程序数据竞争检测与证据生成方法 期刊论文
计算机工程与科学, 2014, 期号: [db:dc_citation_issue], 页码: 2047-2053
作者: 张晓东; 郑庆华; 刘烃; 俞乐晨; 刘沛
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/02
|
| 多线程程序数据竞争检测与证据生成方法 期刊论文
2014, 卷号: 36, 页码: 2047-2053
作者: 张晓东; 郑庆华; 刘烃; 俞乐晨; 刘沛
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/20
|
| 基于Java内存模型的并发程序模型检测 期刊论文
计算机工程与科学, 2010, 卷号: 第3期, 页码: 111
作者: 周志远; 张大方; 缪力
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/05
|
| 一种java多线程可达性测试框架系统的研究和实现 学位论文
作者: 李双权
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/06
|
