机构

• 软件研究所 [145]

采集方式

• OAI收割 [145]

内容类型

• 会议论文 [84]
• 期刊论文 [34]
• 学位论文 [27]

发表日期

• 2018 [1]
• 2016 [1]
• 2015 [1]
• 2014 [8]
• 2013 [13]
• 2012 [19]
• 更多

学科主题

• Computer S... [9]
• Computer S... [4]
• Engineerin... [3]
• 计算机应用::计算机... [2]
• Computer S... [1]
• Electrical... [1]
• 更多

筛选

浏览/检索结果: 共145条，第1-10条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 典型流式机器学习算法并行化设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2018 作者:  沈雯婷   |  收藏  |  浏览/下载：119/0  |  提交时间：2018/06/12 流式机器学习  增量学习  在线学习  流数据挖掘  并行化   基于ROS的服务机器人云端协同计算框架研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 张继鑫   |  收藏  |  浏览/下载：22/0  |  提交时间：2016/05/31 服务机器人  云机器人  机器人操作系统  面向服务的框架  机器人即服务模型   虚拟机跨数据中心动态迁移的内存去重技术研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2015 郑冕   |  收藏  |  浏览/下载：20/0  |  提交时间：2015/06/02 虚拟机  动态迁移  数据中心  数据去重  模板页面   Denial-of-service security attack in the continuous-time world 会议论文  OAI收割 34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014 Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 Hybrid systems  Denial-of-service  Safety verification  Inference system   A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文  OAI收割 Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174 Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)   |  收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Model checking  Linear temporal logic  Distributed memory algorithm  Formal method  Scalable algorithm  Reliable model checker   Hippo: An enhancement of pipeline-aware in-memory caching for HDFS 会议论文  OAI收割 2014 23rd International Conference on Computer Communication and Networks, ICCCN 2014, Shanghai, China, August 4, 2014 - August 7, 2014 Wei, Lan (1); Lian, Wenbo (1); Liu, Kuien (1); Wang, Yongji (1)   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 Cloud service platform for Julia programming on supercomputer 期刊论文  OAI收割 International Journal of Grid and Distributed Computing, 2014, 卷号: 7, 期号: 4, 页码: 177-186 Zhang, Changyou (1); Liu, Renfen (2); Duan, Shufeng (3); Zhu, Xiaomin (4); Liu, Wei (4)   |  收藏  |  浏览/下载：27/0  |  提交时间：2014/12/16 Web services composition: A decade's overview 期刊论文  OAI收割 Information Sciences, 2014, 卷号: 280, 页码: 218-238 Sheng, Quan Z. (1); Qiao, Xiaoqiang (2); Vasilakos, Athanasios V. (3); Szabo, Claudia (1); Bourne, Scott (1); Xu, Xiaofei (4)   |  收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Web services composition  Composition life cycle  Composition requirement  Service composition challenge   Metrics for differential privacy in concurrent systems 会议论文  OAI收割 34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014 Xu, Lili (1); Chatzikokolakis, Konstantinos (2); Lin, Huimin (4)   |  收藏  |  浏览/下载：8/0  |  提交时间：2014/12/16 分布式同步系统Zookeeper的优化 期刊论文  OAI收割 计算机工程, 2014, 卷号: 40, 期号: 4, 页码: 53-56 唐海东; 武延军   |  收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Zookeeper系统  分布式系统  成员选举  Hadoop系统  数据同步  Zookeeper system  distributed system  election of members  Hadoop system  data synchronization