Publicações com os mesmos autores da publicação On Scaling Dynamic Programming Problems with a Multithreaded Tabling System

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicação

Tese

On Applying Linear Tabling to Logic Programs

MIGUEL AREIAS (Autor) (FCUP); Ricardo Rocha (Coordenador) (FCUP)

2010

Classificação Científica Documentos Instituicões

FOS: Ciências da computação e da informação

CORDIS: Ciência de computadores

Nome do Ficheiro	Descrição	Tamanho
Fulltext	Dissertação	604.51 KB

FCUP - Faculdade de Ciências da Universidade do Porto

Livro

Special Issue: High-Level Parallel Programming and Applications

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

2021

Artigo em Revista Científica Internacional

Towards multi-threaded local tabling using a common table space

Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2012

Classificação Científica Indexação

ISI Web of Knowledge - 8 Citações

Scopus - 10 Citações

FOS: Ciências da computação e da informação

Table space designs for implicit and explicit concurrent tabled evaluation

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

2018

Indexação

ISI Web of Knowledge

Scopus

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

Moreno, P (Autor) (Outra); Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)

2021

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

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

Goncalves, R (Autor) (Outra); Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)

2017

Indexação

ISI Web of Knowledge

Scopus

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

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

2022

Indexação

ISI Web of Knowledge

Scopus

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

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

2021

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

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

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

2017

Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 5 Citações

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

Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2011

Classificação Científica Indexação

ISI Web of Knowledge - 3 Citações

Scopus - 5 Citações

FOS: Ciências da computação e da informação

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

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

2019

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 2 Citações

Batched Evaluation of Linear Tabled Logic Programs

Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2013

Classificação Científica Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

FOS: Ciências da computação e da informação

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

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

2016

Indexação

ISI Web of Knowledge - 8 Citações

Scopus - 9 Citações

Artigo em Livro de Atas de Conferência Internacional

Towards an Automated Test Bench Environment for Prolog Systems

Gonçalves, R (Autor) (Outra); Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)

2017

Classificação Científica Indexação

Scopus

FOS: Ciências da computação e da informação

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

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

2017

Classificação Científica Indexação

Scopus - 5 Citações

FOS: Ciências da computação e da informação

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

Areias, M (Autor) (Outra); Rocha, R (Autor) (FCUP)

2014

Indexação

ISI Web of Knowledge

Scopus - 7 Citações

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

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

2009

Classificação Científica Indexação

ISI Web of Knowledge

Scopus

FOS: Ciências da computação e da informação

On Extending a Linear Tabling Framework to Support Batched Scheduling

Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2012

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

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

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

2018

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 2 Citações

Mixed-Strategies for Linear Tabling in Prolog

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

2010

Classificação Científica

FOS: Ciências da computação e da informação

CORDIS: Ciência de computadores

Registos 1 a 20 de 28

 

1

  2