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