Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Gómez Henríquez, Luis M. and Carro Liñares, Manuel and Hermenegildo, Manuel V. (1992). Implementation of an event driven scheme for visualizing parallel execution of logic programs. In: "IJCSLP 1992 Workshop on Concurrent and Parallel Implementations. Workshop 6 "Concurrent and Parallel Implementations"", November 1992, Washington.
Title: | Implementation of an event driven scheme for visualizing parallel execution of logic programs |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | IJCSLP 1992 Workshop on Concurrent and Parallel Implementations. Workshop 6 "Concurrent and Parallel Implementations" |
Event Dates: | November 1992 |
Event Location: | Washington |
Title of Book: | IJCSLP 1992 Workshop on Concurrent and Parallel Implementations |
Date: | 1992 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.
Item ID: | 14678 |
---|---|
DC Identifier: | https://oa.upm.es/14678/ |
OAI Identifier: | oai:oa.upm.es:14678 |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 22 Mar 2013 07:39 |
Last Modified: | 21 Apr 2016 14:27 |