Clik here to view.
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.
Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo: IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166
View ArticleClik here to view.
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and...
Vítor Santos Costa, David H. D. Warren, Rong Yang: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. PPoPP 1991: 83-93
View ArticleClik here to view.
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model.
Vítor Santos Costa, David H. D. Warren, Rong Yang: The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. ICLP 1991: 825-839
View ArticleClik here to view.
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model.
Vítor Santos Costa, David H. D. Warren, Rong Yang: The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. ICLP 1991: 443-456
View ArticleClik here to view.
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or...
Gopal Gupta, Vítor Santos Costa: Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP 1992: 288-295
View ArticleClik here to view.
And-Or Parallelism in Full Prolog with Paged Binding Arrays.
Gopal Gupta, Vítor Santos Costa: And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE 1992: 617-632
View ArticleClik here to view.
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog.
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations 1992
View ArticleClik here to view.
Performance of the Compiler-Based Andorra-I System.
Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren: Performance of the Compiler-Based Andorra-I System. ICLP 1993: 150-166
View ArticleClik here to view.
And-Or Parallel Prolog: A Recomputation Based Approach.
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: And-Or Parallel Prolog: A Recomputation Based Approach. New Gener. Comput. 11(3): 297-321 (1993)
View ArticleClik here to view.
Compile-time analysis for the parallel execution of logic programs in Andorra-1.
Vítor Manuel de Morais Santos Costa: Compile-time analysis for the parallel execution of logic programs in Andorra-1. University of Bristol, UK, 1993
View ArticleClik here to view.
Aurora, Andorra-I and Friends on the Sun.
Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva: Aurora, Andorra-I and Friends on the Sun. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 32-41
View ArticleClik here to view.
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
View ArticleClik here to view.
Optimal implementation of and-or parallel Prolog.
Gopal Gupta, Vítor Santos Costa: Optimal implementation of and-or parallel Prolog. Future Gener. Comput. Syst. 10(1): 71-92 (1994)
View ArticleClik here to view.
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic...
Gopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824
View ArticleClik here to view.
Andorra-I Compilation.
Vítor Santos Costa, David H. D. Warren, Rong Yang: Andorra-I Compilation. New Gener. Comput. 14(1): 3-30 (1996)
View ArticleClik here to view.
Cuts and Side-Effects in And-Or Parallel Prolog.
Gopal Gupta, Vítor Santos Costa: Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. 27(1): 45-71 (1996)
View ArticleClik here to view.
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems.
Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131
View ArticleClik here to view.
Evaluating the impact of coherence protocols on parallel logic programming...
Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra: Evaluating the impact of coherence protocols on parallel logic programming systems. PDP 1997: 376-381
View ArticleClik here to view.
Evaluating parallel logic programming systems on scalable multiprocessors.
Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra: Evaluating parallel logic programming systems on scalable multiprocessors. PASCO 1997: 58-67
View ArticleClik here to view.
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs.
Nuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra: VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. IJCSLP 1998: 100-114
View Article
