CORC

在结果中检索

CORC

浏览/检索结果: 共22条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
典型流式机器学习算法并行化设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2018
作者:  沈雯婷
收藏  |  浏览/下载：118/0  |  提交时间：2018/06/12
Efficient route search on hierarchical dynamic road networks 期刊论文
Distributed and Parallel Databases, 2014
Xu, Jiajie (1); Gao, Yunjun (2); Liu, Chengfei (3); Zhao, Lei (1); Ding, Zhiming (4)
收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
High performance two-dimensional phase unwrapping on gpus 会议论文
11th ACM International Conference on Computing Frontiers, CF 2014, Cagliari, Italy, May 20, 2014 - May 22, 2014
Wu, Zhenhua (1); Ma, Wenjing (1); Long, Guoping (1); Li, Yucheng (1); Tang, Qiuyan (2); Wang, Zhongjie (2)
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
交互式水滴效果模拟 期刊论文
计算机辅助设计与图形学学报, 2013, 卷号: 25, 期号: 8, 页码: 1159-1168
徐士彪; 张晓鹏; 陈彦云; 于海涛; 吴恩华
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
树木与自然场景交互作用仿真技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2012
杨猛
收藏  |  浏览/下载：8/0  |  提交时间：2012/06/13
specification in pdl with recursion 会议论文
4th NASA Formal Methods Symposium, NFM 2012, Norfolk, VA, United states, April 3, 2012 - April 5, 2012
Liu Xinxin; Xue Bingtian
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
a graph-based implementation for mechanized refinement calculus of oo programs 会议论文
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov
Liu Zhiming; Morisset Charles; Wang Shuling
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
a calculus for game-based security proofs 会议论文
4th International Conference on Provable Security, ProvSec 2010, Malacca, Malaysia, 40829
Nowak David; Zhang Yu
收藏  |  浏览/下载：12/0  |  提交时间：2011/03/31
connection between logical and algebraic approaches to concurrent systems 会议论文
6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22,
Zhan Naijun
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31
action reasoning independent of designer 期刊论文
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming; Wang Ju; Jiang Yuncheng
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/18

©版权所有 ©2017 CSpace - Powered by CSpace