Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 210



171
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 | CIÊNCIAVITAE
172
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 | CIÊNCIAVITAE
173
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: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
174
175
TITLE: The impact of cache coherence protocols on parallel logic programming systems
AUTHORS: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic, CL 2000 in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
176
TITLE: COWL: Copy-on-write for logic programs  Full Text
AUTHORS: Costa, VS ;
PUBLISHED: 1999, SOURCE: 13th Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP 1999) in IPPS/SPDP 1999: 13TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & 10TH SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
177
TITLE: DAOS - Scalable And-Or parallelism
AUTHORS: Castro, LF; Costa, VS ; Geyer, CFR; Silva, F ; Vargas, PK; Correia, ME ;
PUBLISHED: 1999, SOURCE: 5th International Euro-Par Conference in EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
178
TITLE: Distance: A New Metric for Controlling Granularity for Parallel Execution
AUTHORS: Kish Shen; Vítor Santos Costa ; Andy King;
PUBLISHED: 1999, SOURCE: Journal of Functional and Logic Programming, VOLUME: 1999, ISSUE: Special Issue 1
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
179
TITLE: Optimising bytecode emulation for Prolog
AUTHORS: Costa, VS ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | DBLP | CIÊNCIAVITAE
180
TITLE: Or-Parallelism within Tabling  Full Text
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 1999, SOURCE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 18 of 21. Total results: 210.

footer slogan

Useful Links

Get Help

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