41
TITLE: Batched Evaluation of Linear Tabled Logic Programs  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Article, PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
42
TITLE: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System PDF
AUTHORS: João Santos ; Ricardo Rocha ;
TYPE: Unpublished, PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7680
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
43
TITLE: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores PDF
AUTHORS: Rui Vieira; Ricardo Rocha ; Fernando M. A. Silva ;
TYPE: Unpublished, PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7690
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
44
TITLE: On the efficient implementation of mode-directed tabling
AUTHORS: Santos, J ; Rocha, R ;
TYPE: Proceedings Paper, 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: ORCID | DBLP
45
TITLE: Or-parallel prolog execution on clusters of multicores  Full Text
AUTHORS: Santos, J ; Rocha, R ;
TYPE: Proceedings Paper, 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: ORCID | DBLP
46
TITLE: Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems PDF
AUTHORS: Ricardo Rocha ; Christian Theil Have;
TYPE: Unpublished, PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1307.8389
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
47
TITLE: Prolog programming with a map-reduce parallel construct
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
TYPE: Proceedings Paper, PUBLISHED: 2013, SOURCE: 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 in Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
48
TITLE: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Proceedings Paper, PUBLISHED: 2012, SOURCE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
49
TITLE: Mode-Directed Tabling and Applications in the YapTab System
AUTHORS: João Santos ; Ricardo Rocha ;
TYPE: Proceedings Paper, 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: ORCID | DBLP
50
TITLE: On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTHORS: Miguel Areias ; Ricardo Rocha ;
TYPE: Proceedings Paper, 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: ORCID | DBLP
Page 5 of 11. Total results: 105.