Fernando Manuel Augusto da Silva


AuthID: R-000-510

Publicações Confirmadas: 113



71
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 | ResearcherID | DBLP | CIÊNCIAVITAE
72
TÍTULO: On applying or-parallelism and tabling to logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
73
TÍTULO: Strategies to parallelize ILP systems
AUTORES: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
NO MEU: ORCID | DBLP
74
TÍTULO: Topic 9 - Parallel Programming: Models, Methods and Languages
AUTORES: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLICAÇÃO: 2005, FONTE: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, VOLUME: 3648
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
75
TÍTULO: Concurrent table accesses in parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
76
TÍTULO: Exploiting parallelism in the Extended Andorra Model
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: IASTED International Conference on Parallel and Distributed Computing and Networks in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
77
TÍTULO: On avoiding redundancy in inductive logic programming
AUTORES: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
NO MEU: ORCID | DBLP
78
TÍTULO: Pruning in the extended Andorra model  Full Text
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
79
TÍTULO: Speculative computations in or-parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
80
TÍTULO: A multi-threaded asynchronous language
AUTORES: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLICAÇÃO: 2003, FONTE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 8 de 12. Total de resultados: 113.

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

Links Úteis

Ajuda

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