Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por CRACS

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.

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

1994

Visualization and Interaction in Logic Programming

Autores
Leal, JP;

Publicação
Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges

Abstract

  • 188
  • 192