Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 109



11
TITLE: Memory Reclamation Methods for Lock-Free Hash Tries  Full Text
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
12
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog  Full Text
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
13
TITLE: Improving Candidate Quality of Probabilistic Logic Models  Full Text
AUTHORS: Joana Côrte Real ; Anton Dries; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018 in Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
14
TITLE: LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018 in High Performance Computing for Computational Science - VECPAR 2018 - 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers, VOLUME: 11333
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
15
TITLE: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2018, SOURCE: 16th IEEE ISPA / 17th IEEE IUCC / 8th IEEE BDCloud / 11th IEEE SocialCom / 8th IEEE SustainCom in 2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
16
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
17
TITLE: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1806.00441
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
18
TITLE: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
INDEXED IN: DBLP
IN MY: ORCID | DBLP
19
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Ricardo Rocha ; Tran Cao Son;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
20
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 2 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