第条

多项式表达式中常见子表达式的因子分解与消除

作者:

答：。霍桑加迪,

F、。法拉赫,

对。卡斯特纳作者信息和声明

ICCAD’04：2004 IEEE/ACM计算机辅助设计国际会议论文集

页169-174

https://doi.org/10.109/ICCAD.2004.1382566

出版:2004年11月7日出版历史

获取访问权限

摘要

多项式表达式用于计算信号处理和图形应用中常见的各种数学函数，这为优化提供了良好的机会。然而，现有的用于降低代码复杂性的编译器技术（如通用子表达式消除和值编号）针对的是通用应用程序，无法完全优化这些表达式。这项工作提出了通过因子分解和消除公共子表达式来减少计算多项式表达式集的操作数的算法。这些算法基于多级逻辑综合的代数技术。在一组带有多项式表达式的基准应用程序上的实验结果表明，与普通子表达式消除相比，ARM处理器内核上计算这些表达式的乘法次数平均减少42.5%，时钟周期减少39.6%。

工具书类

[1]

{1} A.Peymandoust和G.D.Micheli，“在算法级DSP合成中使用符号代数，”设计自动化会议记录, 2001.

数字图书馆

[2]

{2} A.Peymandoust、T.Simunic和G.D.Micheli，“使用符号代数的低功耗嵌入式Sottware优化”IEEE集成电路和系统计算机辅助设计汇刊, 2002.

数字图书馆

[3]

{3} D.E.Knuth，计算机编程的艺术，第2卷：半数值算法，第二版：Addison-Wesley，1981年。

数字图书馆

[4]

{4} C.菲克，数学函数的计算机评价Englewood Cliffs，N.J：普伦蒂斯·霍尔出版社，1968年。

[5]

{5} R.H.Bartels、J.C.Beatty和B.A.Barsky，计算机图形和几何建模中使用的样条曲线简介：摩根考夫曼出版社，1987年。

数字图书馆

[6]

{6} S.S.Muchnick，高级编译器设计与实现：摩根考夫曼出版社，1997年。

数字图书馆

[7]

{7} R.Green，“更快的数学函数”，索尼电脑娱乐研究与开发2003。

[8]

{8} “GNU C库。”网址：http://www.gnu.org

[9]

{9} R.K.Brayton和C.T.McMullen，“布尔表达式的分解和因式分解”电路与系统国际研讨会论文集, 1982.

[10]

{10} A.S.Vincentelli、A.Wang、R.K.Brayton和R.Rudell，“MIS：多级逻辑优化系统”IEEE集成电路和系统计算机辅助设计汇刊, 1987.

[11]

{11} R.K.Brayton、R.Rudell、A.S.Vincentetli和A.Wang，“多级逻辑优化和矩形覆盖问题”计算机辅助设计国际会议论文集, 1987.

[12]

{12} A.V.Aho、S.C.Johnson和J.D.Ullman，“带公共子表达式的表达式的代码生成”ACM公司第24卷，第146-160页，1977年。

数字图书馆

[13]

{13} R.Sethi和J.D.Ullman，“算术表达式最佳代码的生成”ACM通信第17卷，第715-728页，1970年。

数字图书馆

[14]

{14} M.A.Breuer，“通过Faetorization生成表达式的最佳代码”ACM通信第12卷，第333-340页，1969年。

数字图书馆

[15]

{15} C.Lee、M.Potkonjak和W.H.Mangione-Smith，“MediaBench：评估和综合多媒体和通信系统的工具”微建筑国际研讨会论文集1997年，美国北卡罗来纳州三角研究公园。

数字图书馆

[16]

{16} P.M.Embree，下午好，实时DSP的C算法：普伦蒂斯·霍尔，1995年。

数字图书馆

[17]

{17} M.D.Smith和G.Holloway，“机器SUIF及其分析和优化便携式库简介”，哈佛大学，剑桥，马萨诸塞州，2000年。

[18]

{18} 《枫树》，滑铁卢枫树公司，1998年。

[19]

{19} 《ARM7TDMI技术参考手册》，2003年。

引用人

奥尔LBalazinska M公司Suciu D公司(2017)用于交互式数据探索的概率数据库摘要VLDB捐赠会议记录10.14778/3115404.311541910:10(1154-1165)在线发布日期：2017年6月1日
https://dl.acm.org/doi/10.14778/311504.3115419
高X威克森J康斯坦丁德斯G陈D格林J(2016)自动优化高级综合C程序的延迟、面积和准确性2016年ACM/SIGDA现场可编程门阵列国际研讨会会议记录10.1145/2847263.2847282(234-243)在线发布日期：2016年2月21日
https://dl.acm.org/doi/10.1145/2847263.2847282
高X康斯坦丁德斯G康斯坦丁德斯G陈D(2015)高层综合的数值程序优化2015年ACM/SIGDA现场可编程门阵列国际研讨会会议记录10.1145/2684746.2689090(210-213)在线发布日期：2015年2月22日
https://dl.acm.org/doi/10.1145/2684746.2689090
显示更多引用者

