1
TITLE: A lock-free coalescing-capable mechanism for memory management
AUTHORS: Leite, R ; Rocha, R ;
SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management, ISMM 2019 in International Symposium on Memory Management, ISMM, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator
AUTHORS: Leite, R ; Rocha, R ;
SOURCE: 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11333 LNCS, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
3
TITLE: Memory reclamation methods for lock-free hash tries  Full Text
AUTHORS: Moreno, P ; Areias, M ; Rocha, R ;
SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2019 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2019-October, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5, PUBLISHED: 2019
INDEXED IN: WOS CrossRef
IN MY: ORCID
5
TITLE: Improving Candidate Quality of Probabilistic Logic Models
AUTHORS: Joana Côrte Real; Anton Dries; Inês Dutra ; Ricardo Rocha ;
SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64, PUBLISHED: 2018
INDEXED IN: DBLP
IN MY: ORCID | DBLP
6
TITLE: On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys
AUTHORS: Miguel Areias ; Ricardo Rocha ;
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, PUBLISHED: 2018
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
SOURCE: CoRR, VOLUME: abs/1806.00441, PUBLISHED: 2018
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
8
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
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;
SOURCE: ICLP (Technical Communications), VOLUME: 58, PUBLISHED: 2018
INDEXED IN: DBLP
IN MY: ORCID | DBLP
10
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Ricardo Rocha ; Tran Cao Son;
SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 1 of 10. Total results: 100.