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

Search Results

Help

Item hits: (Results 11-20 of 76)

Filters        
Items/Page:    Sort:
Completeness of Hoare logic with inputs over the standard model [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
  |  
 
Termination analysis with recursive calling graphs [期刊论文]
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016-01-01, 卷号: 59, 页码: 109-116
Long, T; Zhang, WH
  |  
 
Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction [期刊论文]
INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2016-01-01, 卷号: 29, 期号: 3, 页码: 567-578
Lu, SQ; Zhao, JH; Cheng, QF

 
KSAP: An approach to bug report assignment using KNN search and heterogeneous proximity [期刊论文]
INFORMATION AND SOFTWARE TECHNOLOGY, 2016-01-01, 卷号: 70, 页码: 68-84
Zhang, W; Wang, S; Wang, Q
  |  
 
Dynamics, morphogenesis and convergence of evolutionary quantum Prisoner's Dilemma games on networks [期刊论文]
PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2016-01-01, 卷号: 472, 期号: 2186
Li, AS; Yong, X
  |  
 
Full-feedback contention window adaption for IEEE 802.11 WLANs [期刊论文]
JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2016-01-01, 卷号: 27, 期号: 1, 页码: 90-98
Zhou, X; Zheng, CW; Liao, MX

 
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 
Algorithm development for extreme-scale computing [期刊论文]
NATIONAL SCIENCE REVIEW, 2016-01-01, 卷号: 3, 期号: 1, 页码: 26-27
Sun, JC; Yang, C; Cai, XC
  |  
 
623 Tflop/s HPCG run on Tianhe-2: Leveraging millions of hybrid cores [期刊论文]
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2016-01-01, 卷号: 30, 期号: 1, 页码: 39-54
Liu, YQ; Yang, C; Liu, FF; Zhang, XY; Lu, YT; Du, YF; Yang, CQ; Xie, M; Liao, XK

 

previous 1 2 3 4 5 6 7 8 next

 

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