Miguel Areias

发表

On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs

Ricardo Rocha, Miguel Areias, 2014, PADL.

Multi‐dimensional lock‐free arrays for multithreaded mode‐directed tabling in Prolog

Ricardo Rocha, Miguel Areias, 2019, Concurr. Comput. Pract. Exp..

Batched evaluation of linear tabled logic programs

Ricardo Rocha, Miguel Areias, 2013, Comput. Sci. Inf. Syst..

Towards an Automated Population Genomics Pipeline for Microsatellite Screening and Primer Design

Miguel Areias, Antonio Muñoz-Merida, Filipe Alves, 2020 .

On Extending a Linear Tabling Framework to Support Batched Scheduling

Ricardo Rocha, Miguel Areias, 2012, SLATE.

A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map

Ricardo Rocha, Miguel Areias, Pedro Moreno, 2020, Euro-Par.

On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs

Ricardo Rocha, Miguel Areias, 2009, EPIA.

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs

Ricardo Rocha, Miguel Areias, 2014, International Journal of Parallel Programming.

Table space designs for implicit and explicit concurrent tabled evaluation

Ricardo Rocha, Miguel Areias, Ricardo Rocha, 2018, Theory and Practice of Logic Programming.

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems

Ricardo Rocha, Ricardo Gonçalves, Miguel Areias, 2017, Inf..

On scaling dynamic programming problems with a multithreaded tabling Prolog system

Ricardo Rocha, Miguel Areias, Ricardo Rocha, 2017, J. Syst. Softw..

FAST AND SECURE AUTOMATIC RETRIEVAL OF DATA FROM MULTI-VENDOR DEVICES - THE PORTUGUESE EXPERIENCE

Miguel Louro, Bruno Antunes, Miguel Areias, 2013 .

Towards an Automated Test Bench Environment for Prolog Systems

Ricardo Rocha, Ricardo Gonçalves, Miguel Areias, 2017, SLATE.

Security and reliability of critical utility infrastructures

Paulo Veríssimo, Miguel Areias, Paulo Moniz, 2009 .

An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs

Ricardo Rocha, Miguel Areias, 2012, 2012 IEEE 18th International Conference on Parallel and Distributed Systems.

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives

Ricardo Rocha, Miguel Areias, 2010, PADL.

On combining linear-based strategies for tabled evaluation of logic programs pdf

Ricardo Rocha, Miguel Areias, 2011, Theory Pract. Log. Program..

Batched Evaluation of Full-Sharing Multithreaded Tabling

Ricardo Rocha, Miguel Areias, 2015, SLATE.

Towards multi-threaded local tabling using a common table space

Ricardo Rocha, Miguel Areias, 2012, Theory Pract. Log. Program..

On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys

Ricardo Rocha, Miguel Areias, Ricardo Rocha, 2018, 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom).

Network active management for load balacing based in a intelligent multi agent system

Francisco Melo, Jose Barata, Miguel Areias, 2012 .

SECURITY FOR CRITICAL INFRASTRUCTURE SCADA SYSTEMS

Miguel Areias, Carlos Mota Pinto, Jesus Prieto, 2013 .

A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling pdf

Ricardo Rocha, Miguel Areias, 2014, ArXiv.

Towards an Elastic Lock-Free Hash Trie Design

Ricardo Rocha, Miguel Areias, 2021, 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC).

On the implementation of memory reclamation methods in a lock-free hash trie design

Ricardo Rocha, Miguel Areias, Pedro Moreno, 2021, J. Parallel Distributed Comput..

On the correctness and efficiency of a novel lock-free hash trie map design

Ricardo Rocha, Miguel Areias, 2021, J. Parallel Distributed Comput..

On Scaling Dynamic Programming Problems with a Multithreaded Tabling System

Ricardo Rocha, Miguel Areias, 2014 .