Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 206



161
TITLE: A Novel Implementation of the Extended Andorra Model
AUTHORS: Ricardo Lopes; Vítor Santos Costa ; Fernando M A Silva ;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001 in Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings, VOLUME: 1990
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
162
TITLE: On a Tabling Engine That Can Exploit Or-Parallelism
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 2001, SOURCE: 17th International Conference on Logic Programming, ICLP 2001 in Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2237
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | DBLP
163
TITLE: Understanding Memory Management in Prolog Systems
AUTHORS: Luís Fernando Castro; Vítor Santos Costa ;
PUBLISHED: 2001, SOURCE: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2237
INDEXED IN: DBLP CrossRef: 5
IN MY: ORCID | DBLP
164
TITLE: A Note on Two Simple Transformations for Improving the Efficiency of an ILP System
AUTHORS: Vítor Santos Costa ; Ashwin Srinivasan; Rui Camacho ;
PUBLISHED: 2000, SOURCE: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, VOLUME: 1866
INDEXED IN: DBLP CrossRef: 12
IN MY: ORCID | DBLP
165
TITLE: IAP for dummies: The YAP design
AUTHORS: Eduardo Correia, M ; Santos Costa, V ;
PUBLISHED: 2000, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming (in Connection with ICLP'99, International Conference on Logic in Electronic Notes in Theoretical Computer Science, VOLUME: 30, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
166
TITLE: Novel models for or-parallel logic programs: A performance analysis
AUTHORS: Costa, VS ; Rocha, R ; Silva, F ;
PUBLISHED: 2000, SOURCE: 6th International Euro-Par 2000 Conference in EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 1900
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
167
TITLE: PADL '00: Workshop on Practical Aspects of Declarative Languages
AUTHORS: Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 2000, SOURCE: SIGPLAN Notices, VOLUME: 35, ISSUE: 3
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP
168
TITLE: Parallel logic programming systems on scalable architectures  Full Text
AUTHORS: Costa, VS ; Bianchini, R; Dutra, ID ;
PUBLISHED: 2000, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 60, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
169
170
TITLE: The impact of cache coherence protocols on parallel logic programming systems
AUTHORS: De Castro Dutra, I ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic, CL 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1861 LNAI
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 17 of 21. Total results: 206.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service