ProfileOfResearchers

101

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

102

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: EPIA, VOLUME: 1695

INDEXED IN:

Scopus

DBLP

CrossRef: 7

103

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

104

TITLE: The SBA: Exploiting orthogonality in AND-OR parallel systems
AUTHORS: Correia, ME ; 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

105

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: 2

106

TITLE: Performance of Sparse Binding Arrays for Or-Parallelism
AUTHORS: Vítor Santos Costa ; Manuel Eduardo 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

107

TITLE: Aurora vs muse: A portability study of two or-parallel prolog systems Full Text
AUTHORS: Correia, ME ; 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

108

TITLE: Aurora, Andorra-I and Friends on the Sun
AUTHORS: Vítor Santos Costa ; Manuel Eduardo 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

109

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

110

TITLE: Scheduling Algorithms Performance with the pSystem Parallel Programming Environment
AUTHORS: Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1994, SOURCE: 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

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE