Exploiting parallelism in tabled evaluations

Juliana Freire, Rui Hu, Terrance Swift, David S. Warren

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

Abstract

This paper addresses general issues involved in parallelizing tabled evaluations by introducing a model of shared-memory parallelism which we call table-parallelism, and by comparing it to traditional models of parallelizing SLD. A basic architecture for supporting table-parallelism in the framework of the SLG-WAM[14] is also presented, along with an algorithm for detecting termination of sub computations.

Original languageEnglish (US)
Title of host publicationProgramming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings
PublisherSpringer Verlag
Pages115-132
Number of pages18
Volume982
ISBN (Print)354060359X, 9783540603597
DOIs
StatePublished - 1995
Event7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995 - Utrecht, Netherlands
Duration: Sep 20 1995Sep 22 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume982
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995
CountryNetherlands
CityUtrecht
Period9/20/959/22/95

Fingerprint

Parallelism
Table
Evaluation
Shared Memory
Data storage equipment
Termination
Model
Architecture
Framework

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Freire, J., Hu, R., Swift, T., & Warren, D. S. (1995). Exploiting parallelism in tabled evaluations. In Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings (Vol. 982, pp. 115-132). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 982). Springer Verlag. https://doi.org/10.1007/BFb0026817

Exploiting parallelism in tabled evaluations. / Freire, Juliana; Hu, Rui; Swift, Terrance; Warren, David S.

Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings. Vol. 982 Springer Verlag, 1995. p. 115-132 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 982).

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

Freire, J, Hu, R, Swift, T & Warren, DS 1995, Exploiting parallelism in tabled evaluations. in Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings. vol. 982, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 982, Springer Verlag, pp. 115-132, 7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995, Utrecht, Netherlands, 9/20/95. https://doi.org/10.1007/BFb0026817
Freire J, Hu R, Swift T, Warren DS. Exploiting parallelism in tabled evaluations. In Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings. Vol. 982. Springer Verlag. 1995. p. 115-132. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0026817
Freire, Juliana ; Hu, Rui ; Swift, Terrance ; Warren, David S. / Exploiting parallelism in tabled evaluations. Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings. Vol. 982 Springer Verlag, 1995. pp. 115-132 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{2f52f3ac744f4a898d2803204adc919c,
title = "Exploiting parallelism in tabled evaluations",
abstract = "This paper addresses general issues involved in parallelizing tabled evaluations by introducing a model of shared-memory parallelism which we call table-parallelism, and by comparing it to traditional models of parallelizing SLD. A basic architecture for supporting table-parallelism in the framework of the SLG-WAM[14] is also presented, along with an algorithm for detecting termination of sub computations.",
author = "Juliana Freire and Rui Hu and Terrance Swift and Warren, {David S.}",
year = "1995",
doi = "10.1007/BFb0026817",
language = "English (US)",
isbn = "354060359X",
volume = "982",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "115--132",
booktitle = "Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings",

}

TY - GEN

T1 - Exploiting parallelism in tabled evaluations

AU - Freire, Juliana

AU - Hu, Rui

AU - Swift, Terrance

AU - Warren, David S.

PY - 1995

Y1 - 1995

N2 - This paper addresses general issues involved in parallelizing tabled evaluations by introducing a model of shared-memory parallelism which we call table-parallelism, and by comparing it to traditional models of parallelizing SLD. A basic architecture for supporting table-parallelism in the framework of the SLG-WAM[14] is also presented, along with an algorithm for detecting termination of sub computations.

AB - This paper addresses general issues involved in parallelizing tabled evaluations by introducing a model of shared-memory parallelism which we call table-parallelism, and by comparing it to traditional models of parallelizing SLD. A basic architecture for supporting table-parallelism in the framework of the SLG-WAM[14] is also presented, along with an algorithm for detecting termination of sub computations.

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

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

U2 - 10.1007/BFb0026817

DO - 10.1007/BFb0026817

M3 - Conference contribution

SN - 354060359X

SN - 9783540603597

VL - 982

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

SP - 115

EP - 132

BT - Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP 1995, Proceedings

PB - Springer Verlag

ER -