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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
Symbolic termination analysis of solvable loops [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin

 
Systemic threats to hypervisor non-control data [期刊论文]
IET INFORMATION SECURITY, 2013-01-01, 卷号: 7, 期号: 4, 页码: 349-354
Ding, Baozeng; He, Yeping; Wu, Yanjun; Yu, Jiageng

 
set-theoretic foundation of parametric polymorphism and subtyping [会议论文]
16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September
Castagna Giuseppe; Xu Zhiwu

 
qip = pspace [期刊论文]
JOURNAL OF THE ACM, 2011-01-01, 卷号: 58, 期号: 6, 页码: -
Jain Rahul; Ji Zhengfeng; Upadhyay Sarvagya; Watrous John

 
linear multi-secret sharing schemes based on multi-party computation [期刊论文]
FINITE FIELDS AND THEIR APPLICATIONS, 2006-01-01, 卷号: 12, 期号: 4, 页码: 704-713
Liu Mulan; Xiao Liangliang; Zhang Zhifang
  |  
 
linear multi-secret sharing schemes based on multi-party computation [期刊论文]
FINITE FIELDS AND THEIR APPLICATIONS, 2006-01-01, 卷号: 12, 期号: 4, 页码: 704-713
Liu Mulan; Xiao Liangliang; Zhang Zhifang
  |  
 
linear multi-secret sharing schemes based on multi-party computation [期刊论文]
FINITE FIELDS AND THEIR APPLICATIONS, 2006-01-01, 卷号: 12, 期号: 4, 页码: 704-713
Liu Mulan; Xiao Liangliang; Zhang Zhifang
  |  
 
optimization design of controller periods using evolution strategy [会议论文]
International Conference on Computational Intelligence and Security, Xian, PEOPLES R CHINA, DEC 15-19,
Jin H; Wang H; Wang HG; Dai GZ
  |  
 

1

 

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