论文部分内容阅读
1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了一种描述逻辑程序执行过程的新方法——OR树林方法及其执行模型PSOF,设计了基于PSOF模型的并行推理机系统结构
一个并行推理机模拟实验系统—SES—PIM
【摘 要】
：
1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了一种描述逻辑程序执行过程的新方法——OR树
【机 构】
：
长沙工学院计算机系,长沙工学院计算机系
【出 处】
：
计算机学报
【发表日期】
：
1989年1期
其他文献
本文介绍了在IBM PC系统上运行的VT 100终端及汉字终端模拟器的功能、原理及软件结构。该模拟器除了模拟有关终端外,还支持IBM PC机与主机间的有纠错功能的ASCII文件及二进制
文中介绍了上界可控的门矩阵布图算法(简称为GMLCUB).由于引进了虚界差这一新思想,使门矩阵布图由局部优化转变为准全局优化,并由此得到了理想的结果.
本文提出了一种新的顺序程序并行性的识别方法——基于变量活动域的识别方法,这种方法在程序转换的基础上,系统地削弱了语句之间的数据相关性,提高了程序的并行性;并在变量活
本文在近二十种机器上多种不同的UNIX版本上实现了中英文兼容的信息处理系统——C-UNIX。本文从这些开发的实践出发,讲述了C-UNIX的内码设计,实现目标,总体方案及总体结构,比