机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2012 [1]
• 2009 [1]
• 2007 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文  OAI收割 计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873 王昌晶   |  收藏  |  浏览/下载：23/0  |  提交时间：2013/09/17 循环优化  可信编译  扩展逻辑变换系统  循环变换  辅助证明算法   面向雨数的循环优化序列定制方法 期刊论文  OAI收割 计算机工程与应用, 2009, 卷号: 45, 期号: 24, 页码: 63-66,117 陈烨 收藏  |  浏览/下载：20/0  |  提交时间：2011/03/18 polyhedron模型  优化序列定制  cache失效率  CMES简化方程  循环  化序列  定制方法  优化效果  函数  效率方程  程序  编译  数据表  加速比  复杂度  cache  讨论  实验  器具  评估  模型  迭代  差异  变换   基于CTL的循环优化变换描述方法 期刊论文  OAI收割 计算机应用研究, 2007, 卷号: 24, 期号: 7, 页码: 49 夏勇; 薛云志; 陶秋铭; 赵琛   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/08/25 循环优化变换  分支时序逻辑  依赖分析