雅各布·科纳鲁普 将并行程序的函数表示映射到超立方体。 （英语） Zbl 0875.68405号 信息处理。莱特。 53，第3期，153-158（1995）. 小结：无权者理论最近由贾亚德夫·米斯拉（1994）提出。Powerlists可以使用类似于函数编程语言的符号来指定和验证某些并行算法。与顺序语言相比，幂函数表示法具有表示列表平衡划分的结构。我们研究了前缀和（Prefix Sum）这一基本并行算法如何进行裁剪，以便在超三次体系结构上高效执行。然后，我们导出了一种策略，用于将大多数幂列表函数映射到超三次体系结构的高效程序。 引用于1文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 2007年7月68日 计算机体系结构的数学问题 60年第68季度 规范和验证（程序逻辑、模型检查等） 68宽15 分布式算法 关键词：程序派生；并行算法；功能性编程；编程计算；超级多维数据集；前缀和 软件：米兰达；毫升 PDF格式BibTeX公司 XML格式引用 \textit{J.Kornerup}，Inf.流程。莱特。53，第3号，153--158（1995年；Zbl 0875.68405） 全文： 内政部 参考文献： [1] Bird，R.S.，《构造函数编程讲座》（Broy，M.，《计算机科学中的构造方法》（1989），施普林格出版社：施普林格-柏林）·Zbl 0581.68009号 [2] Kornerup，J.，《将无权者映射到超立方体》（《技术报告》，TR94-05（1994），德克萨斯大学计算机科学系：德克萨斯大学奥斯汀分校计算机科学系） [3] Leighton，F.T.，《并行算法和体系结构导论》（1992），Morgan Kaufmann·Zbl 0743.68007号 [4] 拉德纳，R.E。；Fischer，M.J.，并行前缀计算，J.ACM，27831-838（1980）·Zbl 0445.68066号 [5] 米尔纳，R。；托夫特，M。；Harper，R.，《标准ML的定义》（1990），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥 [6] Mayr，E.W。；Plaxton，G.，《流水线并行计算和流水线超立方体上的排序》（技术报告STAN-CS-89-1261（1989），斯坦福大学计算机科学系）·Zbl 0779.68041号 [7] Misra，J.，Powerlists，并行递归结构，ACM TOPLAS（1994），即将出版 [8] Turner，D.，《米兰达概述》，ACM SIGPLAN Notices，21，156-166（1986） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。