Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4490
56 Team MembersFilters -> Year: 2025
4301
TÃTULO: Matching and searching analysis for parallel hardware implementation on FPGAs
AUTORES: Moisset, P; Diniz, P ; Park, J;
PUBLICAÇÃO: 2001, FONTE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PÁGINAS: 125-133
AUTORES: Moisset, P; Diniz, P ; Park, J;
PUBLICAÇÃO: 2001, FONTE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PÁGINAS: 125-133
4302
TÃTULO: Movement Query Operations for Spatio-Temporal Databases
AUTORES: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLICAÇÃO: 2001, FONTE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
AUTORES: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLICAÇÃO: 2001, FONTE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
4303
TÃTULO: Mutant Operators for Testing Concurrent Java Programs
AUTORES: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PÁGINAS: 272-285
AUTORES: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PÁGINAS: 272-285
4304
TÃTULO: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2001, FONTE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PÁGINAS: 31-40
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2001, FONTE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PÁGINAS: 31-40
4305
TÃTULO: Parallel image processing system on a cluster of personal computers - Best student paper award: First prize
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PÁGINAS: 439-452
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PÁGINAS: 439-452
4306
TÃTULO: Proteum/IM 2.0: An integrated mutation testing environment
AUTORES: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 91-101
AUTORES: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 91-101
4307
TÃTULO: Proteum: A family of tools to support specification and program testing based on mutation
AUTORES: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 113-116
AUTORES: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 113-116
4308
TÃTULO: Reducing rankings of classifiers by eliminating redundant classifiers
AUTORES: Brazdil, P ; Soares, C ; Pereira, R;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 14-21
AUTORES: Brazdil, P ; Soares, C ; Pereira, R;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 14-21
4309
TÃTULO: REQUIREMENTS FOR AN AGENT BASED INFORMATION SYSTEM SUPPORTING VARIABLY COUPLED NETWORKED ENTERPRISES
AUTORES: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLICAÇÃO: 2001, FONTE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PÁGINAS: 137-144
AUTORES: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLICAÇÃO: 2001, FONTE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PÁGINAS: 137-144
4310
TÃTULO: Sampling-based relative landmarks: Systematically test-driving algorithms before choosing
AUTORES: Soares, C ; Petrak, J; Brazdil, P ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 88-95
AUTORES: Soares, C ; Petrak, J; Brazdil, P ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 88-95
4311
TÃTULO: Self-tuned parallel processing system for heterogeneous clusters
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, A;
PUBLICAÇÃO: 2001, FONTE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001) in PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PÁGINAS: 1451-1457
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, A;
PUBLICAÇÃO: 2001, FONTE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001) in PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PÁGINAS: 1451-1457
4312
TÃTULO: Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines
AUTORES: Park, J; Diniz, PC ;
PUBLICAÇÃO: 2001, FONTE: 14th International Symposium on System Synthesis (ISSS'01) in Proceedings of the International Symposium on System Synthesis, PÁGINAS: 221-226
AUTORES: Park, J; Diniz, PC ;
PUBLICAÇÃO: 2001, FONTE: 14th International Symposium on System Synthesis (ISSS'01) in Proceedings of the International Symposium on System Synthesis, PÁGINAS: 221-226
4313
TÃTULO: Toward the determination of sufficient mutant operators for C
AUTORES: Barbosa, EF; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, NÚMERO: 2, PÁGINAS: 113-136
AUTORES: Barbosa, EF; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, NÚMERO: 2, PÁGINAS: 113-136
4314
TÃTULO: Unit and integration testing strategies for C programs using mutation
AUTORES: VINCENZI, AURI M. R. ; Maldonado, JC; Barbosa, EF; Delamaro, ME;
PUBLICAÇÃO: 2001, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, NÚMERO: 4, PÁGINAS: 249-268
AUTORES: VINCENZI, AURI M. R. ; Maldonado, JC; Barbosa, EF; Delamaro, ME;
PUBLICAÇÃO: 2001, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, NÚMERO: 4, PÁGINAS: 249-268
4315
TÃTULO: Use-Case Controller
AUTORES: Ademar Aguiar ; Alexandre Sousa; Alexandre Pinto;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), Irsee, Germany, July 4-8, 2001., PÁGINAS: 53-68
AUTORES: Ademar Aguiar ; Alexandre Sousa; Alexandre Pinto;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), Irsee, Germany, July 4-8, 2001., PÁGINAS: 53-68
4316
TÃTULO: 21st Annual Conference of the European Association for Computer Graphics, Eurographics 2000 - Short Presentations, Interlaken, Switzerland, August 21-25, 2000
AUTORES: António Augusto de Sousa ; Juan Carlos Torres;
PUBLICAÇÃO: 2000, FONTE: Eurographics (Short Presentations)
AUTORES: António Augusto de Sousa ; Juan Carlos Torres;
PUBLICAÇÃO: 2000, FONTE: Eurographics (Short Presentations)
4317
TÃTULO: A comparison of ranking methods for classification algorithm selection
AUTORES: Brazdil, PB ; Soares, C ;
PUBLICAÇÃO: 2000, FONTE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PÁGINAS: 63-74
AUTORES: Brazdil, PB ; Soares, C ;
PUBLICAÇÃO: 2000, FONTE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PÁGINAS: 63-74
4318
TÃTULO: A minimalist approach to framework documentation
AUTORES: Ademar Aguiar ;
PUBLICAÇÃO: 2000, FONTE: 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000 in Object Oriented Programming Systems Languages and Applications Conference, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, Addendum to the proceedings, PÁGINAS: 143-144
AUTORES: Ademar Aguiar ;
PUBLICAÇÃO: 2000, FONTE: 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000 in Object Oriented Programming Systems Languages and Applications Conference, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, Addendum to the proceedings, PÁGINAS: 143-144
4319
TÃTULO: A Note on Two Simple Transformations for Improving the Efficiency of an ILP System
AUTORES: Vítor Santos Costa ; Ashwin Srinivasan; Rui Camacho ;
PUBLICAÇÃO: 2000, FONTE: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, VOLUME: 1866, PÁGINAS: 225-242
AUTORES: Vítor Santos Costa ; Ashwin Srinivasan; Rui Camacho ;
PUBLICAÇÃO: 2000, FONTE: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, VOLUME: 1866, PÁGINAS: 225-242
4320
TÃTULO: A Platform for Electronic Commerce with Adaptive Agents
AUTORES: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLICAÇÃO: 2000, FONTE: 3rd Workshop on Agent-Mediated Electronic Commerce held in conjunction with the Autonomous Agents conference, 2000 in Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop), VOLUME: 2003, PÁGINAS: 96-107
AUTORES: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLICAÇÃO: 2000, FONTE: 3rd Workshop on Agent-Mediated Electronic Commerce held in conjunction with the Autonomous Agents conference, 2000 in Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop), VOLUME: 2003, PÁGINAS: 96-107