101
TITLE: Achieving Scalability in Parallel Tabled Logic Programs
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
TYPE: Proceedings Paper, PUBLISHED: 2002, SOURCE: 16th International Parallel and Distributed Processing Symposium, IPDPS 2002 in 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
102
TITLE: On a Tabling Engine That Can Exploit Or-Parallelism
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
TYPE: Proceedings Paper, PUBLISHED: 2001, SOURCE: 17th International Conference on Logic Programming, ICLP 2001 in Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2237
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID | DBLP
103
TITLE: Novel models for or-parallel logic programs: A performance analysis
AUTHORS: Costa, VS ; Rocha, R ; Silva, F ;
TYPE: Article, PUBLISHED: 2000, SOURCE: 6th International Euro-Par 2000 Conference in EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 1900
INDEXED IN: Scopus WOS DBLP CrossRef: 1
104
TITLE: Or-Parallelism within Tabling  Full Text
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
TYPE: Article, PUBLISHED: 1999, SOURCE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551
INDEXED IN: Scopus WOS DBLP CrossRef: 1
105
TITLE: YapOr: an Or-Parallel Prolog System Based on Environment Copying
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
TYPE: Proceedings Paper, PUBLISHED: 1999, SOURCE: 9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999 in Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings, VOLUME: 1695
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
Page 11 of 11. Total results: 105.