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

Search Results

Help

Item hits: (Results 31-40 of 193)

Items/Page:    Sort:
simulation of ingan/gan light-emitting diodes with patterned sapphire substrate [会议论文]
12th International Conference on Numerical Simulation of Optoelectronic Devices, NUSOD 2012, Shanghai, China, August 28, 2012 - August 31, 2012
Sheng Yang; Xia Chang Sheng; Simon Li Z.M.; Cheng Li Wen

 
基于PVS的数据库安全策略形式化分析方法 [会议论文]
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕

 
automatic search of truncated impossible differentials for word-oriented block ciphers [会议论文]
13th International Conference on Cryptology in India, INDOCRYPT 2012, Kolkata, India, December 9, 2012 - December 12, 2012
Wu Shengbao; Wang Mingsheng

 
applying time-memory-data trade-off to plaintext recovery attack [会议论文]
14th International Conference on Information and Communications Security, ICICS 2012, Hong Kong, China, October 29, 2012 - October 31, 2012
Li Zhenqi; Zhang Bin; Lu Yao; Zou Jing; Lin Dongdai

 
an efficient lazy smt solver for nonlinear numerical constraints [会议论文]
21st IEEE International WETICE Conference, WETICE 2012, Toulouse, France, June 25, 2012 - June 27, 2012
Ji Xiaohui; Ma Feifei

 
extending higher-order integral: an efficient unified algorithm of constructing integral distinguishers for block ciphers [会议论文]
10th International Conference on Applied Cryptography and Network Security, ACNS 2012, Singapore, Singapore, June 26, 2012 - June 29, 2012
Zhang Wentao; Su Bozhan; Wu Wenling; Feng Dengguo; Wu Chuankun

 
new observations on impossible differential cryptanalysis of reduced-round camellia [会议论文]
19th International Workshop on Fast Software Encryption, FSE 2012, Washington, DC, United states, March 19, 2012 - March 21, 2012
Liu Ya; Li Leibo; Gu Dawu; Wang Xiaoyun; Liu Zhiqiang; Chen Jiazhe; Li Wei

 
efficient simulation of grain burning surface regression [会议论文]
2012 International Conference on Intelligent System and Applied Material, GSAM 2012, Taiyuan, Shanxi, China, January 13, 2012 - January 15, 2012
Liu Youquan; Yin Kangxue; Bao Futing; Liu Yang; Wu Enhua

 
solving difficult sat problems by using obdds and greedy clique decomposition [会议论文]
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Xu Yanyan; Chen Wei; Su Kaile; Zhang Wenhui

 
physically based object withering simulation [会议论文]
Liu Youquan; Chen Yanyun; Wu Wen; Max Nelson; Wu Enhua

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 next

 

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