中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 45)

Items/Page:    Sort:
面向大规模容器化部署的镜像加载优化机制设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-06-01
张越
  |  
 
基于不变量查找的协议验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-28
曹燊
  |  
 
面向内存数据网格系统的资源管理关键技术优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-25
刘朝辉
  |  
 
分布式图计算内存缓存的优化方法与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
魏兰
  |  
 
使用缓存的分布式迭代应用编程框架研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-11-21
连文波
  |  
 
使用缓存的分布式迭代应用编程框架研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-11-21
连文波
  |  
 
面向PaaS的分布式缓存服务关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-11-01
秦秀磊
  |  
 
PaMC带参模型检测工具及其应用研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-30
周琰
  |  
 
Godson-T缓存一致性协议的Murphi建模和验证 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 10, 页码: 124-128
周琰

 
支持透明集成的数据缓存机制 [会议论文]
第十二届全国软件与应用学术会议(NASAC2012), 天津, 2013
王彦士; 王伟; 刘朝辉; 魏峻; 黄涛

 

1 2 3 4 5 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace