中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	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
	Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316 Xu, LL; Lin, HM
	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 \|
	An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 5, 页码: 987-1011 Chen, L; Wu, JZ; Lv YinRun(吕荫润); Wang, YJ \|
	Utilizing Probabilistic Linear Equations in Cube Attacks [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 317-325 Yao, Y; Zhang, B; Wu, WL


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In