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

Search Results

Help

Item hits: (Results 1-10 of 24)

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

 
Systemic threats to hypervisor non-control data [期刊论文]
IET INFORMATION SECURITY, 2013-01-01, 卷号: 7, 期号: 4, 页码: 349-354
Ding, Baozeng; He, Yeping; Wu, Yanjun; Yu, Jiageng

 
云计算核心技术研究综述 [期刊论文]
小型微型计算机系统, 2013-01-01, 卷号: 34, 期号: 11, 页码: 2417-2424
张建华; 吴恒; 张文博

 
storycube: supporting children's storytelling with a tangible tool [期刊论文]
Journal of Supercomputing, 2013-01-01, 页码: 1-15
Wang Danli; He Liang; Dou Keqin

 
a flexible software framework for transportation maintenance scheduling [期刊论文]
Journal of Software, 2012-01-01, 卷号: 7, 期号: 9, 页码: 2158-2161
Huang Yongjian; Su Ruidan; Yan Weiwei; Zhang Kunlin; Liu Yang; Xu Huaiyu

 
understanding, manipulating and searching hand-drawn concept maps [期刊论文]
ACM Transactions on Intelligent Systems and Technology, 2011-01-01, 卷号: 3, 期号: 1, 页码: -
Jiang Yingying; Tian Feng; Zhang Xiaolong; Dai Guozhong; Wang Hongan

 
qip = pspace [期刊论文]
JOURNAL OF THE ACM, 2011-01-01, 卷号: 58, 期号: 6, 页码: -
Jain Rahul; Ji Zhengfeng; Upadhyay Sarvagya; Watrous John

 
基于CUDA渲染器的顺序独立透明现象的单遍高效绘制 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 8, 页码: 1927-1933
黄梦成; 刘芳; 刘学慧; 吴恩华
  |  
 
单遍数据读取的GPU上的多片元效果绘制 [期刊论文]
计算机学报, 2011-01-01, 卷号: 34, 期号: 3, 页码: 3473-3481
谢国富; 王文成
  |  
 
explorations of the implementation of a parallel idw interpolation algorithm in a linux cluster-based parallel gis [期刊论文]
Computers and Geosciences, 2011-01-01, 卷号: 37, 期号: 4, 页码: 426-434
Huang Fang; Liu Dingsheng; Tan Xicheng; Wang Jian(王健); Chen Yunping; He Binbin

 

1 2 3 next

 

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