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

AuthID: I-000-0K9


Publications Count: 4619

61 Team Members
Filters -> Year: 2026
4441
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
4442
TITLE: Reducing Rankings of Classifiers by Eliminating Redundant Classifiers
AUTHORS: Pavel Brazdil ; Carlos Soares ; Rui Pereira;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 14-21
4443
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
4444
TITLE: Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms Before Choosing
AUTHORS: Carlos Soares ; Johann Petrak; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 88-95
4445
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
4446
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
4447
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
4448
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
4449
TITLE: Use-Case Controller
AUTHORS: Ademar Aguiar ; Alexandre Sousa; Alexandre Pinto;
PUBLISHED: 2001, SOURCE: EuroPLoP, PAGES: 53-68
4450
4451
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
4452
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
4453
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
4454
TITLE: A Platform for Electronic Commerce with Adaptive Agents
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2000, SOURCE: AMEC, VOLUME: 2003, PAGES: 96-107
4455
TITLE: Agent-based framework for the assessment of drivers' decision-making
AUTHORS: Rossetti Rosaldo, JF ; Sergio Bampi; Ronghui Liu; Vliet Dirck Van;
PUBLISHED: 2000, SOURCE: 2000 IEEE Intelligent Transportation Systems Proceedings in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 387-392
4456
TITLE: An enhanced static-list scheduling algorithm for temporal partitioning onto RPUs
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 485-496
4457
TITLE: Automatic synthesis of data storage and control structures for FPGA-based computing engines
AUTHORS: Diniz, P ; Park, J;
PUBLISHED: 2000, SOURCE: IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2000 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2000-January, PAGES: 91-100
4458
TITLE: Distributed planning and control systems for the virtual enterprise: organizational requirements and development life-cycle
AUTHORS: Soares, AL ; Azevedo, AL ; de Sousa, JP ;
PUBLISHED: 2000, SOURCE: JOURNAL OF INTELLIGENT MANUFACTURING, VOLUME: 11, ISSUE: 3, PAGES: 253-270
4459
TITLE: FC Portugal Team Description: RoboCup 2000 Simulation League Champion
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2000, SOURCE: RoboCup, VOLUME: 2019 LNAI, PAGES: 29-40
4460
TITLE: Graphical control of autonomous, virtual vehicles
AUTHORS: Leitao, JM ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 2000, SOURCE: 51st Vehicular Technology Conference in 2000 IEEE 51ST VEHICULAR TECHNOLOGY CONFERENCE, PROCEEDINGS, VOLS 1-3, VOLUME: 1, PAGES: 507-511

Results per Page: 20.
Page 223 of 231. Total results: 4619.