PaReDuX公司 swMATH ID: 21562 软件作者： Bündgen，Reinhard；曼弗雷德·哥贝尔；库奇林，沃尔夫冈；安德烈亚斯·韦伯 描述： 使用PaReDuX进行并行项重写。符号计算软件的并行化主要有两种方法。符号计算软件并行化的第一种方法依赖于工作并行（AND并行），它将给定的工作量分布在多个处理器上。如果只使用工作并行，那么无论并行完成算法在多少个处理器上运行，它都会执行完全相同的策略，因此我们也谈到了符合策略的并行化。由于具有固定策略的单个完成循环的高同步要求及其并行组件的细粒度，符合策略的并行化通常仅在共享内存多处理器上有益。符号计算软件并行化的第二种方法使用搜索并行（OR并行）。本章第二部分的目标是双重的。从算法上讲，我们希望表明，在分层存储处理器上，搜索并行和工作并行的模块化组合可以产生超过每个独立方案的聚合速度，并且可以克服两种并行完成方法的限制。这些限制是由于搜索并行的速度受到不同选择策略的数量和相对质量的限制；工作并行性受到每个策略中并行工作量的限制，也受到当今共享内存处理器（最多允许几十个处理器）的体系结构限制。我们的第二个目标是证明网络部分和共享内存部分可以使用统一的编程技术。 主页： http://cg.cs.uni-bonn.de/personal-pages/weber/publications/pdf/WeberA/BuendgenGoebelKuechlinWeber98a.pdf 关键词： 术语重写系统的并行化 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用PaReDuX进行并行项重写。 Zbl 0973.68109号莱因哈德·邦根;曼弗雷德·哥贝尔;沃尔夫冈·库奇林;安德烈亚斯·韦伯 1998 4位作者引用 1 莱因哈德·邦根 1 曼弗雷德·哥贝尔 1 Küchlin，Wolfgang W。 1 安德烈亚斯·古恩特·韦伯 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文