Kazuhito Ohmaki;佐托鲁富村;井上,Katsuro;伊藤忠雄;伊藤庆一;Koji Torii公司 术语:方程式语言的并行可执行图形约简机。 (英语) Zbl 0681.68035号 并行计算。 11,第1期,第1-16页(1989年). 摘要:我们设计并实现了一台名为TERM的机器,以便并行执行等式语言。方程语言是基于方程逻辑的非过程语言,是逻辑、代数和函数编程语言的典型计算模型。已经提出了两种类型的硬件系统来非常快速地执行等式语言。一个是字符串约简类型,另一个是图形约简类型。字符串缩减类型更容易实现,图形缩减类型执行速度更快。TERM使用后一种方法。我们开发了一个用于执行等式语言的程序CCM(同余闭包方法)。CCM将等式语言的程序转换为图形结构。然后寻找适用的方程并并行重写该图。TERM是CCM的一种实现,它使用交叉条交换网络来表示图结构。TERM可以执行CCM中设想的部分并行性。我们展示了TERM和CCM的优点和缺点。 MSC公司: 第68页第25页 操作系统理论 68瓦30 符号计算和代数计算 03C05号机组 模型理论中的方程类、泛代数 68N99型 软件理论 03年3月 星期四和邮政系统等。 关键词:图形缩小机TERM;TERM的实施特点;并行执行;等式语言;非程序语言;等式逻辑;计算模型;CCM(中央控制模块);同余闭包方法 PDF格式BibTeX公司 XML格式引用 \textit{K.Ohmaki}等人,《并行计算》。11,No.1,1--16(1989;Zbl 0681.68035) 全文: 内政部