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

Search Results

Help

Item hits: (Results 21-30 of 40)

Items/Page:    Sort:
verifying the safety of xen security modules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Han Wei; He Yeping; Ding Liping
  |  
 
指令级的变量容错恢复 [期刊论文]
计算机工程, 2010-01-01, 卷号: 36, 期号: 5, 页码: 43-45
张锐; 彭启民; 赵军锁
  |  
 
VarBIFT:指令级的变量冗余容错检测技术 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 10, 页码: 2163-2165,2183
张显明; 张锐; 彭启民; 赵军锁
  |  
 
software redundancy design for a human-machine interface in railway vehicles [会议论文]
12th International Conference on Computer System Design and Operation in the Railways and other Transit Systems, COMPRAIL 2010, Beijing, China, August 31,
Zheng G.; Chen J.

 
design and implementation for sql parser based on antlr [会议论文]
2010 2nd International Conference on Computer Engineering and Technology, ICCET 2010, Chengdu, China, April 16,
Cao Danyang; Bai Donghui
  |  
 
component monitoring of osgi-based software [会议论文]
IEEE International Conference on E-Business Engineering, ICEBE 2010, Shanghai, China, 40848
Wang Tao; Zhou Xiaowei; Wei Jun; Zhang Wenbo; Zhu Xin
  |  
 
a mechanical approach for deriving algorithmic programs [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Xue Jinyun; Du Dawei
  |  
 
methodology for reliability evaluation of n-version programming software fault tolerance system [会议论文]
International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, 40878
Ping Guo; Xin Liu; Qian Yin
  |  
 
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
symbolic bisimulations for probabilistic systems [会议论文]
4th International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, United kingdom, September
Wu Peng; Palamidessi Catuscia; Lin Huimin
  |  
 

previous 1 2 3 4 next

 

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