Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Table space designs for implicit and explicit concurrent tabled evaluation > Visualizar Publicações Relacionadas

Publicações

Publicações com os mesmos autores da publicação Table space designs for implicit and explicit concurrent tabled evaluation

Agrupar Por: Ordenação:

Tese

On Applying Linear Tabling to Logic Programs
MIGUEL AREIAS (Autor) (FCUP); Ricardo Rocha (Coordenador) (FCUP)

Livro

Special Issue: High-Level Parallel Programming and Applications
Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
2021

Artigo em Revista Científica Internacional

Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
Moreno, P (Autor) (Outra); Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP); Costa, VS (Autor) (FCUP)
Towards multi-threaded local tabling using a common table space
Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)
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)
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)
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design
Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
On combining linear-based strategies for tabled evaluation of logic programs
Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)
Batched Evaluation of Linear Tabled Logic Programs
Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

Artigo em Livro de Atas de Conferência Internacional

Towards an Elastic Lock-Free Hash Trie Design
Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
Towards an Automated Test Bench Environment for Prolog Systems
Gonçalves, R (Autor) (Outra); Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
On the correctness and efficiency of lock-free expandable tries for tabled logic programs
Areias, M (Autor) (Outra); Rocha, R (Autor) (FCUP)
On Scaling Dynamic Programming Problems with a Multithreaded Tabling System
Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)
2014
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
Miguel Areias (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
On Extending a Linear Tabling Framework to Support Batched Scheduling
Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

Registos 1 a 20 de 30

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-21 às 22:12:48 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias