Architecture and evaluation of a Reduction-based Parallel Inference Machine: PIM-R

Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

This paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.

Original languageEnglish
Title of host publicationLogic Programming '85 - Proceedings of the 4th Conference
PublisherSpringer-Verlag
Pages1-12
Number of pages12
ISBN (Print)9783540164791
DOIs
Publication statusPublished - 1986 Jan 1
Externally publishedYes
Event4th International Conference on Logic Programming, 1985 - Tokyo, Japan
Duration: 1985 Jul 11985 Jul 3

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume221 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Logic Programming, 1985
CountryJapan
CityTokyo
Period85/7/185/7/3

Fingerprint

Prolog
Simulators
Evaluation
Concurrent
Parallelism
Architecture
Simulator
Target
Software
Simulation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Onai, R., Shimizu, H., Masuda, K., Matsumoto, A., & Aso, M. (1986). Architecture and evaluation of a Reduction-based Parallel Inference Machine: PIM-R. In Logic Programming '85 - Proceedings of the 4th Conference (pp. 1-12). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 221 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-16479-0_1

Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R. / Onai, Rikio; Shimizu, Hajime; Masuda, Kanae; Matsumoto, Akira; Aso, Moritoshi.

Logic Programming '85 - Proceedings of the 4th Conference. Springer-Verlag, 1986. p. 1-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 221 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Onai, R, Shimizu, H, Masuda, K, Matsumoto, A & Aso, M 1986, Architecture and evaluation of a Reduction-based Parallel Inference Machine: PIM-R. in Logic Programming '85 - Proceedings of the 4th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 221 LNCS, Springer-Verlag, pp. 1-12, 4th International Conference on Logic Programming, 1985, Tokyo, Japan, 85/7/1. https://doi.org/10.1007/3-540-16479-0_1
Onai R, Shimizu H, Masuda K, Matsumoto A, Aso M. Architecture and evaluation of a Reduction-based Parallel Inference Machine: PIM-R. In Logic Programming '85 - Proceedings of the 4th Conference. Springer-Verlag. 1986. p. 1-12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-16479-0_1
Onai, Rikio ; Shimizu, Hajime ; Masuda, Kanae ; Matsumoto, Akira ; Aso, Moritoshi. / Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R. Logic Programming '85 - Proceedings of the 4th Conference. Springer-Verlag, 1986. pp. 1-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{9be5a055cc5348bdb52ccf2114b24822,
title = "Architecture and evaluation of a Reduction-based Parallel Inference Machine: PIM-R",
abstract = "This paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.",
author = "Rikio Onai and Hajime Shimizu and Kanae Masuda and Akira Matsumoto and Moritoshi Aso",
year = "1986",
month = "1",
day = "1",
doi = "10.1007/3-540-16479-0_1",
language = "English",
isbn = "9783540164791",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "1--12",
booktitle = "Logic Programming '85 - Proceedings of the 4th Conference",

}

TY - GEN

T1 - Architecture and evaluation of a Reduction-based Parallel Inference Machine

T2 - PIM-R

AU - Onai, Rikio

AU - Shimizu, Hajime

AU - Masuda, Kanae

AU - Matsumoto, Akira

AU - Aso, Moritoshi

PY - 1986/1/1

Y1 - 1986/1/1

N2 - This paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.

AB - This paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.

UR - http://www.scopus.com/inward/record.url?scp=84909726569&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84909726569&partnerID=8YFLogxK

U2 - 10.1007/3-540-16479-0_1

DO - 10.1007/3-540-16479-0_1

M3 - Conference contribution

AN - SCOPUS:84909726569

SN - 9783540164791

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 12

BT - Logic Programming '85 - Proceedings of the 4th Conference

PB - Springer-Verlag

ER -