Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 109



51
TITLE: Prolog programming with a map-reduce parallel construct
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
52
TITLE: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP
53
TITLE: Mode-Directed Tabling and Applications in the YapTab System
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXED IN: DBLP
IN MY: ORCID | DBLP
54
TITLE: On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
55
TITLE: Or-parallel prolog execution on multicores based on stack splitting
AUTHORS: Rui Vieira; Ricardo Rocha ; Fernando M A Silva ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
56
TITLE: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTHORS: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
57
TITLE: The YAP Prolog system
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 67
IN MY: ORCID | ResearcherID | DBLP
58
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | ResearcherID | DBLP
59
TITLE: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs  Full Text
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
60
TITLE: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
Page 6 of 11. Total results: 109.

A place for researchers and their institutions

Useful Links

Get Help

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