Publications

Publications by CRACS

1994

ACE: And/Or-parallel Copying-based Execution of Logic Programs

Authors
Gupta, G; Hermenegildo, MV; Pontelli, E; Costa, VS;

Publication
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994

Abstract

1994

Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems

Authors
Dutra, IdC;

Publication
Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994

Abstract

1993

An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine

Authors
Silva, FMA;

Publication
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings

Abstract
Recently, new parallel architectures, namely distributed shared memory architectures, have been proposed and built. These combine the ease-of-use of shared memory architectures with the scalability of the message-passing architectures. These architectures provide software and hardware support for shared virtual address space on physically distributed memory. This paper describes Dorpp, an execution model that supports or-parallelism for these machine architectures, namely for the EDS parallel machine. Dorpp uses a shared memory model for or-parallelism. It attempts, however, at exploiting locality and at reducing communication overheads through scheduling and by caching accesses to remote shared data. The problem of memory coherency of cached data is discussed and solutions are proposed. Preliminary evaluation results of the execution model through simulation are presented. © Springer-Verlag Berlin Heidelberg 1993.

CloseRead Abstract

1993

Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture

Authors
Silva, FMA;

Publication
Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993

Abstract

1993

Representation and Manipulation of Music Documents in SceX

Authors
Filgueiras, M; Leal, JP;

Publication
Electronic Publishing

Abstract

1993

Compile-time analysis for the parallel execution of logic programs in Andorra-1

Authors
Santos Costa, VMdM;

Publication
British Library, EThOS

Abstract