中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Issued Date
Language
Project
Indexed
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
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

 
developing interoperable electronic health record service in china [期刊论文]
International Journal of Digital Content Technology and its Applications, 2011-01-01, 卷号: 5, 期号: 4, 页码: 280-295
Liang Jun; Xu Meifang; Zhang Lizhong; Li Lanjuan; Zheng Xiaolin; Chen Deren; Yang Shengli; Li Baoluo; Jin Ou; Ji Zhou; Sun Junxiang

 
generic construction of identity-based strong key-insulated signature [期刊论文]
Journal of Internet Technology, 2011-01-01, 卷号: 12, 期号: 4, 页码: 629-636
Zhou Dehua; Weng Jian; Chen Kefei; Zheng Dong

 
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
  |  
 

1 2 next

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