×

并行前缀网络设计中的功能和动态编程。 (英语) Zbl 1220.68046号

摘要:宽度为(n)的并行前缀网络接受(n)输入,(A{1},A{2},\ldots,A{n}),并为关联运算符(\circ)计算每个输入。这是计算机科学中的一个基本问题,因为它可以深入了解如何使用并行计算来解决明显的顺序问题。随着并行编程成为主流编程范式,并行前缀或扫描被证明是并行算法和应用程序的一个非常重要的构建块。有许多不同的并行前缀网络,具有不同的属性,如运营商的数量、深度和允许的运营商扇出。本文将函数编程的思想与搜索相结合,对并行前缀网络设计进行了深入探讨。将生成改进了先前最著名结果的网络。有人认为,函数编程语言中的精确建模,以及网络的简单可视化,为并行前缀网络设计提供了一种新的、更具实验性的方法,改进了文献中通常使用的手动技术。将搜索与高阶函数结合在一起的编程习惯用法可能比这里描述的网络生成具有更广泛的应用。

MSC公司:

68甲18 函数编程和lambda演算
68M10个 计算机系统中的网络设计和通信
68甲19 其他编程范式(面向对象、顺序、并发、自动等)

软件:

螺旋形的
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Singh,定制计算机FPGA(FCCM)第145页–(2000)
[2] 内政部:10.1109/TEC.1960.5219822·doi:10.1109/TEC.1960.5219822
[3] 内政部:10.1007/3-540-44798-9_28·doi:10.1007/3-540-44798-9_28
[4] 内政部:10.1109/12.156534·数字对象标识代码:10.1109/12.156534
[5] 内政部:10.1007/978-3-540-30494-4_2·doi:10.1007/978-3-540-30494-42
[6] Blelloch,前缀和及其应用(1990)
[7] 内政部:10.1007/978-3-540-39724-3_4·doi:10.1007/978-3-540-39724-34
[8] 内政部:10.1145/289423.289440·兹伯利06763136 ·doi:10.1145/289423.289440
[9] Püschel,IEEE会议记录,关于程序生成、优化和调整的特别问题93 pp 232–(2005)
[10] 内政部:10.1109/MEMCOD.2010.5558637·doi:10.1109/MEMCOD.2010.5558637
[11] 内政部:10.1147/rd.312.0235·Zbl 0653.68016号 ·doi:10.1147/rd.312.0235
[12] 内政部:10.1109/MSE.2005.55·doi:10.1109/MSE.2005.55
[13] 内政部:10.1145/1721654.1721675·Zbl 05748176号 ·数字对象标识代码:10.1145/1721654.1721675
[14] DOI:10.1010/作者:1995.465378·doi:10.1109/ARITH.1995.465378
[15] 刘,ASP-DAC’07:2007年亚洲和南太平洋设计自动化会议论文集,第609页–(2007)·doi:10.1109/ASPDAC.2007.358053
[16] 数字对象标识码:10.1016/j.jpdc.2005.017·Zbl 1103.68976号 ·doi:10.1016/j.jpdc.2005.05.017
[17] DOI:10.1016/S0020-0190(99)00058-7·Zbl 1002.68067号 ·doi:10.1016/S0020-0190(99)00058-7
[18] DOI:10.1023/A:1022084814175·Zbl 1039.68096号 ·doi:10.1023/A:1022084814175
[19] 内政部:10.1145/1455229.1455244·Zbl 05517257号 ·doi:10.1145/1455229.1455244
[20] Lakshmivarahan,并行处理国际会议论文集,第58页–(1987)
[21] 内政部:10.1145/322217.32232·Zbl 0445.68066号 ·数字对象标识代码:10.1145/322217.32232
[22] 内政部:10.1109/TC.1973.5009159·Zbl 0262.68015号 ·doi:10.1109/TC.1973.5009159
[23] Knowles,《国际会议录》。计算机算术研讨会pp 277–(1999)
[24] Jones,超大规模集成电路设计的形式化方法第13页–(1990)
[25] 内政部:10.1007/978-3-540-27764-4_11·doi:10.1007/978-3-540-27764-4_11
[26] Han,计算机算术国际研讨会论文集,第49页–(1987)
[27] 内政部:10.1007/978-3-642-16478-1_2·Zbl 05809302号 ·doi:10.1007/978-3642-16478-12
[28] 内政部:10.1145/1142155.1142162·Zbl 05456872号 ·doi:10.1145/1142155.1142162
[29] Giegerich,Informatik Beuegt:Informatik 2002-32。Jahrestagung der Gesellschaft für Informatik e.v.(gi)pp 3-(2002)
[30] Wadler,Marktoberdorf暑期学校程序设计微积分会议记录(1992年)
[31] Franchetti,国际单项体育联合会领域特定语言工作会议记录(DSL WC)第385页–(2009)
[32] 内政部:10.1145/800061.808738·数字对象标识代码:10.1145/800061.808738
[33] Voigtländer,第35届程序设计语言原则研讨会论文集第29页–(2008)
[34] Cormen,算法导论(2001)
[35] Svensson,第七届高级并行编程实践方面国际研讨会论文集,ICCS第2059页–(2010)
[36] 斯尼尔,J.代数7第185页–(1986)
[37] 辛格,《设计正确的电路》,第119页–(1992年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。