中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In