Miguel Areias

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 16

Top Topics

Top Venues

J. Parallel Distributed Comput.

Int. J. Parallel Program.

Publications

Pedro Moreno, Miguel Areias, Ricardo Rocha, Vítor Santos Costa
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog. Int. J. Parallel Program. 52 (3) (2024)
Miguel Areias, Ricardo Rocha
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design. Computing 104 (10) (2022)
Miguel Areias, Ricardo Rocha
Towards an Elastic Lock-Free Hash Trie Design. ISPDC (2021)
Miguel Areias, Ricardo Rocha
On the correctness and efficiency of a novel lock-free hash trie map design. J. Parallel Distributed Comput. 150 (2021)
Pedro Moreno, Miguel Areias, Ricardo Rocha
On the implementation of memory reclamation methods in a lock-free hash trie design. J. Parallel Distributed Comput. 155 (2021)
Pedro Moreno, Miguel Areias, Ricardo Rocha
A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map. Euro-Par (2020)
Pedro Moreno, Miguel Areias, Ricardo Rocha
Memory Reclamation Methods for Lock-Free Hash Tries. SBAC-PAD (2019)
Miguel Areias, Ricardo Rocha
Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Concurr. Comput. Pract. Exp. 31 (5) (2019)
Miguel Areias, Ricardo Rocha
Table space designs for implicit and explicit concurrent tabled evaluation. Theory Pract. Log. Program. 18 (5-6) (2018)
Miguel Areias, Ricardo Rocha
Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation. CoRR (2018)
Miguel Areias, Ricardo Rocha
On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Ricardo Gonçalves, Miguel Areias, Ricardo Rocha
Towards an Automated Test Bench Environment for Prolog Systems. SLATE (2017)
Miguel Areias, Ricardo Rocha
On scaling dynamic programming problems with a multithreaded tabling Prolog system. J. Syst. Softw. 125 (2017)
Ricardo Gonçalves, Miguel Areias, Ricardo Rocha
On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems. Inf. 8 (4) (2017)
Miguel Areias, Ricardo Rocha
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs. Int. J. Parallel Program. 44 (3) (2016)
Miguel Areias, Ricardo Rocha
Batched Evaluation of Full-Sharing Multithreaded Tabling. SLATE (2015)
Miguel Areias, Ricardo Rocha
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. CoRR (2014)
Miguel Areias, Ricardo Rocha
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. PADL (2014)
Miguel Areias, Ricardo Rocha
Batched evaluation of linear tabled logic programs. Comput. Sci. Inf. Syst. 10 (4) (2013)
Miguel Areias, Ricardo Rocha
On Extending a Linear Tabling Framework to Support Batched Scheduling. SLATE (2012)
Miguel Areias, Ricardo Rocha
Towards multi-threaded local tabling using a common table space. Theory Pract. Log. Program. 12 (4-5) (2012)
Miguel Areias, Ricardo Rocha
Towards Multi-Threaded Local Tabling Using a Common Table Space CoRR (2012)
Miguel Areias, Ricardo Rocha
An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. ICPADS (2012)
Miguel Areias, Ricardo Rocha
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs CoRR (2011)
Miguel Areias, Ricardo Rocha
On combining linear-based strategies for tabled evaluation of logic programs. Theory Pract. Log. Program. 11 (4-5) (2011)
Miguel Areias, Ricardo Rocha
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. PADL (2010)
Miguel Areias, Ricardo Rocha
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. EPIA (2009)