×

递归定义数组的并行调度:重温。 (英语) Zbl 0804.68084号

摘要:描述了一种可用于并行化递归关系的重组转换。该变换基于超平面(或波前)方法,但将该方法的适用性扩展到了非规则结构的递归,并引入了一种算法来求解由此类非规则结构递归产生的一类受限符号线性不等式。求解这类线性不等式的算法对线性不等式系统的符号计算也很感兴趣。出现的各种子问题包括确定线性不等式组、找到凸多面体的极值点集和极值方向、确定隐式等式和消除冗余不等式。讨论了解决这些子问题的一些方法,并给出了每个子问题的子算法。

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
68瓦30 符号计算和代数计算
68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部