Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 109



1
TÍTULO: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog  Full Text
AUTORES: Moreno, Pedro; Areias, Miguel ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
2
TÍTULO: Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs
AUTORES: Moreno, Pedro ; Rocha, Ricardo ;
PUBLICAÇÃO: 2023, FONTE: 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) in PROCEEDINGS OF THE 35TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2023
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: On the correctness of a lock-free compression-based elastic mechanism for a hash trie design  Full Text
AUTORES: Areias, Miguel ; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: COMPUTING, VOLUME: 104, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
4
TÍTULO: Parallel Logic Programming: A Sequel
AUTORES: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
5
TÍTULO: On the correctness and efficiency of a novel lock-free hash trie map design
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
6
TÍTULO: On the implementation of memory reclamation methods in a lock-free hash trie design
AUTORES: Moreno, P ; Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
7
TÍTULO: Pruning strategies for the efficient traversal of the search space in PILP environments  Full Text
AUTORES: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLICAÇÃO: 2021, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 63, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
8
TÍTULO: Towards an Elastic Lock-Free Hash Trie Design
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2021, FONTE: 20th International Symposium on Parallel and Distributed Computing (ISPDC) in 2021 20TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC)
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | DBLP
9
TÍTULO: A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map
AUTORES: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2020, FONTE: 26th International European Conference on Parallel and Distributed Computing, Euro-Par 2020 in Euro-Par 2020: Parallel Processing - 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings, VOLUME: 12247
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
10
TÍTULO: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTORES: Ricardo Leite ; Ricardo Rocha ;
PUBLICAÇÃO: 2019, FONTE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 1 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