中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 薛冰天 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In