Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Publicações Confirmadas: 210



131
TÍTULO: Our experiences with optimizations in Sun's Java Just-In-Time compilers  Full Text
AUTORES: Da Silva, AF; Costa, VS ;
PUBLICAÇÃO: 2006, FONTE: Journal of Universal Computer Science, VOLUME: 12, NÚMERO: 7
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
132
TÍTULO: PFORTE: Revising probabilistic FOL theories
AUTORES: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLICAÇÃO: 2006, FONTE: IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4140 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
133
TÍTULO: The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages
AUTORES: Da Silva, AF; Costa, VS ;
PUBLICAÇÃO: 2006, FONTE: 22nd International Conference on Logic Programming, ICLP 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4079 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
134
TÍTULO: The design of the YAP compiler: An optimizing compiler for logic programming languages  Full Text
AUTORES: Da Silva, AF; Costa, VS ;
PUBLICAÇÃO: 2006, FONTE: Journal of Universal Computer Science, VOLUME: 12, NÚMERO: 7
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
135
TÍTULO: A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment
AUTORES: Bravo, HC; Page, D; Ramakrishnan, R; Shavlik, J; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
136
TÍTULO: An experimental evaluation of JAVA JIT technology  Full Text
AUTORES: Faustino Da Silva, A; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: Journal of Universal Computer Science, VOLUME: 11, NÚMERO: 7
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
137
TÍTULO: An integrated approach to learning Bayesian networks of rules
AUTORES: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
138
TÍTULO: Dynamic mixed-strategy evaluation of tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
139
TÍTULO: IMPACT: Innovative models for prolog with advanced control and tabling
AUTORES: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
140
TÍTULO: Improving memory usage in the BEAM
AUTORES: Lopes, R ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 14 de 21. Total de resultados: 210.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service