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

Search Results

Help

Item hits: (Results 31-36 of 36)

Items/Page:    Sort:
towards semi-automatic generation of provably correct algorithmic programs [会议论文]
8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing/3rd ACIS International Workshop on Self-Assembling Wireless Networks, Qungdao, PEOPLES R CHINA, JUL 30-AUG
Shi Haihe; Xue Jinyun
  |  
 
gcs-ma: a group communication system for mobile agents [期刊论文]
Journal of Network and Computer Applications, 2007-01-01, 卷号: 30, 期号: 3, 页码: 1153-1172
Xu Wei; Cao Jiannong; Jin Beihong; Li Jing; Zhang Liang
  |  
 
accurate long-tailed network traffic approximation and its queueing analysis by hyper-erlang distributions [会议论文]
30th Annual IEEE Conference on Local Computer Networks, Sydney, AUSTRALIA, NOV 15-17,
Wang JF; Zhou HX; Li L; Xu FJ
  |  
 
a formal description of secimos operating system [期刊论文]
COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297
Zhou ZY; Liang B; Jiang L; Shi WC; He YP
  |  
 
a probability-guaranteed adaptive timeout algorithm for high-speed network flow detection [期刊论文]
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2005-01-01, 卷号: 48, 期号: 2, 页码: 215-233
Wang JF; Li L; Sun FC; Zhou MT
  |  
 
HPM: a hierarchical model for parallel computations [期刊论文]
International Journal of High Performance Computing and Networking, 2004-01-01, 卷号: 1, 期号: 1-3, 页码: 117 - 127
iscas
  |  
 

previous 1 2 3 4

 

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