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
1181
TITLE: Experimental evaluation of a caching technique for ILP
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 151-155
1182
TITLE: From simulation to practice: Cache performance study of a prolog system. cache performance study of a Prolog system
AUTHORS: Lopes, R ; Castro, LF ; Costa, VS ;
PUBLISHED: 2003, SOURCE: Workshop on Memory System Performance (MSP 2002) in ACM SIGPLAN NOTICES, VOLUME: 38, ISSUE: 2, PAGES: 56-64
1183
1184
TITLE: Linearization by program transformation
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, VOLUME: 3018, PAGES: 160-175
1185
TITLE: Mob: A scripting language for mobile agents based on a process calculus
AUTHORS: Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Web Engineering (ICWE 2003) in WEB ENGINEERING, PROCEEDINGS, VOLUME: 2722, PAGES: 40-43
1186
TITLE: Mooshak: a Web-based multi-site programming contest system
AUTHORS: Leal, JP ; Silva, F ;
PUBLISHED: 2003, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 33, ISSUE: 6, PAGES: 567-581
1187
TITLE: On deterministic computations in the extended Andorra model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2003, SOURCE: 19th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2916, PAGES: 407-421
1188
TITLE: On the BEAM implementation
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 131-135
1189
TITLE: Performance Issues in Prolog Applications
AUTHORS: Costa, VS ;
PUBLISHED: 2003, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 8
1190
TITLE: Toward automatic management of embarrassingly parallel applications
AUTHORS: Dutra, I ; Page, D; Costa, VS ; Shavlik, J; Waddell, M;
PUBLISHED: 2003, SOURCE: 9th International Euro-Par Conference on Parallel Processing in EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 2790, PAGES: 509-516
1191
TITLE: YapDss: An Or-parallel prolog system for scalable Beowulf clusters
AUTHORS: Rocha, R ; Silva, F ; Martins, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 136-150
1192
TITLE: Achieving Scalability in Parallel Tabled Logic Programs
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 2002, SOURCE: IPDPS, PAGES: 148-154
1193
TITLE: Distributed shared memory in kernel mode
AUTHORS: Trevisan, TS; Costa, VS ; Whately, L; Amorim, CL;
PUBLISHED: 2002, SOURCE: 14th Symposium on Computer Architecture and High Performance Computing in 14TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 159-166
1194
TITLE: From simulation to practice: Cache performance study of a Prolog system. cache performance study of a Prolog system
AUTHORS: Lopes, R; Castro, LF; Costa, VS ;
PUBLISHED: 2002, SOURCE: 2002 Workshop on Memory System Performance, MSP 2002 in Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002, PAGES: 56-64
1195
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 259-274
1196
TITLE: P<SUP>3</SUP>:: Parallel peer to peer an -: Internet parallel programming environment
AUTHORS: Oliveira, L ; Lopes, L ; Silva, F ;
PUBLISHED: 2002, SOURCE: International Workshop on Web Engineering/International Workshop on Peer-to-Peer Computing held Jointly with Networking 2002 in WEB ENGINEERING AND PEER TO PEER COMPUTING, VOLUME: 2376, PAGES: 274-288
1197
TITLE: Performance evaluation of fast Ethernet, Giganet and Myrinet on a cluster
AUTHORS: Lobosco, M; Costa, VS ; de Amorim, CL;
PUBLISHED: 2002, SOURCE: International Conference on Computational Science in COMPUTATIONAL SCIENCE-ICCS 2002, PT I, PROCEEDINGS, VOLUME: 2329, PAGES: 296-305
1198
TITLE: The Impact of Linearity Information on the Performance of TyCO
AUTHORS: Francisco Martins ; Luís M B Lopes ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2002, SOURCE: TIP@MPC, VOLUME: 75, PAGES: 41-60
1199
TITLE: Using Constraint Logic Programming to Generate Drills in Mathematics
AUTHORS: Ana Paula Tomás ; José Paulo Leal ; Pedro Vasconcelos;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 155-172
1200
TITLE: A Novel Implementation of the Extended Andorra Model
AUTHORS: Ricardo Lopes; Vítor Santos Costa ; Fernando M A Silva ;
PUBLISHED: 2001, SOURCE: PADL, VOLUME: 1990, PAGES: 199-213

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