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

Search Results

Help

Item hits: (Results 1-2 of 2)

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
  |  
 

1

 

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