Publicações com os mesmos autores da publicação YapOr: an Or-Parallel Prolog System Based on Environment Copying

Agrupar Por: Ordenação:

Artigo em Revista Científica Internacional

Speculative computations in or-parallel tabled logic programs

Rocha, R (Autor) (FCUP); Silva, F (Autor) (FCUP); Costa, VS (Autor) (FCUP)

2004

Classificação Científica Indexação

Or-Parallelism within Tabling

Rocha, R (Autor) (FCUP); Silva, F (Autor) (FCUP); Costa, VS (Autor) (FCUP)

1999

Classificação Científica Indexação

On applying or-parallelism and tabling to logic programs

Rocha, R (Autor) (FCUP); Silva, F (Autor) (FCUP); Costa, VS (Autor) (FCUP)

2005

Classificação Científica Indexação

Novel models for or-parallel logic programs: A performance analysis

Costa, VS (Autor) (FCUP); Rocha, R (Autor) (FCUP); Silva, F (Autor) (FCUP)

2000

Classificação Científica Indexação

Improving the efficiency of inductive logic programming systems

Nuno A. Fonseca (Autor) (Outra); Vítor Santos Costa (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP); Rui Camacho (Autor) (FEUP); Fernando Silva (Autor) (FCUP)

2009

Classificação Científica Indexação Documentos

IMPACT: Innovative models for prolog with advanced control and tabling

Rocha, R (Autor) (FCUP); Lopes, R (Autor) (FCUP); Silva, F (Autor) (FCUP); Costa, VS (Autor) (FCUP)

2005

Classificação Científica Indexação

Dynamic mixed-strategy evaluation of tabled logic programs

Rocha, R (Autor) (FCUP); Silva, F (Autor) (FCUP); Costa, VS (Autor) (FCUP)

2005

Classificação Científica Indexação

Concurrent table accesses in parallel tabled logic programs

Rocha, R (Autor) (FCUP); Silva, F (Autor) (FCUP); Costa, VS (Autor) (FCUP)

2004

Classificação Científica Indexação

Artigo em Livro de Atas de Conferência Internacional

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines

Ines Dutra (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP); Vitor Santos Costa (Autor) (FCUP); Fernando Silva (Autor) (FCUP); Joao Santos (Autor) (Outra)

2012

Classificação Científica Indexação