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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
Quantum search algorithm based on fuzzy problem [会议论文]
2013 3rd International Conference on Advanced Materials and Information Technology Processing, AMITP 2013, Los Angeles, CA, United states, October 1, 2013 - October 2, 2013
Zhuang, Jiayu (1); Zhao, Junsuo (1); Xu, Fanjiang (1); Zhan, Wenjun (1); Li, Dan (1); Zhang, Heng (1)

 
CCMC: A conditional CSL model checker for continuous-time Markov chains [会议论文]
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013
Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1)

 
model checking conditional csl for continuous-time markov chains [期刊论文]
Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun

 
a multi-cycle checkpointing protocol that ensures strict 1-rollback [期刊论文]
Information Processing Letters, 2012-01-01, 卷号: 112, 期号: 20, 页码: 788-793
Ci Yi-Wei; Zhang Zhan; Zuo De-Cheng; Wu Zhi-Bo; Yang Xiao-Zong
  |  
 
symbolic decision procedure for termination of linear programs [会议论文]
symbolic decision procedure for termination of linear programs, 北京, 2011
Xia Bican; Yang Lu; Zhan Naijun; Zhang Zhihai
  |  
 
security of the sms4 block cipher against differential cryptanalysis [期刊论文]
Journal of Computer Science and Technology, 2010-01-01, 卷号: 26, 期号: 1, 页码: 130-138
Su Bo-Zhan; Wu Wen-Ling; Zhang Wen-Tao
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
basic research in computer science and software engineering at sklcs [期刊论文]
Frontiers of Computer Science in China, 2008-01-01, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang

 
bump magnet of csrm [期刊论文]
Applied Superconductivity, IEEE Transactions on, 2006-01-01, 卷号: 16, 期号: 2, 页码: 1269-1270
Ma, L.Z.; Han, S.F.; Zhou, Z.Z.; Zhang, J.H.; He Yeping; Zhang, S.L.; Yuan, P.; Yuan, Y.J.; Xia, J.W.; Zhan, W.L.; Wei, B.W.
  |  
 

1

 

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