Publicacoes - INESC TEC

Publicações

Publicações por CRACS

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

1994

OR-PARALLEL PROLOG ON DISTRIBUTED SHARED-MEMORY ARCHITECTURES

Autores
SILVA, FMA;

Publicação
IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS

Abstract

1994

Aurora, Andorra-I and Friends on the Sun

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

Publicação
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994

Abstract

1994

A System to Visualize and Interact with Prolog Programs

Autores
Leal, JP;

Publicação
Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings

Abstract