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

Search Results

Help

Item hits: (Results 41-50 of 76)

Items/Page:    Sort:
高可用虚拟机池化管理框架的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
罗涛
  |  
 
时间自动机模型检测具体反例的生成与图形化显示 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
信贤卫
  |  
 
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-27
高杨
  |  
 
面向Web应用的软件部署关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-27
陈伟
  |  
 
VANET发布订阅系统中数据传递的优化技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-27
张扶桑
  |  
 
Web 应用在线故障诊断框架的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-11-01
周晓炜
  |  
 
数学性质局部检测与网络计算的局部性原理 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
潘祎诚
  |  
 
多线程二进制程序的原子性错误检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
李潇
  |  
 
信息无损数据转换的模型、测试和判定问题研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
郑黎晓
  |  
 
XSM的静态分析和验证技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
邓程
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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