ProfileOfResearchers

TÃTULO: On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2016, FONTE: 32nd International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, NÚMERO: 5-6

INDEXADO EM:

WOS

DBLP

TÃTULO: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines Full Text
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 4

INDEXADO EM:

Scopus

WOS

DBLP

TÃTULO: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7680

INDEXADO EM:

DBLP

TÃTULO: On the Efficient Implementation of Mode-Directed Tabling
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: PADL, VOLUME: 7752 LNCS

INDEXADO EM:

Scopus

DBLP

TÃTULO: Or-Parallel Prolog Execution on Clusters of Multicores
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29

INDEXADO EM:

Scopus

DBLP

TÃTULO: Mode-Directed Tabling and Applications in the YapTab System
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: SLATE

INDEXADO EM:

DBLP

TÃTULO: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTORES: Dutra, I ; Rocha, R ; Costa, VS ; Silva, F ; Santos, J ;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW)

INDEXADO EM:

Scopus

WOS

DBLP

Links Úteis