Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (907kB) | Vista Previa |
Implementation of an event driven scheme for visualizing parallel execution of logic programs.
Cita
Carro Liñares, Manuel 
ORCID: https://orcid.org/0000-0001-5199-3135, Gómez Henríquez, Luis M. and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(1992).
Implementation of an event driven scheme for visualizing parallel execution of logic programs..
En: "Primer Congreso Nacional de Programaci'on Declarativa", September 28-30, 1992, Madrid, Spain.
ORCID: https://orcid.org/0000-0001-5199-3135, Gómez Henríquez, Luis M. and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(1992).
Implementation of an event driven scheme for visualizing parallel execution of logic programs..
En: "Primer Congreso Nacional de Programaci'on Declarativa", September 28-30, 1992, Madrid, Spain.
Descripción
| Título: | Implementation of an event driven scheme for visualizing parallel execution of logic programs. |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | Primer Congreso Nacional de Programaci'on Declarativa |
| Fechas del Evento: | September 28-30, 1992 |
| Lugar del Evento: | Madrid, Spain |
| Título del Libro: | Programación declarativa : primer Congreso Nacional ProDe'92, 28-30 septiembre, 1992, Madrid, España |
| Fecha: | Septiembre 1992 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
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.
Más información
| ID de Registro: | 15062 |
|---|---|
| Identificador DC: | https://oa.upm.es/15062/ |
| Identificador OAI: | oai:oa.upm.es:15062 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 05 May 2013 07:41 |
| Ultima Modificación: | 21 Abr 2016 15:09 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
