Publications

Publications by CRACS

1996

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

Authors
Dutra, IdC;

Publication
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

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

Publication
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.

CloseRead Abstract

1995

Data Oriented LP with Magritte

Authors
Leal, JP;

Publication
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

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

Publication
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

Authors
Dutra, IdC;

Publication
British Library, EThOS

Abstract

1994

Scheduling Algorithms Performance with the pSystem Parallel Programming Environment

Authors
Lopes, LMB; Silva, FMA;

Publication
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.

CloseRead Abstract