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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
Termination analysis with recursive calling graphs [期刊论文]
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016-01-01, 卷号: 59, 页码: 109-116
Long, T; Zhang, WH
  |  
 
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment [期刊论文]
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016-01-01, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y; Yan, J; Choo, KKR
  |  
 
topological dynamics characterization for leo satellite networks [期刊论文]
COMPUTER NETWORKS, 2007-01-01, 卷号: 51, 期号: 1, 页码: 43-53
Wang Junfeng; Li Lei; Zhou Mingtian
  |  
 
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
  |  
 

1

 

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