Fernando Manuel Augusto da Silva


AuthID: R-000-510

Confirmed Publications: 113



71
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
72
TITLE: On applying or-parallelism and tabling to logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
73
TITLE: Strategies to parallelize ILP systems
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625
INDEXED IN: Scopus WOS DBLP CrossRef: 10 Handle
IN MY: ORCID | DBLP
74
TITLE: Topic 9 - Parallel Programming: Models, Methods and Languages
AUTHORS: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLISHED: 2005, SOURCE: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, VOLUME: 3648
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
75
TITLE: Concurrent table accesses in parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
76
TITLE: Exploiting parallelism in the Extended Andorra Model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: IASTED International Conference on Parallel and Distributed Computing and Networks in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
77
TITLE: On avoiding redundancy in inductive logic programming
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2004, SOURCE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Handle
IN MY: ORCID | DBLP
78
TITLE: Pruning in the extended Andorra model  Full Text
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
79
TITLE: Speculative computations in or-parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
80
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 8 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