Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 110



11
TITLE: Towards an Elastic Lock-Free Hash Trie Design
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: 20th International Symposium on Parallel and Distributed Computing (ISPDC) in 2021 20TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC)
INDEXED IN: Scopus WOS DBLP CrossRef
12
TITLE: A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2020, SOURCE: Euro-Par, VOLUME: 12247 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
13
TITLE: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTHORS: Leite, R ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
14
TITLE: Memory Reclamation Methods for Lock-Free Hash Tries
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
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: 2
15
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog
AUTHORS: Miguel Areias ; 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
16
TITLE: Improving Candidate Quality of Probabilistic Logic Models
AUTHORS: Joana Côrte Real ; Anton Dries; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 64
INDEXED IN: Scopus DBLP
17
TITLE: LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: VECPAR, VOLUME: 11333 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
18
TITLE: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTHORS: Miguel Areias ; 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: 3
19
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
20
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 | CIÊNCIAVITAE
Page 2 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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