Publicacoes - INESC TEC

Publicações

Publicações por CRACS

1993

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

Autores
Silva, FMA;

Publicação
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

Autores
Filgueiras, M; Leal, JP;

Publicação
Electronic Publishing

Abstract

1993

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

Autores
Santos Costa, VMdM;

Publicação
British Library, EThOS

Abstract

1993

And-Or parallel Prolog: A recomputation based approach

Autores
Gupta, G; Hermenegildo, MV; Costa, VS;

Publicação
New Generation Computing

Abstract
We argue that in order to exploit both Independent And-and Or-parallelism in Prolog programs there is advantage in recomputing some of the independent goals, as opposed to all their solutions being reused. We present an abstract model, called the Composition-tree, for representing and-or parallelism in Prolog programs. The Composition-tree closely mirrors sequential Prolog execution by recomputing some independent goals rather than fully re-using them. We also outline two environment representation techniques for And-Or parallel execution of full Prolog based on the Composition-tree model abstraction. We argue that these techniques have advantages over earlier proposals for exploiting and-or parallelism in Prolog. © 1993 Ohmsha, Ltd. and Springer.

FecharLer Abstract

1993

Performance of the Compiler-Based Andorra-I System

Autores
Yang, R; Beaumont, T; Dutra, IdC; Costa, VS; Warren, DHD;

Publicação
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993

Abstract

1992

Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog

Autores
Gupta, G; Costa, VS;

Publicação
Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, SPDP 1992, Arlington, Texas, USA, December 1-4, 1992.

Abstract