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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
A Fault-Tolerant Scheduling Algorithm using Hybrid Overloading Technology for Dynamic Grouping based Multiprocessor Systems [期刊论文]
International Journal of Computer, Comunication and Control, 2012-06-01, 卷号: 7, 期号: 5, 页码: 990-999
Yu XB(喻兴标),Zhao JS(赵军锁),Zheng CW(郑昌文),Hu XH(胡晓惠)
  |  
 
可解映射在程序与系统验证中的应用 [学位论文]
博士后, 北京: 中国科学院研究生院, 2012-06-01
徐鸣
  |  
 
虚拟化环境下Flask体系结构安全增强技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-06-01
姚福峰
  |  
 
基于Java Web的分布式数据库访问与海量数据分析研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-06-01
张卫星
  |  
 
基于变迁集语义的Petri网行为分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
王云河
  |  
 
时序逻辑博弈问题的必胜策略检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-06-01
梁虹
  |  
 
命题动态逻辑及其递归扩展 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
薛冰天
  |  
 

1

 

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