João Pedro Barreiros Nunes dos Santos


AuthID: R-001-S55

Confirmed Publications: 7



1
TITLE: On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
AUTHORS: Joao Santos ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: 32nd International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, ISSUE: 5-6
INDEXED IN: WOS DBLP CrossRef: 1
IN MY: DBLP
2
TITLE: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines  Full Text
AUTHORS: Joao Santos ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
3
TITLE: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System PDF
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7680
INDEXED IN: DBLP arXiv
IN MY: DBLP
4
TITLE: On the efficient implementation of mode-directed tabling
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: DBLP
5
TITLE: Or-parallel prolog execution on clusters of multicores  Full Text
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29
INDEXED IN: Scopus DBLP
IN MY: DBLP
6
TITLE: Mode-Directed Tabling and Applications in the YapTab System
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTHORS: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service