Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > Speculative computations in or-parallel tabled logic programs > View related publications
Publication

Publications

Publications with the same authors as the Speculative computations in or-parallel tabled logic programs publication

Group by: Order:

Article in International Scientific Journal

Or-Parallelism within Tabling
Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)
On applying or-parallelism and tabling to logic programs
Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)
Novel models for or-parallel logic programs: A performance analysis
Costa, VS (Author) (FCUP); Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP)
Improving the efficiency of inductive logic programming systems
Nuno A. Fonseca (Author) (Other); Vítor Santos Costa (Author) (FCUP); Ricardo Rocha (Author) (FCUP); Rui Camacho (Author) (FEUP); Fernando Silva (Author) (FCUP)
IMPACT: Innovative models for prolog with advanced control and tabling
Rocha, R (Author) (FCUP); Lopes, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)
Dynamic mixed-strategy evaluation of tabled logic programs
Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)
Concurrent table accesses in parallel tabled logic programs
Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)

Article in International Conference Proceedings Book

YapOr: an Or-Parallel Prolog System Based on Environment Copying
Ricardo Rocha (Author) (FCUP); Fernando M A Silva (Author) (FCUP); Vítor Santos Costa (Author) (FCUP)
1999
Indexing
Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
Ines Dutra (Author) (FCUP); Ricardo Rocha (Author) (FCUP); Vitor Santos Costa (Author) (FCUP); Fernando Silva (Author) (FCUP); Joao Santos (Author) (Other)
On a Tabling Engine That Can Exploit Or-Parallelism
Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)
2001
Indexing
Achieving Scalability in Parallel Tabled Logic Programs
Ricardo Rocha (Author) (FCUP); Fernando M A Silva (Author) (FCUP); Vítor Santos Costa (Author) (FCUP)
2002
Indexing

Records 1 to 11 from 11

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

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-10 at 08:44:35 | Privacy Policy | Personal Data Protection Policy | Whistleblowing