论文信息 - Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project - 字舞流文

Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project

Takashi Chikayama | Katsuto Nakajima | Atsuhiro Goto | Kazuo Taki | Shunichi Uchida | T. Chikayama | K. Taki | A. Goto | Shunichi Uchida | K. Nakajima

[1] K. Taki,et al. The parallel software research and development tool: multi-PSI system , 1988 .

[2] Ehud Shapiro,et al. A subset of Concurrent Prolog and its interpreter , 1988 .

[3] Akihiko Konagaya,et al. Design of a high-speed Prolog machine (HPM) , 1985, ISCA '85.

[4] Hiroshi Nakashima,et al. An Efficient Termination Detection and Abortion Algorithm for Distributed Processing Systems , 1988, ICPP.

[5] Takashi Chikayama,et al. Macro-Call Instruction for the Efficient KL1 Implementation on PIM , 1988, FGCS.

[6] Hiroyuki Sato,et al. Overview of the Parallel Inference Machine Operating System (PIMOS) , 1988, FGCS.

[7] Akira Matsumoto,et al. Overview of the Parallel Inference Machine Architecture (PIM) , 1988, FGCS.

[8] Kazuaki Rokusawa,et al. KL1 Execution Model for PIM Cluster with Shared Memory , 1987, ICLP.

[9] Kazunori Ueda,et al. Introduction to Guarded Horn Clauses , 1987 .

[10] Takashi Chikayama,et al. An Abstract KL1 Machine and Its Instruction Set , 1987, SLP.

[11] Takashi Chikayama,et al. Unique Features of ESP , 1984, FGCS.

[12] Hiroshi Nakashima,et al. Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI) , 1984, Fifth Generation Computer Systems.