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

Search Results

Help

Item hits: (Results 31-40 of 77)

Items/Page:    Sort:
基于OpenCL的若干机器学习算法GPU实现及优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-28
王伟俨
  |  
 
基于模板的云应用部署引擎的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-27
姚思佳
  |  
 
基于不变式的混成系统分析、验证和设计方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2014-05-27
赵恒军
  |  
 
软件众包任务的定价模型与人员匹配方法研究及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-20
毛可
  |  
 
以用户为中心的移动信息服务门户系统设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-01
汪静甜
  |  
 
一种基于跨组织数据的软件估算方法与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-04-01
梁然
  |  
 
并发程序的自动分析与验证 [学位论文]
博士, 北京: 中国科学院大学, 2013-06-06
龙震岳
  |  
 
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
PaMC带参模型检测工具及其应用研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-30
周琰
  |  
 
XML处理语言的参数多态化 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-30
许智武
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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