Instalation Map

Publication

Publication Search

Publications

Publications with the same authors as the On scaling dynamic programming problems with a multithreaded tabling, Prolog system publication

Group by: Order:

Thesis

On Applying Linear Tabling to Logic Programs

MIGUEL AREIAS (Author) (FCUP); Ricardo Rocha (Coordinator) (FCUP)

2010

Scientific classification Documents Institutions

File name	Description	Size
Fulltext	Dissertação	604.51 KB

Book

Special Issue: High-Level Parallel Programming and Applications

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2021

Article in International Scientific Journal

Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog

Moreno, P (Author) (Other); Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP); Costa, VS (Author) (FCUP)

2024

Scientific classification Indexing

Towards multi-threaded local tabling using a common table space

Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)

2012

Scientific classification Indexing

Table space designs for implicit and explicit concurrent tabled evaluation

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2018

Indexing

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

Moreno, P (Author) (Other); Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2021

Indexing

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

Goncalves, R (Author) (Other); Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2017

Indexing

On the correctness of a lock-free compression-based elastic mechanism for a hash trie design

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2022

Scientific classification Indexing

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

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2021

Indexing

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

Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)

2011

Scientific classification Indexing

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

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2019

Indexing

Batched Evaluation of Linear Tabled Logic Programs

Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)

2013

Scientific classification Indexing

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

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2016

Indexing

Article in International Conference Proceedings Book

Towards an Elastic Lock-Free Hash Trie Design

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2021

Indexing

Towards an Automated Test Bench Environment for Prolog Systems

Gonçalves, R (Author) (Other); Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2017

Scientific classification Indexing

Towards a Lock-Free, Fixed Size and Persistent Hash Map Design

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2017

Scientific classification Indexing

On the correctness and efficiency of lock-free expandable tries for tabled logic programs

Areias, M (Author) (Other); Rocha, R (Author) (FCUP)

2014

Indexing

On Scaling Dynamic Programming Problems with a Multithreaded Tabling System

Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)

2014

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

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2009

Scientific classification Indexing

On Extending a Linear Tabling Framework to Support Batched Scheduling

Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)

2012

Indexing

Records 1 to 20 from 30