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

Search Results

Help

Item hits: (Results 1-10 of 74)

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

 
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

 
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, YR; Wang, YJ
  |  
 
Zero-Correlation Linear Cryptanalysis of Reduced-Round SIMON [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015-01-01, 卷号: 30, 期号: 6, 页码: 1358-1369
Yu, XL; Wu, WL; Shi, ZQ; Zhang, J; Zhang, L; Wang, YF

 
On Some Proximity Problems of Colored Sets [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2014-01-01, 卷号: 29, 期号: 5, 页码: 879-886
Fan, Cheng-Lin; Luo, Jun; Wang, Wen-Cheng; Zhong, Fa-Rong; Zhu, Binhai

 
MPFFT: An Auto-Tuning FFT Library for OpenCL GPUs [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013-01-01, 卷号: 28, 期号: 1, 页码: 90-105
Li, Yan; Zhang, Yun-Quan; Liu, Yi-Qun; Long, Guo-Ping; Jia, Hai-Peng

 
Interactive Depth-of-Field Rendering with Secondary Rays [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013-01-01, 卷号: 28, 期号: 3, 页码: 490-498
Xie, Guo-Fu; Sun, Xin; Wang, Wen-Cheng

 
Collaborative Interaction for Videos on Mobile Devices Based on Sketch Gestures [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013-01-01, 卷号: 28, 期号: 5, 页码: 810-817
Zhang, Jin-Kai; Ma, Cui-Xia; Liu, Yong-Jin; Fu, Qiu-Fang; Fu, Xiao-Lan

 

1 2 3 4 5 6 7 8 next

 

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