Manuel Eduardo Carvalho Duarte Correia


AuthID: R-000-A3B

Confirmed Publications: 64



61
TITLE: The SBA: Exploiting orthogonality in AND-OR parallel systems
AUTHORS: Correia, ME ; Silva, F ; Costa, VS ;
PUBLISHED: 1997, SOURCE: 1997 International Logic Programming Symposium (ILPS 97) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
62
TITLE: Performance of Sparse Binding Arrays for Or-Parallelism
AUTHORS: Vítor Santos Costa ; Manuel Eduardo Correia ; Fernando Silva ;
PUBLISHED: 1996, SOURCE: Anais do VIII International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 1996)
INDEXED IN: CrossRef: 1 Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: Aurora vs muse: A portability study of two or-parallel prolog systems  Full Text
AUTHORS: Correia, ME ; Silva, FMA ; Costa, VS ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
64
TITLE: Aurora, Andorra-I and Friends on the Sun
AUTHORS: Vítor Santos Costa ; Manuel Eduardo Correia ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 7 of 7. Total results: 64.

footer slogan

Useful Links

Get Help

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