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

Search Results

Help

Item hits: (Results 1-10 of 40)

Filters    
Items/Page:    Sort:
assumption generation for asynchronous systems by abstraction refinement [会议论文]
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu

 
pyxis: an active replication approach for enhancing social media services [会议论文]
8th International Conference on Active Media Technology, AMT 2012, Macau, China, December 4, 2012 - December 7, 2012
Li Sen; Jin Beihong; Yang Yuwei; Fang Wenjing

 
a concurrent temporal programming model with atomic blocks [会议论文]
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12, 2012 - November 16, 2012
Yang Xiaoxiao; Zhang Yu; Fu Ming; Feng Xinyu

 
back propagation neural network based leakage characterization for practical security analysis of cryptographic implementations [会议论文]
14th International Conference on Information Security and Cryptology, ICISC 2011, Seoul, Korea, Republic of, November 30, 2011 - December 2, 2011
Yang Shuguo; Zhou Yongbin; Liu Jiye; Chen Danyang

 
attacking the dimensionality problem of parameterized systems via bounded reachability graphs [会议论文]
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Yang Qiusong; Zhang Bei; Zhai Jian; Li Mingshu

 
a map-layer-based access control model [会议论文]
12th International Workshop on Information Security Applications, WISA 2011, Jeju Island, Korea, Republic of, August 22, 2011 - August 24, 2011
Zhang Yingjun; Zhang Yang; Chen Kai

 
a way of key management in cloud storage based on trusted computing [会议论文]
8th IFIP International Conference on Network and Parallel Computing, NPC 2011, Changsha, China, October 21
Yang Xin; Shen Qingni; Yang Yahui; Qing Sihan

 
physically-based tree animation and leaf deformation using cuda in real-time [会议论文]
Yang Meng; Huang M.-C.; Wu En-Hua

 
depsim: a dependency-based malware similarity comparison system [会议论文]
6th China International Conference on Information Security and Cryptology, Inscrypt 2010, Shanghai, China, 20-Oct
Yi Yang; Lingyun Ying; Rui Wang; Purui Su; Dengguo Feng
  |  
 
scalability studies of an implicit shallow water solver for the rossby-haurwitz problem [会议论文]
9th International Conference on High Performance Computing for Computational Science, VECPAR 2010, Berkeley, CA, United states, 22-Jun-02
Yang Chao; Cai Xiao-Chuan
  |  
 

1 2 3 4 next

 

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