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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA [期刊论文]
LOGICAL METHODS IN COMPUTER SCIENCE, 2013-01-01, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming

 
an efficient leakage characterization method for profiled power analysis attacks [会议论文]
14th International Conference on Information Security and Cryptology, ICISC 2011, Seoul, Korea, Republic of, November 30, 2011 - December 2, 2011
Zhang Hailong; Zhou Yongbin; Feng Dengguo

 
complete characterization of the ground-space structure of two-body frustration-free hamiltonians for qubits [期刊论文]
PHYSICAL REVIEW A, 2011-01-01, 卷号: 84, 期号: 4, 页码: -
Ji Zhengfeng; Wei Zhaohui; Zeng Bei

 
characterizations of locally testable linear- and affine-invariant families [会议论文]
17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14,
Li Angsheng; Pan Yicheng
  |  
 
how to characterize side-channel leakages more accurately? [会议论文]
7th International Conference on Information Security Practice and Experience, ISPEC 2011, Guangzhou, China, 30-May-20
Liu Jiye; Zhou Yongbin; Han Yang; Li Jiantang; Yang Shuguo; Feng Dengguo
  |  
 
topological dynamics characterization for leo satellite networks [期刊论文]
COMPUTER NETWORKS, 2007-01-01, 卷号: 51, 期号: 1, 页码: 43-53
Wang Junfeng; Li Lei; Zhou Mingtian
  |  
 

1

 

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