Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
AuthID: I-000-1RA Publications Count: 1277
43 Team MembersFilters -> Year: 2026
1221
TITLE: Di_pSystem: A Parallel Programming System for Distributed Memory Architectures
AUTHORS: Fernando M A Silva ; Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 1999, SOURCE: PVM/MPI, VOLUME: 1697, PAGES: 525-532
AUTHORS: Fernando M A Silva ; Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 1999, SOURCE: PVM/MPI, VOLUME: 1697, PAGES: 525-532
1222
TITLE: IAP for dummies: The YAP Design
AUTHORS: Manuel Eduardo Correia ; Vítor Santos Costa ;
PUBLISHED: 1999, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, VOLUME: 30, ISSUE: 3, PAGES: 106-121
AUTHORS: Manuel Eduardo Correia ; Vítor Santos Costa ;
PUBLISHED: 1999, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, VOLUME: 30, ISSUE: 3, PAGES: 106-121
1223
TITLE: Optimising bytecode emulation for Prolog
AUTHORS: Costa, VS ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PAGES: 261-277
AUTHORS: Costa, VS ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PAGES: 261-277
1224
TITLE: Or-Parallelism within Tabling
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, PAGES: 137-151
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, PAGES: 137-151
1225
TITLE: Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999
AUTHORS: Inês de Castro Dutra ; Vítor Santos Costa ; Gopal Gupta; Enrico Pontelli; Manuel Carro; Péter Kacsuk;
PUBLISHED: 1999, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, VOLUME: 30, ISSUE: 3
AUTHORS: Inês de Castro Dutra ; Vítor Santos Costa ; Gopal Gupta; Enrico Pontelli; Manuel Carro; Péter Kacsuk;
PUBLISHED: 1999, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, VOLUME: 30, ISSUE: 3
1226
TITLE: Performance evaluation of or-parallel logic programming systems on distributed shared-memory architectures
AUTHORS: Calegario, VM; Dutra, ID ;
PUBLISHED: 1999, SOURCE: EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685, PAGES: 1484-1491
AUTHORS: Calegario, VM; Dutra, ID ;
PUBLISHED: 1999, SOURCE: EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685, PAGES: 1484-1491
1227
TITLE: Preface
AUTHORS: Inês de Castro Dutra ; Vítor Santos Costa ; Gopal Gupta; Enrico Pontelli; Manuel Carro; Péter Kacsuk;
PUBLISHED: 1999, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, VOLUME: 30, ISSUE: 3, PAGES: 1-2
AUTHORS: Inês de Castro Dutra ; Vítor Santos Costa ; Gopal Gupta; Enrico Pontelli; Manuel Carro; Péter Kacsuk;
PUBLISHED: 1999, SOURCE: Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, VOLUME: 30, ISSUE: 3, PAGES: 1-2
1228
TITLE: The BEAM: A first EAM Implementation
AUTHORS: Ricardo Lopes; Vítor Santos Costa ;
PUBLISHED: 1999, SOURCE: APPIA-GULP-PRODE, PAGES: 425-440
AUTHORS: Ricardo Lopes; Vítor Santos Costa ;
PUBLISHED: 1999, SOURCE: APPIA-GULP-PRODE, PAGES: 425-440
1229
TITLE: The influence of architectural parameters on the performance of parallel logic programming systems
AUTHORS: Silva, MG; Dutra, IC ; Bianchini, R; Costa, VS ;
PUBLISHED: 1999, SOURCE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551, PAGES: 122-136
AUTHORS: Silva, MG; Dutra, IC ; Bianchini, R; Costa, VS ;
PUBLISHED: 1999, SOURCE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551, PAGES: 122-136
1230
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, PAGES: 178-192
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 1999, SOURCE: EPIA, VOLUME: 1695, PAGES: 178-192
1231
TITLE: Distance: A New Metric for Controlling Granularity for Parallel Execution
AUTHORS: Kish Shen; Vítor Santos Costa ; Andy King;
PUBLISHED: 1998, SOURCE: IJCSLP, PAGES: 85-99
AUTHORS: Kish Shen; Vítor Santos Costa ; Andy King;
PUBLISHED: 1998, SOURCE: IJCSLP, PAGES: 85-99
1232
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, VOLUME: 16, ISSUE: 3, PAGES: 189-204
AUTHORS: Vasco Thudichum Vasconcelos ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1998, SOURCE: HLCL, VOLUME: 16, ISSUE: 3, PAGES: 189-204
1233
TITLE: Optimising parallel logic programming systems for scalable machines
AUTHORS: Costa, VS ; Bianchini, R;
PUBLISHED: 1998, SOURCE: 4th International Euro-Par Conference on Parallel Processing in EURO-PAR '98 PARALLEL PROCESSING, VOLUME: 1470, PAGES: 831-841
AUTHORS: Costa, VS ; Bianchini, R;
PUBLISHED: 1998, SOURCE: 4th International Euro-Par Conference on Parallel Processing in EURO-PAR '98 PARALLEL PROCESSING, VOLUME: 1470, PAGES: 831-841
1234
TITLE: VisAll: A universal tool to visualise the parallel execution of logic programs
AUTHORS: Fonseca, N ; Costa, VS ; Dutra, ID ;
PUBLISHED: 1998, SOURCE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, PAGES: 100-114
AUTHORS: Fonseca, N ; Costa, VS ; Dutra, ID ;
PUBLISHED: 1998, SOURCE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, PAGES: 100-114
1235
TITLE: Evaluating parallel logic programming systems on scalable multiprocessors
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: PASCO, PAGES: 58-67
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: PASCO, PAGES: 58-67
1236
TITLE: Evaluating the impact of coherence protocols on parallel logic programming systems
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: PDP, PAGES: 376-381
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: PDP, PAGES: 376-381
1237
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, PAGES: 117-131
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, PAGES: 117-131
1238
TITLE: Thread- and process-based implementations of the pSystem parallel programming environment
AUTHORS: Lopes, LMB ; Silva, FMA ;
PUBLISHED: 1997, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 3, PAGES: 329-351
AUTHORS: Lopes, LMB ; Silva, FMA ;
PUBLISHED: 1997, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 3, PAGES: 329-351
1239
TITLE: Andorra-I Compilation
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1996, SOURCE: New Gener. Comput., VOLUME: 14, ISSUE: 1, PAGES: 3-30
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1996, SOURCE: New Gener. Comput., VOLUME: 14, ISSUE: 1, PAGES: 3-30
1240
TITLE: Cuts and side-effects in and-or parallel prolog
AUTHORS: Gupta, G; Costa, VS ;
PUBLISHED: 1996, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 27, ISSUE: 1, PAGES: 45-71
AUTHORS: Gupta, G; Costa, VS ;
PUBLISHED: 1996, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 27, ISSUE: 1, PAGES: 45-71
