Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Logótipo
Você está em: Start > Publications > On Applying Linear Tabling to Logic Programs > View related publications
Publication

Publications with the same authors as the On Applying Linear Tabling to Logic Programs publication

Group by: Order:

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)
Towards multi-threaded local tabling using a common table space
Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)
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)
On combining linear-based strategies for tabled evaluation of logic programs
Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)
Batched Evaluation of Linear Tabled Logic Programs
Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)

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)
Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)
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)
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

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2025 © Faculdade de Psicologia e de Ciências da Educação da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2025-07-04 at 13:25:37 | Acceptable Use Policy | Data Protection Policy | Complaint Portal