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

Search Results

Help

Item hits: (Results 31-40 of 80)

Items/Page:    Sort:
并发系统差分隐私的形式化验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-01
许丽丽
  |  
 
基于变更历史的软件演化分析及预测的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-10-01
石琳
  |  
 
情境感知移动应用服务可靠性分析关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-05-29
高楚舒
  |  
 
基于OpenCL的若干机器学习算法GPU实现及优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-28
王伟俨
  |  
 
基于模板的云应用部署引擎的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-27
姚思佳
  |  
 
基于不变式的混成系统分析、验证和设计方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2014-05-27
赵恒军
  |  
 
软件众包任务的定价模型与人员匹配方法研究及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-20
毛可
  |  
 
以用户为中心的移动信息服务门户系统设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-01
汪静甜
  |  
 
一种基于跨组织数据的软件估算方法与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-04-01
梁然
  |  
 
并发程序的自动分析与验证 [学位论文]
博士, 北京: 中国科学院大学, 2013-06-06
龙震岳
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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