中国开放科研知识云: 检索

基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文
计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶

收藏 | 浏览/下载：16/0 | 提交时间：2013/09/17

基于横向局部性的多核计算模型 期刊论文
计算机科学, 2012, 卷号: 39, 期号: 7, 页码: 1-6
袁良; 张云泉

收藏 | 浏览/下载：15/0 | 提交时间：2013/09/17

一种改进的OpenMP指导调度策略研究 期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 4, 页码: 687-694
刘胜飞; 张云泉; 孙相征

收藏 | 浏览/下载：16/0 | 提交时间：2010/08/24

数值软件自适应性能优化搜索过程评价技术研究 期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 4, 页码: 679-686
孙相征; 张云泉; 王宣强; 王磊

收藏 | 浏览/下载：15/0 | 提交时间：2010/08/24

VarBIFT:指令级的变量冗余容错检测技术 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 10, 页码: 2163-2165,2183
张显明; 张锐; 彭启民; 赵军锁

收藏 | 浏览/下载：30/0 | 提交时间：2011/05/23

收藏 | 浏览/下载：11/0 | 提交时间：2011/05/24

面向方面软件开发的形式化方法与编译器技术分析研究 期刊论文
苏州大学学报(工科版), 2010, 卷号: 30, 期号: 4, 页码: 40829
张谷铭; 张广泉

收藏 | 浏览/下载：125/19 | 提交时间：2011/05/23

Kaffe在龙芯2E上的移植 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 2, 页码: 330-334
辛博坤; 王永吉; 潘远明; 徐帆江

收藏 | 浏览/下载：11/0 | 提交时间：2010/08/17

基于pCTL的循环优化测试用例自动生成方法 期刊论文
小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440
余侠; 薛云志; 陶秋铭

收藏 | 浏览/下载：20/0 | 提交时间：2011/05/23

一种基于过程图模型的编译优化测试程序自动生成方法 期刊论文
计算机研究与发展, 2009, 卷号: 46, 期号: 9, 页码: 1567-1577
陶秋铭; 赵琛; 王永吉

收藏 | 浏览/下载：11/0 | 提交时间：2010/08/17

在结果中检索