中国开放科研知识云: 检索

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	可线性化性错误的自动化定位与分析技术研究学位论文硕士, 北京: 中国科学院研究生院, 2016 陈旸收藏 \| 浏览/下载：6/0 \| 提交时间：2016/06/04 可线性化性并发细粒度历史错误定位
	并发数据结构的归约和验证学位论文博士, 北京: 中国科学院研究生院, 2016 王超收藏 \| 浏览/下载：10/0 \| 提交时间：2016/06/01 多核并发数据结构可线性化内存模型可判定性量化松散框架等价刻画数据独立

在结果中检索