Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3965
49 Team MembersFilters -> Year: 2025
3561
TÃTULO: A model-to-implementation mapping tool for automated model-based GUI testing
AUTORES: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLICAÇÃO: 2005, FONTE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PÁGINAS: 450-464
AUTORES: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLICAÇÃO: 2005, FONTE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PÁGINAS: 450-464
3562
TÃTULO: A Multi-agent System for Intelligent Monotoring of Airline Operations
AUTORES: António J M Castro ; Eugenio Oliveira ;
PUBLICAÇÃO: 2005, FONTE: EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005, PÁGINAS: 91-102
AUTORES: António J M Castro ; Eugenio Oliveira ;
PUBLICAÇÃO: 2005, FONTE: EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005, PÁGINAS: 91-102
3563
TÃTULO: A register allocation algorithm in the presence of scalar replacement for fine-grain configurable architectures
AUTORES: Baradaran, N; Diniz, PC ;
PUBLICAÇÃO: 2005, FONTE: Design, Automation and Test in Europe, DATE '05 in Proceedings -Design, Automation and Test in Europe, DATE '05, VOLUME: I, PÁGINAS: 6-11
AUTORES: Baradaran, N; Diniz, PC ;
PUBLICAÇÃO: 2005, FONTE: Design, Automation and Test in Europe, DATE '05 in Proceedings -Design, Automation and Test in Europe, DATE '05, VOLUME: I, PÁGINAS: 6-11
3564
TÃTULO: A test infrastructure for compilers targeting FPGAs
AUTORES: Rodrigues, RMM; Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PÁGINAS: 168-175
AUTORES: Rodrigues, RMM; Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PÁGINAS: 168-175
3565
TÃTULO: A tool for fast development of modular and hierarchic neural network-based systems
AUTORES: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLICAÇÃO: 2005, FONTE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PÁGINAS: 161-163
AUTORES: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLICAÇÃO: 2005, FONTE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PÁGINAS: 161-163
3566
TÃTULO: A tool for fast development of modular and hierarchic neural network-based systems
AUTORES: Francisco Reinaldo; Mauro Roisenberg; Jorge M Barreto; Rui Camacho ; Luís P Reis ;
PUBLICAÇÃO: 2005
AUTORES: Francisco Reinaldo; Mauro Roisenberg; Jorge M Barreto; Rui Camacho ; Luís P Reis ;
PUBLICAÇÃO: 2005
3567
TÃTULO: A weighted rank measure of correlation
AUTORES: Da Costa, JP ; Soares, C ;
PUBLICAÇÃO: 2005, FONTE: AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, VOLUME: 47, NÚMERO: 4, PÁGINAS: 515-529
AUTORES: Da Costa, JP ; Soares, C ;
PUBLICAÇÃO: 2005, FONTE: AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, VOLUME: 47, NÚMERO: 4, PÁGINAS: 515-529
3568
TÃTULO: Advice-exchange between evolutionary algorithms and reinforcement learning agents: Experiments in the pursuit domain
AUTORES: Nunes, L ; Oliveira, E ;
PUBLICAÇÃO: 2005, FONTE: 4th Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 3394, PÁGINAS: 185-204
AUTORES: Nunes, L ; Oliveira, E ;
PUBLICAÇÃO: 2005, FONTE: 4th Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 3394, PÁGINAS: 185-204
3569
TÃTULO: An Agent-Based Approach to Assess Drivers' Interaction with Pre-Trip Information Systems
AUTORES: Rosaldo J F Rossetti ; Ronghui Liu;
PUBLICAÇÃO: 2005, FONTE: J. Intell. Transp. Syst., VOLUME: 9, NÚMERO: 1, PÁGINAS: 1-10
AUTORES: Rosaldo J F Rossetti ; Ronghui Liu;
PUBLICAÇÃO: 2005, FONTE: J. Intell. Transp. Syst., VOLUME: 9, NÚMERO: 1, PÁGINAS: 1-10
3570
TÃTULO: An implementation of a framework for Cooperative Engineering
AUTORES: Gil Gonçalves ; Dias, PS; Santos, A; De Sousa, JB; Pereira, FL ;
PUBLICAÇÃO: 2005, FONTE: 16th Triennial World Congress of International Federation of Automatic Control, IFAC 2005 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 16, PÁGINAS: 25-30
AUTORES: Gil Gonçalves ; Dias, PS; Santos, A; De Sousa, JB; Pereira, FL ;
PUBLICAÇÃO: 2005, FONTE: 16th Triennial World Congress of International Federation of Automatic Control, IFAC 2005 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 16, PÁGINAS: 25-30
3571
TÃTULO: An infrastructure to functionally test designs generated by compilers targeting FPGAs
AUTORES: Rodrigues, R; Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: I, PÁGINAS: 30-31
AUTORES: Rodrigues, R; Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: I, PÁGINAS: 30-31
3572
TÃTULO: Aplicando novos paradigmas biológicos para emergir comportamento em um sistema autónomo
AUTORES: Francisco Reinaldo; Rui Camacho ; Luís Reis;
PUBLICAÇÃO: 2005
AUTORES: Francisco Reinaldo; Rui Camacho ; Luís Reis;
PUBLICAÇÃO: 2005
3573
TÃTULO: Applying biological paradigms to emerge behaviour in RoboCup Rescue team
AUTORES: Reinaldo, F; Certo, J; Cordeiro, N; Reis, LP ; Camacho, R ; Lau, N ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PÁGINAS: 422-434
AUTORES: Reinaldo, F; Certo, J; Cordeiro, N; Reis, LP ; Camacho, R ; Lau, N ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PÁGINAS: 422-434
3574
TÃTULO: Automatic mapping of C to FPGAs with the DEFACTO compilation and synthesis system
AUTORES: Diniz, P ; Hall, M; Park, J; So, B; Ziegler, H;
PUBLICAÇÃO: 2005, FONTE: Microprocessors and Microsystems, VOLUME: 29, NÚMERO: 2-3, PÁGINAS: 51-62
AUTORES: Diniz, P ; Hall, M; Park, J; So, B; Ziegler, H;
PUBLICAÇÃO: 2005, FONTE: Microprocessors and Microsystems, VOLUME: 29, NÚMERO: 2-3, PÁGINAS: 51-62
3575
TÃTULO: CHIADO - Compilation of high-level computationally intensive algorithms to dynamically reconfligurable computing systems
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PÁGINAS: 893-901
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PÁGINAS: 893-901
3576
TÃTULO: CMB'05: Workshop on Computational Methods in Bioinformatics
AUTORES: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo Azevedo ;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PÁGINAS: 129-129
AUTORES: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo Azevedo ;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PÁGINAS: 129-129
3577
TÃTULO: Combining ontologies and agents to help in solving the heterogeneity problem in e-commerce negotiations
AUTORES: Malucelli, A; Palzer, D; Oliveira, E ;
PUBLICAÇÃO: 2005, FONTE: International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005) in DEEC 2005: INTERNATIONAL WORKSHOP ON DATA ENGINEERING ISSUES IN E-COMMERCE, PROCEEDINGS, VOLUME: 2005, PÁGINAS: 26-35
AUTORES: Malucelli, A; Palzer, D; Oliveira, E ;
PUBLICAÇÃO: 2005, FONTE: International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005) in DEEC 2005: INTERNATIONAL WORKSHOP ON DATA ENGINEERING ISSUES IN E-COMMERCE, PROCEEDINGS, VOLUME: 2005, PÁGINAS: 26-35
3578
TÃTULO: Compilation and temporal partitioning for a coarse-grain reconfigurable architecture
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2005, FONTE: New Algorithms, Architectures and Applications for Reconfigurable Computing, PÁGINAS: 105-115
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2005, FONTE: New Algorithms, Architectures and Applications for Reconfigurable Computing, PÁGINAS: 105-115
3579
TÃTULO: Compiler-directed design space exploration for caching and prefetching data in high-level synthesis
AUTORES: Baradaran, N; Diniz, PC ;
PUBLICAÇÃO: 2005, FONTE: 2005 IEEE International Conference on Field Programmable Technology in Proceedings - 2005 IEEE International Conference on Field Programmable Technology, VOLUME: 2005, PÁGINAS: 233-240
AUTORES: Baradaran, N; Diniz, PC ;
PUBLICAÇÃO: 2005, FONTE: 2005 IEEE International Conference on Field Programmable Technology in Proceedings - 2005 IEEE International Conference on Field Programmable Technology, VOLUME: 2005, PÁGINAS: 233-240
3580
TÃTULO: Contributions to an electronic institution supporting virtual enterprises' life cycle
AUTORES: Rocha, AP ; Cardoso, HL ; Oliveira, E ;
PUBLICAÇÃO: 2005, FONTE: Virtual Enterprise Integration: Technological and Organizational Perspectives, PÁGINAS: 229-246
AUTORES: Rocha, AP ; Cardoso, HL ; Oliveira, E ;
PUBLICAÇÃO: 2005, FONTE: Virtual Enterprise Integration: Technological and Organizational Perspectives, PÁGINAS: 229-246