|
已选(0)清除
条数/页： 排序方式：
|
| 多线程程序死锁的动态预测方法研究 学位论文
硕士, 北京: 中国科学院研究生院, 2020
作者: 孟瑞杰
  收藏 | 浏览/下载：23/0 | 提交时间：2020/06/17
|
| 多线程程序的约束建模与自动测试方法研究 学位论文
2018
作者: 张晓东
收藏 | 浏览/下载：3/0 | 提交时间：2019/11/26
|
| 多线程并行程序数据竞争静态检测方法 期刊论文
计算机工程与设计, 2017, 卷号: 38, 页码: 1264-1272
作者: 陈俊; 周宽久; 贾敏
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/02
|
| 基于符号分析的多线程程序动态污点分析方法研究与实现 学位论文
2017
作者: 刘沛
收藏 | 浏览/下载：4/0 | 提交时间：2019/11/26
|
| 基于逐步细化快照序列的多核并行程序调试 期刊论文
计算机研究与发展, 2017, 卷号: 54, 页码: 821-831
作者: 王博弘; 刘轶; 张国振; 钱德沛
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30
|
| 基于约束求解的多线程程序数据流分析方法研究 学位论文
2016
作者: 樊浩涵
收藏 | 浏览/下载：2/0 | 提交时间：2019/11/26
|
| Linux下基于多线程的服务器程序设计研究 期刊论文
2016, 卷号: 0, 期号: 5, 页码: 106-107
作者: 王培民
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/09
|
| 面向多线程程序的确定性重演研究 学位论文
: 大连理工大学, 2016
作者: 王昭淼
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/09
|
| 基于约束求解的多线程程序正确性验证方法研究 学位论文
2015
作者: 俞乐晨
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/02
|
| 聊天系统的设计与实现 学位论文
: 大连理工大学, 2015
作者: 张龙
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/09
|
