CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Reusing Service Process Fragments with a Consensus Between Service Providers and Users 期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2016, 卷号: 25, 期号: 4, 页码: 648-657
Yang, R; Li, B; Wang, J; Li, ZY; Hu, Y
收藏  |  浏览/下载：18/0  |  提交时间：2016/12/09
Probably safe or live 会议论文
Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014
Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
Memory-efficient single-pass GPU rendering of multifragment effects 期刊论文
IEEE Transactions on Visualization and Computer Graphics, 2013, 卷号: 19, 期号: 8, 页码: 1307-1316
Wang, Wencheng (1); Xie, Guofu (1)
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
单遍数据读取的GPU上的多片元效果绘制 期刊论文
计算机学报, 2011, 卷号: 34, 期号: 3, 页码: 3473-3481
谢国富; 王文成
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
基于CUDA渲染器的顺序独立透明现象的单遍高效绘制 期刊论文
软件学报, 2011, 卷号: 22, 期号: 8, 页码: 1927-1933
黄梦成; 刘芳; 刘学慧; 吴恩华
收藏  |  浏览/下载：12/0  |  提交时间：2011/10/10
关于可满足性问题的一些研究及其在模型检测中的应用 学位论文
博士, 北京: 中国科学院研究生院, 2010
陈伟
收藏  |  浏览/下载：11/0  |  提交时间：2010/06/04
基于GPU的多片元效果的高效绘制 学位论文
博士, 北京: 中国科学院研究生院, 2010
刘芳
收藏  |  浏览/下载：13/0  |  提交时间：2010/06/04
finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition 期刊论文
Tsinghua Science & Technology, 2010, 卷号: 15, 期号: 6, 页码: 623 - 632
Jianfeng Du; Guilin Qi; Jeff Z. Pan
收藏  |  浏览/下载：7/0  |  提交时间：2011/05/23
基于桶内动态融合的透明现象的高效绘制 期刊论文
计算机辅助设计与图形学学报, 2010, 卷号: 22, 期号: 3, 页码: 382-387
刘芳; 黄梦成; 刘学慧; 吴恩华
收藏  |  浏览/下载：10/0  |  提交时间：2011/05/23
single pass depth peeling via cuda rasterizer 会议论文
SIGGRAPH 2009: Talks, SIGGRAPH 09, New Orleans, LA, United states, August 3,
Liuz Fang; Huang Meng-Cheng; Liu Xue-Hui; Wuz En-Hua
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/20

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