已选(0)清除
条数/页: 排序方式:
|
| Java内存模型的动静态结合验证方法 学位论文 硕士, 北京: 中国科学院研究生院, 2018 作者: 李亮
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:18/0  |  提交时间:2018/06/28
|
| 并发数据结构的归约和验证 学位论文 博士, 北京: 中国科学院研究生院, 2016 王超
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:14/0  |  提交时间:2016/06/01
|
| 软件逐步精化及并发程序精化验证 学位论文 : 上海大学, 2016 作者: 李壮[1]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/04/26
|
| 分区内存体系结构片选指令优化方法 期刊论文 计算机工程与科学, 2016, 卷号: 38, 期号: 2 作者: 陈勇; 袁梦霆; 李清安
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| Java内存模型的动态验证 学位论文 硕士, 北京: 中国科学院研究生院, 2015 赵晓凯
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2015/06/29
|
| 一种基于V3模型的内存数据库性能分析研究 期刊论文 计算机技术与发展, 2015, 期号: [db:dc_citation_issue], 页码: 77-83 作者: 王寅峰; 王龙翔
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/02
|
| 高性能计算在高光谱遥感数据处理中的应用研究 学位论文 2013 作者: 罗耀华
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/04
|
| Godson-T缓存一致性协议的Murphi建模和验证 期刊论文 计算机系统应用, 2013, 期号: 10, 页码: 124-128 周琰
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:10/0  |  提交时间:2014/12/16
|
| 基于类型系统的程序验证方法研究 学位论文 2013 作者: 吴伟
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| Linux系统内存碎片最小化研究 学位论文 2013 作者: 何小东
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/09
|