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

Search Results

Help

Item hits: (Results 1-10 of 41)

Items/Page:    Sort:
Java内存模型的动静态结合验证方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-16
李亮
  |  
 
并发数据结构的归约和验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-17
王超
  |  
 
面向Cache-Aside模式的内存数据网格关键技术的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-01
江勇
  |  
 
用于内存安全监测的轻量虚拟机监控代理设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-27
马乐乐
  |  
 
面向内存数据网格系统的资源管理关键技术优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-25
刘朝辉
  |  
 
分布式图计算内存缓存的优化方法与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
魏兰
  |  
 
Java内存模型的动态验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
赵晓凯
  |  
 
使用缓存的分布式迭代应用编程框架研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-11-21
连文波
  |  
 
使用缓存的分布式迭代应用编程框架研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-11-21
连文波
  |  
 
面向内存数据网格的数据管理关键技术优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-27
王彦士
  |  
 

1 2 3 4 5 next

 

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