建议

用代数分解和公共子表达式消除法优化多项式表达式

多项式表达式在许多应用领域中经常遇到，特别是在信号处理和计算机图形学中。传统的编译器冗余消除技术，如公共子表达式消除（CSE）并不是。。。
消除公共子表达式的高阶策略

优化编译器通常会执行一种称为公共子表达式消除的操作，以提高代码效率。通常，这可以通过修剪有向非循环图来完成，以通过内存获取来替换被删除的子表达式。。。
数值CSP中公共子表达式的开发
CP’08：第14届约束编程原理与实践国际会议论文集

众所周知，方程的符号形式对于基于区间的求解技术有效处理实域上的方程组至关重要。然而，到目前为止，只提出了一些系统的自动转换。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ICCAD’04：2004 IEEE/ACM计算机辅助设计国际会议论文集

2004年11月

913页

国际标准图书编号：0780387023

赞助商

SIGDA:ACM设计自动化特别兴趣小组

出版商

IEEE计算机学会

美国

出版历史

出版：2004年11月7日

检查更新

限定符

第条

会议

ICCAD04标准

赞助商：

SIGDA公司

ICCAD04：2004年计算机辅助设计国际会议

2004年11月7日至11日

接受率

1762份提交文件的总体接受率为457，26%

即将召开的会议

ICCAD’24

赞助商：
西格达

IEEE/ACM计算机辅助设计国际会议

2024年10月27日至31日

纽约，纽约州，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

12
引文总数
查看引文
193
总下载次数

下载量（最近12个月）1
下载次数（最近6周）0

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

引用人

奥尔LBalazinska M公司Suciu D公司(2017)用于交互式数据探索的概率数据库摘要VLDB捐赠会议记录10.14778/3115404.311541910:10(1154-1165)在线发布日期：2017年6月1日
https://dl.acm.org/doi/10.14778/311504.3115419
高X威克森J康斯坦丁德斯G陈D格林J(2016)自动优化高级综合C程序的延迟、面积和准确性2016年ACM/SIGDA现场可编程门阵列国际研讨会会议记录10.1145/2847263.2847282(234-243)在线发布日期：2016年2月21日
https://dl.acm.org/doi/10.1145/2847263.2847282
高X康斯坦丁德斯G康斯坦丁德斯G陈D(2015)高层综合的数值程序优化2015年ACM/SIGDA现场可编程门阵列国际研讨会会议记录10.1145/2684746.2689090(210-213)在线发布日期：2015年2月22日
https://dl.acm.org/doi/10.1145/2684746.2689090
哈迪克F阿里扎德B费伊·G富士达MDrechsler R公司Scheffer L公司菲利普斯J胡A(2010)基于约束求解和形式化建模的多项式数据路径优化计算机辅助设计国际会议论文集10.5555/2133429.2133589(756-761)在线发布日期：2010年11月7日
https://dl.acm.org/doi/10.5555/2133429.2133589
Leiserson C公司李L马扎M谢毅(2010)大多项式的有效计算第三届国际数学软件大会会议记录10.5555/1888390.1888464(342-353)在线发布日期：2010年9月13日
https://dl.acm.org/doi/10.5555/18888390.1888464
阿里扎德B富士达M(2010)基于模块化HED的模块化数据路径优化与验证IEEE集成电路和系统计算机辅助设计汇刊10.1109年/月.2010.205927129:9(1422-1435)在线发布日期：2010年9月1日
https://dl.acm.org/doi/10.109/TCAD.2010.2059271
阿里扎德B富士达M罗周杜里J(2009)有限字长多项式数据路径优化的改进启发式算法2009年计算机辅助设计国际会议记录10.1145/1687399.1687536(739-744)在线发布日期：2009年11月2日
https://dl.acm.org/doi/10.1145/1687399.1687536
Sarbishei O公司阿里扎德B富士达M(2009)基于分区和补偿启发式的多项式数据路径优化第46届设计自动化年会会议记录10.1145/1629911.1630151(931-936)在线发布日期：2009年7月26日
https://dl.acm.org/doi/10.1145/1629911.1630151
图N卡拉·P谢哈尔NGopalakrishnan S公司Nassif S公司罗周杜里J(2008)使用多项式函数模型和同余求解验证算术数据路径2008 IEEE/ACM计算机辅助设计国际会议论文集10.5555/1509456.1509494(122-128)在线发布日期：2008年11月10日
https://dl.acm.org/doi/10.5555/1509456.1509494
哥帕拉克里希南语S卡拉·P梅雷迪斯·MEnescu F公司吉伦G(2007)固定比特向量多项式数据路径RTL综合的线性内建块的发现2007 IEEE/ACM计算机辅助设计国际会议论文集10.5555/1326073.1326103(143-148)在线发布日期：2007年11月5日
https://dl.acm.org/doi/10.5555/1326073.1326103
显示更多引用者

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子