Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

AuthID: I-000-1RA

External   Internal

Publications Count: 1277

43 Team Members
Filters -> Year: 2026
1201
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, PAGES: 852-862
1202
TITLE: On a Tabling Engine That Can Exploit Or-Parallelism
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 2001, SOURCE: ICLP, VOLUME: 2237, PAGES: 43-58
1203
TITLE: Parallel Implementation of Decision Tree Learning Algorithms
AUTHORS: Nuno Amado; João Gama ; Fernando M A Silva ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 6-13
1204
TITLE: Type Inference using Constraint Handling Rules
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2001, SOURCE: WFLP, VOLUME: 64, PAGES: 56-72
1205
TITLE: Understanding Memory Management in Prolog Systems
AUTHORS: Luís Fernando Castro; Vítor Santos Costa ;
PUBLISHED: 2001, SOURCE: ICLP, PAGES: 11-26
1206
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, PAGES: 297-306
1207
TITLE: A Note on Two Simple Transformations for Improving the Efficiency of an ILP System
AUTHORS: Vítor Santos Costa ; Ashwin Srinivasan; Rui Camacho ;
PUBLISHED: 2000, SOURCE: ILP, PAGES: 225-242
1208
TITLE: Fine grained multithreading with process calculi
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, PAGES: 217-226
1209
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, PAGES: 744-753
1210
TITLE: Or-parallel Prolog on a distributed memory architecture
AUTHORS: Silva, F ; Watson, P;
PUBLISHED: 2000, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 43, ISSUE: 2, PAGES: 173-186
1211
1212
TITLE: Parallel logic programming systems on scalable architectures
AUTHORS: Costa, VS ; Bianchini, R; Dutra, ID ;
PUBLISHED: 2000, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 60, ISSUE: 7, PAGES: 835-852
1214
TITLE: The impact of cache coherence protocols on parallel logic programming systems
AUTHORS: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861, PAGES: 1285-1299
1215
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, PAGES: 244-260
1216
TITLE: ALEPH: An Environment for Managing Web Database Applications
AUTHORS: José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 792
1218
TITLE: COWL: Copy-on-write for logic programs
AUTHORS: Costa, VS ;
PUBLISHED: 1999, SOURCE: 13th Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP 1999) in IPPS/SPDP 1999: 13TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & 10TH SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, PAGES: 720-727
1219
TITLE: DAOS - Scalable And-Or parallelism
AUTHORS: Castro, LF; Costa, VS ; Geyer, CFR; Silva, F ; Vargas, PK; Correia, ME ;
PUBLISHED: 1999, SOURCE: 5th International Euro-Par Conference in EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685, PAGES: 899-908
1220
TITLE: Distance: A New Metric for Controlling Granularity for Parallel Execution
AUTHORS: Kish Shen; Vítor Santos Costa ; Andy King;
PUBLISHED: 1999, SOURCE: J. Funct. Log. Program., VOLUME: 1999, ISSUE: Special Issue 1

Results per Page: 20.
Page 61 of 64. Total results: 1277.