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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
a three-level verification approach on wireless communication controller system [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Fan Linlin; Liao Mingxue; He Xiaoxin

 
formal verification on distributed spectrum sensing protocol [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Liu Jin-Bo; Liao Ming-Xue; Hu Xiao-Hui; He Xiao-Xin

 
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
  |  
 

1

 

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