Publicacoes - INESC TEC

Publicações

Publicações por Vítor Santos Costa

1994

ACE: And/Or-parallel Copying-based Execution of Logic Programs

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

Publicação
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994

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

1998

Distance: A New Metric for Controlling Granularity for Parallel Execution

Autores
Shen, K; Costa, VS; King, A;

Publicação
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998

Abstract

1992

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog

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

Publicação
Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992

Abstract

1997

Evaluating the impact of coherence protocols on parallel logic programming systems

Autores
Costa, VS; Bianchini, R; Dutra, IdC;

Publicação
Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK

Abstract

1999

The BEAM: A first EAM Implementation

Autores
Lopes, R; Costa, VS;

Publicação
1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999

Abstract