机构

• 软件研究所 [15]
• 地理科学与资源研究所 [1]
• 遥感与数字地球研究所 [1]
• 自动化研究所 [1]

采集方式

• OAI收割 [18]

内容类型

• 学位论文 [11]
• 期刊论文 [7]

发表日期

• 2016 [1]
• 2012 [2]
• 2009 [1]
• 2008 [3]
• 2006 [2]
• 2005 [1]
• 更多

学科主题

• 计算机软件::软件理... [3]
• 计算机应用 [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 更多

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 并发数据结构的归约和验证 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2016 王超   |  收藏  |  浏览/下载：22/0  |  提交时间：2016/06/01 多核  并发数据结构  可线性化  内存模型  可判定性  量化松散框架  等价刻画  数据独立   多线程二进制程序的原子性错误检测 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2012 李潇   |  收藏  |  浏览/下载：20/0  |  提交时间：2012/06/18 并发程序  原子性错误  模型检测  软件测试   认知无线电通信控制系统并发属性验证 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2012 范林林   |  收藏  |  浏览/下载：14/0  |  提交时间：2012/05/31 并发系统  形式化验证  模型检测  SPIN   带参并发系统的模型检测 学位论文  OAI收割 硕士, 中科院软件所: 中科院研究生院, 2009 -   |  收藏  |  浏览/下载：23/0  |  提交时间：2009/06/11 带参并发系统，模型检测，缓存一致性协议，数据独立，环境抽象，参数抽象，状态聚类   基于WorkManager的Web应用服务器并发运行环境的设计与实现 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 张磊   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/03/17 Web应用服务器  Work Manager  并发运行环境  并发编程模型  日历队列  TPC-W   零知识论证系统：可重置性与并发性 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 邓燚 收藏  |  浏览/下载：29/0  |  提交时间：2011/03/17 零知识  双重可重置性  纯公钥模型  并发零知识  在线知识提取器   纯公钥模型下对NP语言的高效并发零知识证明系统 期刊论文  OAI收割 软件学报, 2008, 卷号: 19, 期号: 2, 页码: 468-478 邓燚; 林东岱   |  收藏  |  浏览/下载：21/0  |  提交时间：2010/08/19 并发零知识  纯公钥模型  知识的证明  concurrentzeroknowledge  barepublic-keymodel  proofofknowledge concurrent zero knowledge  bare public-key model  proof of knowledge   软件过程柔性运作的研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 田勇 收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17 软件过程  过程模型  柔性运作  事务  并发控制  动态变更  以过程为中心的软件工程环境   J2EE平台的扩展事务模型支持框架 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: 7, 页码: 1273-1279 张昕; 丁晓宁; 金蓓弘; 李京   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/07/27 扩展事务模型  J2EE  事务原语  并发控制   实体Bean容器管理持久化研究与实现 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 4, 页码: 173-177 胡建华; 官荷卿; 陈宁江   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/28 实体Bean  容器管理持久化  实体Bean容器  J2EE应用服务器  容器管理持久化  管理器  响应客户请求  访问控制机制  应用服务器  关系数据库  应用组件  自主研制  运行环境  映射模型  实现方法  容器并发  灵活高效  动态模型  存储介质  保存状态  中科院  特性  软件  理论