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

Search Results

Help

Item hits: (Results 1-10 of 734)

Items/Page:    Sort:
ACTIVE-SET REDUCED-SPACE METHODS WITH NONLINEAR ELIMINATION FOR TWO-PHASE FLOW PROBLEMS IN POROUS MEDIA [期刊论文]
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2016-01-01, 卷号: 38, 期号: 4, 页码: B593-B618
Yang, HJ; Yang, C; Sun, SY

 
FD4C: Automatic Fault Diagnosis Framework for Web Applications in Cloud Computing [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016-01-01, 卷号: 46, 期号: 1, 页码: 61-75
Wang, T; Zhang, WB; Ye, CY; Wei, J; Zhong, H; Huang, T
  |  
 
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
  |  
 
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

 
Highly Optimized Code Generation for Stencil Codes with Computation Reuse for GPUs [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 6, 页码: 1262-1274
Ma, WJ; Gao, K; Long, GP
  |  
 
Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega [期刊论文]
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016-01-01, 卷号: 82, 期号: 8, 页码: 1283-1299
Barmpalias, G; Fang, N; Lewis-Pye, A
  |  
 
Clustering-based acceleration for virtual machine image deduplication in the cloud environment [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2016-01-01, 卷号: 121, 页码: 144-156
Xu, JW; Zhang, WB; Zhang, ZY; Wang, T; Huang, T
  |  
 
The Sunway TaihuLight supercomputer: system and applications [期刊论文]
Science China-Information Sciences, 2016-01-01, 卷号: 59, 期号: 7
Fu, HH; Liao, JF; Yang, JZ; Wang, LN; Song, ZY; Huang, XM; Yang, C; Xue, W; Liu, FF; Qiao, FL; Zhao, W; Yin, XQ; Hou, CF; Zhang, CL; Ge, W; Zhang, J; Wang, YG; Zhou, CB; Yang, GW
  |  
 
一种面向程序动态分析的循环摘要生成方法 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 6, 页码: 1110-1117
聂楚江; 刘海峰; 苏璞睿; 冯登国

 
基于动态域划分的MapReduce安全冗余调度策略 [期刊论文]
通信学报, 2014-01-01, 卷号: 35, 期号: 1, 页码: 34-46
沈晴霓; 卿斯汉; 吴中海; 张力哲; 杨雅辉

 

1 2 3 4 5 6 7 8 9 10 next

 

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