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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
fast verification of memory consistency for chip multi-processor [会议论文]
2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011
Zheng Lv; Chen Hao; Chen Feng; Yi Lv

 
determinacy and rewriting of conjunctive queries over unary database schemas [会议论文]
26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, Taiwan, March 21,
Zheng Lixiao; Chen Haiming
  |  
 
software redundancy design for a human-machine interface in railway vehicles [会议论文]
12th International Conference on Computer System Design and Operation in the Railways and other Transit Systems, COMPRAIL 2010, Beijing, China, August 31,
Zheng G.; Chen J.

 
a toolkit for generating sentences from context-free grammars [会议论文]
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, September
Xu Zhiwu; Zheng Lixiao; Chen Haiming
  |  
 
a systematic framework for grammar testing [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03,
Zheng Lixiao; Chen Haiming

 
identity-based threshold key-insulated encryption without random oracles [会议论文]
Cryptographers Track at the RSA Conference, CT-RSA 2008, San Francisco, CA, United states, 37354
Weng Jian; Liu Shengli; Chen Kefei; Zheng Dong; Qiu Weidong
  |  
 
efficient linkable ring signatures and threshold signatures from linear feedback shift register [会议论文]
7th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2007, Hangzhou, China, 37418
Li Xiangxue; Zheng Dong; Chen Kefei
  |  
 
efficient blind signatures from linear feedback shift register [会议论文]
4th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2007, Shanghai, China, September
Li Xiangxue; Zheng Dong; Chen Kefei
  |  
 

1

 

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