Publicacoes - INESC TEC

Publicações

Publicações por Vítor Santos Costa

1991

Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism

Autores
Costa, VS; Warren, DHD; Yang, R;

Publicação
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991

Abstract

1993

Performance of the Compiler-Based Andorra-I System

Autores
Yang, R; Beaumont, T; Dutra, IdC; Costa, VS; Warren, DHD;

Publicação
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993

Abstract

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