-
题名数据相关性分析中替代约束的有效性
被引量：1
- 1
-
-
作者
乔林
黄维通
孟威
汤志忠
-
机构
清华大学计算机与信息管理中心
清华大学计算机系高性能计算所
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第5期724-727,共4页
-
基金
国家自然科学基金项目(69773028
60173010)
-
文摘
数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比方向向量约束更有效,体差不等式测试方法的收敛性要强于其它使用方向向量作为替代约束的传统数据相关性测试算法。
-
关键词
软件流水
数据相关性
替代约束
迭代向量
体差不等式测试
有效约束
-
Keywords
software pipelining
data dependence
surrogating constraint
iteration vector
dependence difference inequality test
effective constraint
-
分类号
TP33
[自动化与计算机技术—计算机系统结构]
-
-
题名软件流水领域多维数组数据相关性的测试
- 2
-
-
作者
乔林
黄维通
孟威
汤志忠
-
机构
清华大学计算中心
清华大学计算机科学与技术系高性能计算所
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第20期48-50,97,共4页
-
文摘
体差不等式测试为适用于软件流水领域的高维数组数据相关性分析算法,通过使用更严格的限制条件,该算法可以获得比传统数据相关性分析方法更精确的结果。文章展开该算法的实验研究。实验表明,虽然体差不等式测试算法只能针对实可行解域进行数据相关性分析,但所得到的结果仍然与实际情况相吻合。对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。
-
关键词
软件流水
数据相关性分析
相关体差向量
体差不等式测试
-
Keywords
software pipelining,data dependence analysis,dependence difference vector,dependence difference inequality test
-
分类号
TP33
[自动化与计算机技术—计算机系统结构]
-
-
题名软件流水领域二维数组的体差不等式测试算法
- 3
-
-
作者
乔林
黄维通
孟威
汤志忠
-
机构
清华大学计算中心
清华大学计算机科学与技术系高性能计算所
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第21期1-3,24,共4页
-
基金
国家自然科学基金资助项目(69773028
60173010)
-
文摘
给出了二维数组的体差不等式测试算法,并证明二维数组的体差不等式测试算法具有多项式时间复杂度。相对于直接求解,体差不等式测试算法的时间复杂度要小得多。实验表明,对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。
-
关键词
数据相关性
二维数组
迭代向量
体差不等式测试
可行解域
-
Keywords
Data dependence
Two-dimensional array
lteration vector
dependence difference inequality test
Feasible solution region
-
分类号
TP33
[自动化与计算机技术—计算机系统结构]
-
