中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共12条，第1-10条 帮助

条数/页： 排序方式：
Java内存模型的动静态结合验证方法 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2018
作者:  李亮
  |  收藏  |  浏览/下载：21/0  |  提交时间：2018/06/28
并发数据结构的归约和验证 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2016
王超
  |  收藏  |  浏览/下载：20/0  |  提交时间：2016/06/01
Java内存模型的动态验证 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2015
赵晓凯
  |  收藏  |  浏览/下载：16/0  |  提交时间：2015/06/29
Godson-T缓存一致性协议的Murphi建模和验证 期刊论文  OAI收割
计算机系统应用, 2013, 期号: 10, 页码: 124-128
周琰
  |  收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
基于PCI总线的WDM驱动程序设计 期刊论文  OAI收割
核电子学与探测技术, 2008, 期号: 2, 页码: 321-324+329
作者:  邹湘;  吕军光;  周莉;  胡涛;  赵京伟
收藏  |  浏览/下载：12/0  |  提交时间：2015/12/21
结合搜索空间划分和抽象进行LTL模型检测 期刊论文  OAI收割
中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520
蒲飞; 张文辉
  |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/01
多Markov链预取模型在网络内存系统中的应用 期刊论文  OAI收割
计算机工程, 2007, 卷号: 33.0, 期号: 023, 页码: 105
作者:  袁清波;  孙国忠;  陈明宇
  |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04
基于PCI总线数据通信卡WDM驱动程序设计 期刊论文  OAI收割
计算机测量与控制, 2006, 期号: 2
作者:  耿爱辉;  郭立红
收藏  |  浏览/下载：22/0  |  提交时间：2012/09/25
中科SoC共享主存子系统性能的优化 期刊论文  OAI收割
计算机工程, 2006, 卷号: 32, 期号: 18, 页码: 243
作者:  程晓东;  潘杰;  张志敏
  |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04
外存模型简化中数据读取及内存分配的优化 期刊论文  OAI收割
计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 8, 页码: 1736-1743
王海洋; 蔡康颖; 王文成; 吴恩华
  |  收藏  |  浏览/下载：7/0  |  提交时间：2011/07/28