Fernando Manuel Augusto da Silva


AuthID: R-000-510

Publicações Confirmadas: 113



91
TÍTULO: A Novel Implementation of the Extended Andorra Model
AUTORES: Ricardo Lopes; Vítor Santos Costa ; Fernando M A Silva ;
PUBLICAÇÃO: 2001, FONTE: 3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001 in Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings, VOLUME: 1990
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
92
TÍTULO: Fine-grained multithreading with process calculi
AUTORES: Lopes, L ; Vasconcelos, VT ; Silva, F ;
PUBLICAÇÃO: 2001, FONTE: International Conference on Parallel Architectures and Compilation Techniques in IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 50, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
93
TÍTULO: On a Tabling Engine That Can Exploit Or-Parallelism
AUTORES: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLICAÇÃO: 2001, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
94
TÍTULO: Parallel Implementation of Decision Tree Learning Algorithms
AUTORES: Nuno Amado; João Gama ; Fernando M A Silva ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258
INDEXADO EM: Scopus DBLP CrossRef: 15
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
95
TÍTULO: A concurrent programming environment with support for distributed computations and code mobility
AUTORES: Lopes, L ; Figueira, A ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2000, FONTE: 2nd Annual IEEE International Conference on Cluster Computing in CLUSTER 2000: IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PROCEEDINGS, VOLUME: 2000-January
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
96
TÍTULO: Fine grained multithreading with process calculi  Full Text
AUTORES: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2000, FONTE: International Conference on Parallel Architectures and Compilation Techniques in 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
97
TÍTULO: Novel models for or-parallel logic programs: A performance analysis
AUTORES: Costa, VS ; Rocha, R ; Silva, F ;
PUBLICAÇÃO: 2000, FONTE: 6th International Euro-Par 2000 Conference in EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 1900
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
98
TÍTULO: Or-parallel Prolog on a distributed memory architecture  Full Text
AUTORES: Silva, F ; Watson, P;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 43, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
99
TÍTULO: A virtual machine for a process calculus
AUTORES: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 1999, FONTE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
100
TÍTULO: DAOS - Scalable And-Or parallelism
AUTORES: Castro, LF; Costa, VS ; Geyer, CFR; Silva, F ; Vargas, PK; Manuel E. Correia ;
PUBLICAÇÃO: 1999, FONTE: 5th International Euro-Par Conference in EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 10 de 12. Total de resultados: 113.

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

Links Úteis

Ajuda

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