Search Results

Item hits: (Results 1-10 of 135)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	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
	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   |
	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   |

1 2 3 4 5 6 7 8 9 10 next