Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 109



51
TÍTULO: Prolog programming with a map-reduce parallel construct
AUTORES: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 in Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
52
TÍTULO: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs  Full Text
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP
53
TÍTULO: Mode-Directed Tabling and Applications in the YapTab System
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
54
TÍTULO: On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
55
TÍTULO: Or-parallel prolog execution on multicores based on stack splitting
AUTORES: Rui Vieira; Ricardo Rocha ; Fernando M A Silva ;
PUBLICAÇÃO: 2012, FONTE: 7th Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP'12, Co-located with POPL 2012 in Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
56
TÍTULO: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTORES: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
57
TÍTULO: The YAP Prolog system
AUTORES: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 67
NO MEU: ORCID | ResearcherID | DBLP
58
TÍTULO: Towards multi-threaded local tabling using a common table space
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | ResearcherID | DBLP
59
TÍTULO: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs  Full Text
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
60
TÍTULO: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTORES: Flavio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
Página 6 de 11. Total de resultados: 109.

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