Publicacoes - INESC TEC

Publicações

Publicações por CRACS

1996

Distributing And-Work and Or-Work in Parallel Logic Programming Systems

Autores
Dutra, IdC;

Publicação
29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA

Abstract

1995

Aurora vs muse: A portability study of two or-parallel prolog systems

Autores
Correia, ME; Silva, FMA; Costa, VS;

Publicação
COMPUTING SYSTEMS IN ENGINEERING

Abstract
Prolog programs have explicit parallelism, that is, parallelism which can be exploited by a machine with minimal user effort. Or-parallelism is one such form of parallelism, and is particularly useful in that it is present in the many Prolog applications where several alternatives need to be considered. Or-parallelism has been exploited successfully in several systems, and especially in the Aurora and Muse systems. In this paper we analyze the portability of these two parallel systems onto a commercial shared memory parallel computer, a Sun SPARCcenter 2000 with 8 processors, running the Solaris 2.2 Operating System. We also analyze both systems' performance for classical benchmark programs and for two large Prolog applications.

FecharLer Abstract

1995

Data Oriented LP with Magritte

Autores
Leal, JP;

Publicação
Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995

Abstract

1995

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming

Autores
Gupta, G; Costa, VS; Pontelli, E;

Publicação
Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995

Abstract

1995

Distributing and- and or-work in the Andorra-I parallel logic programming system

Autores
Dutra, IdC;

Publicação
British Library, EThOS

Abstract

1994

Scheduling Algorithms Performance with the pSystem Parallel Programming Environment

Autores
Lopes, LMB; Silva, FMA;

Publicação
PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings

Abstract
The efficiency of scheduling algorithms is essential in order to attain optimal performances from parallel programming systems. In this paper we use a portable parallel programming environment we have implemented, the pSystem, to evaluate and compare the performance of various scheduling algorithms on shared memory parallel machines. © Springer-Verlag Berlin Heidelberg 1994.

FecharLer Abstract