Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
IDIOM: Integrating dependent and-, independent and-, and or-parallelism
Cita
Gupta, Gopal, Santos Costa, Vítor, Yang, Rong and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(1991).
IDIOM: Integrating dependent and-, independent and-, and or-parallelism.
En: "ISLP 1991 International Symposium Logic Programming", Oct. 28 - Nov 1, 1991, San Diego, California, USA. ISBN 0262691477.
ORCID: https://orcid.org/0000-0002-7583-323X
(1991).
IDIOM: Integrating dependent and-, independent and-, and or-parallelism.
En: "ISLP 1991 International Symposium Logic Programming", Oct. 28 - Nov 1, 1991, San Diego, California, USA. ISBN 0262691477.
Descripción
| Título: | IDIOM: Integrating dependent and-, independent and-, and or-parallelism |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | ISLP 1991 International Symposium Logic Programming |
| Fechas del Evento: | Oct. 28 - Nov 1, 1991 |
| Lugar del Evento: | San Diego, California, USA |
| Título del Libro: | Logic Programming, Proceedings of the 1991 International Symposium |
| Fecha: | Octubre 1991 |
| ISBN: | 0262691477 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model and the Extended And-Or Tree Model. Our model supports both Prolog as well as the fíat concurrent logic languages. We discuss the issues that arise in combining the three forms of parallelism, and our solutions to them. We also present an implementation scheme, based on binding arrays, for implementing IDIOM.
Más información
| ID de Registro: | 14484 |
|---|---|
| Identificador DC: | https://oa.upm.es/14484/ |
| Identificador OAI: | oai:oa.upm.es:14484 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 14 Feb 2013 07:35 |
| Ultima Modificación: | 21 Abr 2016 14:11 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
