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

Search Results

Help

Item hits: (Results 1-10 of 14)

Filters    
Items/Page:    Sort:
notes on factor prime factorizations for n-d polynomial matrices [期刊论文]
Multidimensional Systems and Signal Processing, 2010-01-01, 卷号: 21, 期号: 1, 页码: 87-97
Jinwang Liu; Wang Mingsheng
  |  
 
an intuitive formal proof for deadline driven scheduler [期刊论文]
Journal of Computer Science and Technology, 2008-01-01, 卷号: 16, 期号: 2, 页码: 146-158
Zhan Naijun
  |  
 
Novel Ω-protocols for NP [期刊论文]
Science in China Series F: Information Sciences, 2008-01-01, 卷号: 51, 期号: 1, 页码: 40-52
Yi Deng; Lin Dongdai
  |  
 
constructing parallel long-message signcryption scheme from trapdoor permutation [期刊论文]
Science in China Series F: Information Sciences, 2007-01-01, 卷号: 50, 期号: 1, 页码: 82-98
ZhenYu Hu; DongDai Lin; Wu Wenling; DengGuo Feng
  |  
 
a formal model for integrity protection based on dte technique [期刊论文]
Science in China Series F: Information Sciences, 2006-01-01, 卷号: 49, 期号: 5, 页码: 545-565
Qingguang Ji; Sihan Qing; He Yeping
  |  
 
generalized fourier transform on an arbitrary triangular domain [期刊论文]
Advances in Computational Mathematics, 2005-01-01, 卷号: 22, 期号: 3, 页码: 223-248
Jiachang Sun; Li Huiyuan
  |  
 
a new formal model for privilege control with supporting posix capability mechanism [期刊论文]
Science in China Series F: Information Sciences, 2005-01-01, 卷号: 48, 期号: 1, 页码: 46-66
Qingguang Ji; Sihan Qing; He Yeping
  |  
 
towards a theory of bisimulation for the higher-order process calculi [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 3, 页码: 352-363
Li Yongjian; Xin-Xin Liu
  |  
 
linear algorithm for lexicographic enumeration of cfg parse trees [期刊论文]
Science in China Series F: Information Sciences, 2004-01-01, 卷号: 52, 期号: 7, 页码: 1177-1202
Dong Yunmei
  |  
 
Teracluster LSSC-II—Its designing principles and applications in large scale numerical simulations [期刊论文]
Science in China Series A: Mathematics, 2004-01-01, 卷号: 47, 期号: 0, 页码: 53-68
Linbo Zhang; Shiyi Chen; Xinliang Li; Cao Jianwen; Wensheng Zhang; Xingao Gong
  |  
 

1 2 next

 

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