Publications with the same authors as the On Scaling Dynamic Programming Problems with a Multithreaded Tabling System publication

Group by: Tipo Ano Order: Title Year Type of publication

Thesis

On Applying Linear Tabling to Logic Programs

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

2010

Scientific classification Documents Institutions

FOS: Computer and information sciences

CORDIS: Computer science

File name	Description	Size
Fulltext	Dissertação	604.51 KB

FCUP - Faculdade de Ciências da Universidade do Porto

Book

Special Issue: High-Level Parallel Programming and Applications

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

2021

Article in International Scientific Journal

Towards multi-threaded local tabling using a common table space

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

2012

Scientific classification Indexing

ISI Web of Knowledge - 8 Citations

Scopus - 10 Citations

FOS: Computer and information sciences

Table space designs for implicit and explicit concurrent tabled evaluation

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

2018

Indexing

ISI Web of Knowledge

Scopus

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

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

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

ISI Web of Knowledge

Scopus

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

Indexing

ISI Web of Knowledge

Scopus

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

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

2021

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

On scaling dynamic programming problems with a multithreaded tabling, Prolog system

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

2017

Indexing

ISI Web of Knowledge - 4 Citations

Scopus - 5 Citations

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

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

2011

Scientific classification Indexing

ISI Web of Knowledge - 3 Citations

Scopus - 5 Citations

FOS: Computer and information sciences

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

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

2019

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 2 Citations

Batched Evaluation of Linear Tabled Logic Programs

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

2013

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

FOS: Computer and information sciences

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

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

2016

Indexing

ISI Web of Knowledge - 8 Citations

Scopus - 9 Citations

Article in International Conference Proceedings Book

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

Scopus

FOS: Computer and information sciences

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

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

2017

Scientific classification Indexing

Scopus - 5 Citations

FOS: Computer and information sciences

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

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

2014

Indexing

ISI Web of Knowledge

Scopus - 7 Citations

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

ISI Web of Knowledge

Scopus

FOS: Computer and information sciences

On Extending a Linear Tabling Framework to Support Batched Scheduling

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

2012

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

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

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

2018

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 2 Citations

Mixed-Strategies for Linear Tabling in Prolog

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

2010

Scientific classification

FOS: Computer and information sciences

CORDIS: Computer science

Records 1 to 20 from 28

 

1

  2