CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
SW-VML:基于神威蓝光处理器的向量数学软件包 会议论文
2013全国高性能计算学术年会, 桂林, 2013
解庆春; 张云泉; 鲁永泉; 李焱; 杨飞; 王靖
收藏  |  浏览/下载：38/0  |  提交时间：2014/12/16
基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文
计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶
收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17
基于主动规则推理的故障诊断系统设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2011
李欣
收藏  |  浏览/下载：9/0  |  提交时间：2011/06/07
多核片上系统的高效软硬件划分及调度算法 期刊论文
计算机工程与科学, 2011, 卷号: 33, 期号: 9, 页码: 57-62
韩红蕾; 刘文菊; 武继刚; 李慧
收藏  |  浏览/下载：8/0  |  提交时间：2013/10/08
基于pCTL的循环优化测试用例自动生成方法 期刊论文
小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440
余侠; 薛云志; 陶秋铭
收藏  |  浏览/下载：20/0  |  提交时间：2011/05/23
OpenMP循环调度算法及SpMV多核并行化研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2009
-
收藏  |  浏览/下载：13/0  |  提交时间：2009/06/11
OpenMP  
基于pCTL的循环优化测试用例自动生成方法的研究与实现 学位论文
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
余侠
收藏  |  浏览/下载：16/0  |  提交时间：2009/06/22
pCTL  
循环优化序列自动定制方法研究 学位论文
硕士, 中科院软件所: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：9/0  |  提交时间：2009/06/11
基于形式描述的编译优化自动测试方法与技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：14/0  |  提交时间：2009/06/12
超图多级划分算法框架及对划分结果的多阶段优化 期刊论文
计算机工程与设计, 2009, 卷号: 30, 期号: 4, 页码: 800
卢玥; 曹建文
收藏  |  浏览/下载：11/0  |  提交时间：2010/08/24

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