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

Search Results

Help

Item hits: (Results 31-40 of 201)

Items/Page:    Sort:
Symbolic termination analysis of solvable loops [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin

 
Modeling and simulations of drop pinch-off from liquid crystal filaments and the leaky liquid crystal faucet immersed in viscous fluids [期刊论文]
JOURNAL OF COMPUTATIONAL PHYSICS, 2013-01-01, 卷号: 236, 页码: 1-14
Yang, Xiaofeng; Forest, M. Gregory; Li, Huiyuan; Liu, Chun; Shen, Jie; Wang, Qi; Chen, Falai

 
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

 
High throughput VLSI architecture for H.264/AVC context-based adaptive binary arithmetic coding (CABAC) decoding [期刊论文]
JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2013-01-01, 卷号: 14, 期号: 6, 页码: 449-463
Huang, Kai; Ma, De; Yan, Rong-jie; Ge, Hai-tong; Yan, Xiao-lang

 
ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS [期刊论文]
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013-01-01, 卷号: 24, 期号: 4, 页码: 419-444
Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng

 
Clausal presentation of theories in deduction modulo [期刊论文]
Journal of Computer Science and Technology, 2013-01-01, 卷号: 28, 期号: 6, 页码: 1085-1096
Gao, Jian-Hua (1)

 
An effective iterated greedy algorithm for reliability-oriented task allocation in distributed computing systems [期刊论文]
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013-01-01, 卷号: 73, 期号: 8, 页码: 1106-1115
Kang, Qinma; He, Hong; Wei, Jun

 
mpfft: an auto-tuning fft library for opencl gpus [会议论文]
Li Yan; Zhang Yun-Quan; Liu Yi-Qun; Long Guo-Ping; Jia Hai-Peng

 
an inter-modified method of hand tracking and pose recognition under complex background [期刊论文]
Journal of Computational Information Systems, 2013-01-01, 卷号: 9, 期号: 4, 页码: 1455-1463
Yan Yangtian; Zhang Fengjun; Wang Hongan; Dai Guozhong

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 next

 

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