Fernando Manuel Augusto da Silva


AuthID: R-000-510

Confirmed Publications: 113



101
TITLE: Di_pSystem: A Parallel Programming System for Distributed Memory Architectures
AUTHORS: Fernando M A Silva ; Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 1999, SOURCE: 6th European Parallel Virtual Machine and Message Passing Interface Users’ Group Meeting, 1999 in Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, VOLUME: 1697
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
102
TITLE: Or-Parallelism within Tabling  Full Text
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
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
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
103
TITLE: YapOr: an Or-Parallel Prolog System Based on Environment Copying
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
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 | CIÊNCIAVITAE
104
TITLE: Distribution and Mobility with Lexical Scoping in Process Calculi
AUTHORS: Vasco Thudichum Vasconcelos ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1998, SOURCE: HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98) in Electr. Notes Theor. Comput. Sci., VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
105
TITLE: The SBA: Exploiting orthogonality in AND-OR parallel systems
AUTHORS: Manuel E. Correia ; 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
106
TITLE: Thread- and process-based implementations of the pSystem parallel programming environment  Full Text
AUTHORS: Lopes, LMB ; Silva, FMA ;
PUBLISHED: 1997, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
107
TITLE: Performance of Sparse Binding Arrays for Or-Parallelism
AUTHORS: Vítor Santos Costa ; Manuel E. 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
108
TITLE: Aurora vs muse: A portability study of two or-parallel prolog systems  Full Text
AUTHORS: Manuel E. Correia ; 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
109
TITLE: Aurora, Andorra-I and Friends on the Sun
AUTHORS: Vítor Santos Costa ; Manuel E. 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
110
TITLE: OR-PARALLEL PROLOG ON DISTRIBUTED SHARED-MEMORY ARCHITECTURES
AUTHORS: SILVA, FMA ;
PUBLISHED: 1994, SOURCE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 11 of 12. Total results: 113.

A place for researchers and their institutions

Useful Links

Get Help

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