中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	RainbowD:一种异构云环境下高效的Docker镜像分发系统期刊论文 OAI收割计算机学报, 2020, 卷号: 43, 期号: 11, 页码: 2067 作者: 张浩; 孙毓忠; 肖立; 唐勇; 胡满满 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2024/05/20 Docker technology heterogeneous cloud environment images distribution high concurrency SSH protocol Docker技术异构云环境镜像分发高并发 SSH协议
	基于μClinux嵌入式系统并发技术的研究及应用期刊论文 OAI收割电子器件, 2005, 期号: 04, 页码: 906-909 张素莉; 吴平; 王遵立收藏 \| 浏览/下载：12/0 \| 提交时间：2013/03/11 μClinux 嵌入式操作系统并发技术车载通讯
	基于SPIN/Promela的并发系统验证期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/29 模型检测并发系统软件可靠性 SPIN/Promela 形式化验证并发系统逻辑一致性计算机科学安全性分析验证技术验证工具研究领域数据结构软件系统建模语言基本算法工作机理分析验证运用应用通道输出设计模型
	基于Mobile Agent技术的遗留系统再工程方法期刊论文 OAI收割软件学报, 2002, 卷号: 13, 期号: 12, 页码: 2343-2348 詹剑锋; 程虎 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 遗留系统再工程 agent技术 mobile agent 迁移软件体系结构技术遗留系统工程方法 Mobile Agent Technology 因特网环境再工程网络环境下远程用户目标系统计算软件并发访问单用户组件移动选择思想迁移交互建模单机
	关于地理信息系统的混合型与整体型模型的讨论期刊论文 OAI收割遥感信息, 1995, 期号: 3, 页码: 7-8+6 黄波，李蓉蓉收藏 \| 浏览/下载：27/0 \| 提交时间：2015/01/05 地理信息系统整体型图形处理黄波多媒体技术地球物理一致性维护并发控制结构化查询语言复杂数据类型
	分布式控制系统人机界面的研究学位论文 OAI收割工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1991 薄立收藏 \| 浏览/下载：30/0 \| 提交时间：2015/09/02 分布式控制系统人机界面软件环境与工具汉字信息处理实时并发程序设计组态实时图形技术软件容错技术
	硕士论文-基于2PL协议和Timestamp技术的并发控制算法TS2PL 学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 1991 作者: 刘清收藏 \| 浏览/下载：35/0 \| 提交时间：2015/10/12 Timestamp技术并发控制算法 TS2PL