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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
basic research in computer science and software engineering at sklcs [期刊论文]
Frontiers of Computer Science in China, 2008-01-01, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang

 
perfect concurrent signature protocol [会议论文]
SNPD 2007: 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Qingdao, China, 37467
Zhenjie Huang; Rufen Huang; Xuanzhi Lin
  |  
 
a new approach for overload management in content-based publish/subscribe [会议论文]
2nd International Conference on Software Engineering Advances - ICSEA 2007, Cap Esterel, France, August 25,
Guo Xiangfeng; Zhong Hua; Wei Jun; Han Dongli
  |  
 
model checking data consistency for cache coherence protocols [期刊论文]
Springer New York LLC, 2006-01-01, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775
Pan Hong; Lin Huimin; Lv Yi
  |  
 
extended symbolic transition graphs with assignment [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
  |  
 
模型检测新技术研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 5, 页码: 102-104
戎玫; 张广泉
  |  
 
时间符号迁移图及其互模拟判定 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 2, 页码: 113-121
陈靖; 林惠民
  |  
 
research on network based conceptual design [会议论文]
6th International Conference on Computer Supported Cooperative Work in Design, LONDON, CANADA, JUL 12-14,
Ma CX; Wang HG; Dai GZ
  |  
 

1

 

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