Fernando Manuel Augusto da Silva


AuthID: R-000-510

Publicações Confirmadas: 112



101
TÍTULO: Or-Parallelism within Tabling  Full Text
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 1999, FONTE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
102
TÍTULO: YapOr: an Or-Parallel Prolog System Based on Environment Copying
AUTORES: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLICAÇÃO: 1999, FONTE: EPIA, VOLUME: 1695
INDEXADO EM: Scopus DBLP CrossRef: 7
103
TÍTULO: Distribution and Mobility with Lexical Scoping in Process Calculi
AUTORES: Vasco Thudichum Vasconcelos ; Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 1998, FONTE: HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98) in Electr. Notes Theor. Comput. Sci., VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
104
TÍTULO: The SBA: Exploiting orthogonality in AND-OR parallel systems
AUTORES: Correia, ME ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 1997, FONTE: 1997 International Logic Programming Symposium (ILPS 97) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
105
TÍTULO: Thread- and process-based implementations of the pSystem parallel programming environment  Full Text
AUTORES: Lopes, LMB ; Silva, FMA ;
PUBLICAÇÃO: 1997, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
106
TÍTULO: Performance of Sparse Binding Arrays for Or-Parallelism
AUTORES: Vítor Santos Costa ; Manuel Eduardo Correia ; Fernando Silva ;
PUBLICAÇÃO: 1996, FONTE: Anais do VIII International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 1996)
INDEXADO EM: CrossRef: 1 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
107
TÍTULO: Aurora vs muse: A portability study of two or-parallel prolog systems  Full Text
AUTORES: Correia, ME ; Silva, FMA ; Costa, VS ;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
108
TÍTULO: Aurora, Andorra-I and Friends on the Sun
AUTORES: Vítor Santos Costa ; Manuel Eduardo Correia ; Fernando M A Silva ;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
109
TÍTULO: OR-PARALLEL PROLOG ON DISTRIBUTED SHARED-MEMORY ARCHITECTURES
AUTORES: SILVA, FMA ;
PUBLICAÇÃO: 1994, FONTE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
110
TÍTULO: Scheduling Algorithms Performance with the pSystem Parallel Programming Environment
AUTORES: Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 1994, FONTE: 6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 in PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, VOLUME: 817
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 11 de 12. Total de resultados: 112.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service