Fernando Manuel Augusto da Silva


AuthID: R-000-510

Confirmed Publications: 113



91
TITLE: A Novel Implementation of the Extended Andorra Model
AUTHORS: Ricardo Lopes; Vítor Santos Costa ; Fernando M A Silva ;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
92
TITLE: Fine-grained multithreading with process calculi
AUTHORS: Lopes, L ; Vasconcelos, VT ; Silva, F ;
PUBLISHED: 2001, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 50, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
93
TITLE: On a Tabling Engine That Can Exploit Or-Parallelism
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
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: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
94
TITLE: Parallel Implementation of Decision Tree Learning Algorithms
AUTHORS: Nuno Amado; João Gama ; Fernando M A Silva ;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
95
TITLE: A concurrent programming environment with support for distributed computations and code mobility
AUTHORS: Lopes, L ; Figueira, A ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: 2nd Annual IEEE International Conference on Cluster Computing in CLUSTER 2000: IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PROCEEDINGS, VOLUME: 2000-January
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
96
TITLE: Fine grained multithreading with process calculi  Full Text
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
97
TITLE: Novel models for or-parallel logic programs: A performance analysis
AUTHORS: Costa, VS ; Rocha, R ; Silva, F ;
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
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
98
TITLE: Or-parallel Prolog on a distributed memory architecture  Full Text
AUTHORS: Silva, F ; Watson, P;
PUBLISHED: 2000, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 43, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
99
TITLE: A virtual machine for a process calculus
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
100
TITLE: DAOS - Scalable And-Or parallelism
AUTHORS: Castro, LF; Costa, VS ; Geyer, CFR; Silva, F ; Vargas, PK; Manuel E. Correia ;
PUBLISHED: 1999, SOURCE: 5th International Euro-Par Conference in EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 10 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