Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4490

56 Team Members
Filters -> Year: 2025
4301
TITLE: Matching and searching analysis for parallel hardware implementation on FPGAs
AUTHORS: Moisset, P; Diniz, P ; Park, J;
PUBLISHED: 2001, SOURCE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PAGES: 125-133
4302
TITLE: Movement Query Operations for Spatio-Temporal Databases
AUTHORS: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLISHED: 2001, SOURCE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
4303
TITLE: Mutant Operators for Testing Concurrent Java Programs
AUTHORS: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PAGES: 272-285
4304
TITLE: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2001, SOURCE: 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, PAGES: 31-40
4305
TITLE: Parallel image processing system on a cluster of personal computers - Best student paper award: First prize
AUTHORS: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PAGES: 439-452
4306
TITLE: Proteum/IM 2.0: An integrated mutation testing environment
AUTHORS: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
4307
TITLE: Proteum: A family of tools to support specification and program testing based on mutation
AUTHORS: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 113-116
4308
TITLE: Reducing rankings of classifiers by eliminating redundant classifiers
AUTHORS: Brazdil, P ; Soares, C ; Pereira, R;
PUBLISHED: 2001, SOURCE: 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, PAGES: 14-21
4309
TITLE: REQUIREMENTS FOR AN AGENT BASED INFORMATION SYSTEM SUPPORTING VARIABLY COUPLED NETWORKED ENTERPRISES
AUTHORS: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLISHED: 2001, SOURCE: 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, PAGES: 137-144
4310
TITLE: Sampling-based relative landmarks: Systematically test-driving algorithms before choosing
AUTHORS: Soares, C ; Petrak, J; Brazdil, P ;
PUBLISHED: 2001, SOURCE: 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, PAGES: 88-95
4311
TITLE: Self-tuned parallel processing system for heterogeneous clusters
AUTHORS: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, A;
PUBLISHED: 2001, SOURCE: 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, PAGES: 1451-1457
4312
TITLE: Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines
AUTHORS: Park, J; Diniz, PC ;
PUBLISHED: 2001, SOURCE: 14th International Symposium on System Synthesis (ISSS'01) in Proceedings of the International Symposium on System Synthesis, PAGES: 221-226
4313
TITLE: Toward the determination of sufficient mutant operators for C
AUTHORS: Barbosa, EF; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 2, PAGES: 113-136
4314
TITLE: Unit and integration testing strategies for C programs using mutation
AUTHORS: VINCENZI, AURI M. R. ; Maldonado, JC; Barbosa, EF; Delamaro, ME;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 4, PAGES: 249-268
4315
TITLE: Use-Case Controller
AUTHORS: Ademar Aguiar ; Alexandre Sousa; Alexandre Pinto;
PUBLISHED: 2001, SOURCE: Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), Irsee, Germany, July 4-8, 2001., PAGES: 53-68
4316
4317
TITLE: A comparison of ranking methods for classification algorithm selection
AUTHORS: Brazdil, PB ; Soares, C ;
PUBLISHED: 2000, SOURCE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PAGES: 63-74
4318
TITLE: A minimalist approach to framework documentation
AUTHORS: Ademar Aguiar ;
PUBLISHED: 2000, SOURCE: 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, PAGES: 143-144
4319
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: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, VOLUME: 1866, PAGES: 225-242
4320
TITLE: A Platform for Electronic Commerce with Adaptive Agents
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2000, SOURCE: 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, PAGES: 96-107

Results per Page: 20.
Page 216 of 225. Total results: 4490.