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

Search Results

Help

Item hits: (Results 1-10 of 201)

Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
A NONLINEARLY PRECONDITIONED INEXACT NEWTON ALGORITHM FOR STEADY STATE LATTICE BOLTZMANN EQUATIONS [期刊论文]
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2016-01-01, 卷号: 38, 期号: 3, 页码: A1701-A1724
Huang, JZ; Yang, C; Cai, XC

 
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

 
Context-Based Moving Object Trajectory Uncertainty Reduction and Ranking in Road Network [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 1, 页码: 167-184
Dai, J; Ding, ZM; Xu, JJ

 
Termination analysis with recursive calling graphs [期刊论文]
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016-01-01, 卷号: 59, 页码: 109-116
Long, T; Zhang, WH
  |  
 
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
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

 
Trace Abstraction Refinement for Solving Horn Clauses [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L

 
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X; Jiao, L; Li, ZJ

 
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
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

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