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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters                
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

 

1

 

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