Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4441
56 Team MembersFilters -> Year: 2025
2301
TÃTULO: SSA-based MATLAB-to-C compilation and optimization
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2016, FONTE: 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2016 in Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016, PÁGINAS: 55-62
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2016, FONTE: 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2016 in Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016, PÁGINAS: 55-62
2302
TÃTULO: Supporting social skills rehabilitation with virtual storytelling
AUTORES: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLICAÇÃO: 2016, FONTE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, PÁGINAS: 329-334
AUTORES: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLICAÇÃO: 2016, FONTE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, PÁGINAS: 329-334
2303
TÃTULO: Systematic Functional Testing with Decision Table
AUTORES: Arantes, GF; de Freitas, DM; Leitao, PS; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2016, FONTE: I BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2016), VOLUME: 19-23-September-2016, PÁGINAS: 12:1-12:10
AUTORES: Arantes, GF; de Freitas, DM; Leitao, PS; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2016, FONTE: I BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2016), VOLUME: 19-23-September-2016, PÁGINAS: 12:1-12:10
2304
TÃTULO: Tackling Class Imbalance with Ranking
AUTORES: Cruz, R ; Fernandes, K ; Cardoso, JS ; Costa, JFP ;
PUBLICAÇÃO: 2016, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2016 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2016-October, PÁGINAS: 2182-2187
AUTORES: Cruz, R ; Fernandes, K ; Cardoso, JS ; Costa, JFP ;
PUBLICAÇÃO: 2016, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2016 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2016-October, PÁGINAS: 2182-2187
2305
TÃTULO: Testing Distributed and Heterogeneous Systems: State of the Practice
AUTORES: Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, PÁGINAS: 69-78
AUTORES: Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, PÁGINAS: 69-78
2306
TÃTULO: The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems
AUTORES: Cristina Silvano; Giovanni Agosta; Stefano Cherubin; Davide Gadioli; Gianluca Palermo; Andrea Bartolini; Luca Benini; Jan Martinovic; Martin Palkovic; Katerina Slaninová; João Bispo ; João M P Cardoso ; Rui Abreu ; Pedro Pinto ; Carlo Cavazzoni; Nico Sanna; Andrea R Beccari; Radim Cmar; Erven Rohou;
PUBLICAÇÃO: 2016, FONTE: ACM International Conference on Computing Frontiers, CF 2016 in Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016, PÁGINAS: 288-293
AUTORES: Cristina Silvano; Giovanni Agosta; Stefano Cherubin; Davide Gadioli; Gianluca Palermo; Andrea Bartolini; Luca Benini; Jan Martinovic; Martin Palkovic; Katerina Slaninová; João Bispo ; João M P Cardoso ; Rui Abreu ; Pedro Pinto ; Carlo Cavazzoni; Nico Sanna; Andrea R Beccari; Radim Cmar; Erven Rohou;
PUBLICAÇÃO: 2016, FONTE: ACM International Conference on Computing Frontiers, CF 2016 in Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016, PÁGINAS: 288-293
2307
TÃTULO: The Benefits of DOF Separation in Mid-air 3D Object Manipulation
AUTORES: Mendes, D ; Relvas, F; Ferreira, A ; Jorge, J;
PUBLICAÇÃO: 2016, FONTE: 22nd ACM Conference on Virtual Reality Software and Technology (VRST) in 22ND ACM CONFERENCE ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2016), VOLUME: 02-04-November-2016, PÁGINAS: 261-268
AUTORES: Mendes, D ; Relvas, F; Ferreira, A ; Jorge, J;
PUBLICAÇÃO: 2016, FONTE: 22nd ACM Conference on Virtual Reality Software and Technology (VRST) in 22ND ACM CONFERENCE ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2016), VOLUME: 02-04-November-2016, PÁGINAS: 261-268
2308
TÃTULO: The complementary aspect of automatically and manually generated test case sets
AUTORES: VINCENZI, AURI M. R. ; Tiago Bachiega; Daniel G de Oliveira; Simone do Rócio Senger de Souza; José Carlos Maldonado;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016, PÁGINAS: 23-30
AUTORES: VINCENZI, AURI M. R. ; Tiago Bachiega; Daniel G de Oliveira; Simone do Rócio Senger de Souza; José Carlos Maldonado;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016, PÁGINAS: 23-30
2309
TÃTULO: The Effectiveness of Query Expansion when searching for Health related Content: InfoLab at CLEF eHealth 2016
AUTORES: Ricardo Silva; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2016, FONTE: 2016 Working Notes of Conference and Labs of the Evaluation Forum, CLEF 2016 in Working Notes of CLEF 2016 - Conference and Labs of the Evaluation forum, Évora, Portugal, 5-8 September, 2016., VOLUME: 1609, PÁGINAS: 130-142
AUTORES: Ricardo Silva; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2016, FONTE: 2016 Working Notes of Conference and Labs of the Evaluation Forum, CLEF 2016 in Working Notes of CLEF 2016 - Conference and Labs of the Evaluation forum, Évora, Portugal, 5-8 September, 2016., VOLUME: 1609, PÁGINAS: 130-142
2310
TÃTULO: The influence of the Java collection framework on overall energy consumption
AUTORES: Rui Pereira ; Marco Couto ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLICAÇÃO: 2016, FONTE: 5th International Workshop on Green and Sustainable Software, GREENS 2016 - 38th International Conference on Software Engineering, ICSE 2016 in Proceedings of the 5th International Workshop on Green and Sustainable Software, GREENS@ICSE 2016, Austin, Texas, USA, May 16, 2016, PÁGINAS: 15-21
AUTORES: Rui Pereira ; Marco Couto ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLICAÇÃO: 2016, FONTE: 5th International Workshop on Green and Sustainable Software, GREENS 2016 - 38th International Conference on Software Engineering, ICSE 2016 in Proceedings of the 5th International Workshop on Green and Sustainable Software, GREENS@ICSE 2016, Austin, Texas, USA, May 16, 2016, PÁGINAS: 15-21
2311
TÃTULO: The problem with embedded CRDT counters and a solution
AUTORES: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLICAÇÃO: 2016, FONTE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PÁGINAS: 10:1-10:3
AUTORES: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLICAÇÃO: 2016, FONTE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PÁGINAS: 10:1-10:3
2312
TÃTULO: Three Dimensional Modelling of Porto's Network for Electric Mobility Simulation
AUTORES: Diogo Santos; Jose Pinto; Rosaldo J F Rossetti ; Eugenio Oliveira ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTORES: Diogo Santos; Jose Pinto; Rosaldo J F Rossetti ; Eugenio Oliveira ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
2313
TÃTULO: Time, frequency & complexity analysis for recognizing panic states from physiologic time-series
AUTORES: Jonathan Rubin; Rui Abreu ; Shane Ahern; Hoda Eldardiry; Daniel G Bobrow;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2016, Cancun, Mexico, May 16-20, 2016, VOLUME: 2016-May, PÁGINAS: 81-88
AUTORES: Jonathan Rubin; Rui Abreu ; Shane Ahern; Hoda Eldardiry; Daniel G Bobrow;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2016, Cancun, Mexico, May 16-20, 2016, VOLUME: 2016-May, PÁGINAS: 81-88
2314
TÃTULO: Time-evolving O-D matrix estimation using high-speed GPS data streams
AUTORES: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas;
PUBLICAÇÃO: 2016, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PÁGINAS: 275-288
AUTORES: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas;
PUBLICAÇÃO: 2016, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PÁGINAS: 275-288
2315
TÃTULO: TimeMachine: Entity-Centric Search and Visualization of News Archives
AUTORES: Saleiro, Pedro ; Jorge Teixeira; Carlos Soares ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2016, FONTE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PÁGINAS: 845-848
AUTORES: Saleiro, Pedro ; Jorge Teixeira; Carlos Soares ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2016, FONTE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PÁGINAS: 845-848
2316
TÃTULO: Towards a Formal Validation of ETL Patterns Behaviour
AUTORES: Bruno Oliveira ; Orlando Belo ; Nuno Macedo ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Model and Data Engineering (MEDI) in Model and Data Engineering, VOLUME: 9893, PÁGINAS: 156-165
AUTORES: Bruno Oliveira ; Orlando Belo ; Nuno Macedo ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Model and Data Engineering (MEDI) in Model and Data Engineering, VOLUME: 9893, PÁGINAS: 156-165
2317
TÃTULO: Towards a Multi-softcore FPGA Approach for the HOG Algorithm
AUTORES: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 117-122
AUTORES: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 117-122
2318
TÃTULO: Towards an organization of computers for managing airline operations
AUTORES: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2016, FONTE: 31st International Conference on Computers and Their Applications, CATA 2016 in Proceedings of the 31st International Conference on Computers and Their Applications, CATA 2016, PÁGINAS: 239-244
AUTORES: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2016, FONTE: 31st International Conference on Computers and Their Applications, CATA 2016 in Proceedings of the 31st International Conference on Computers and Their Applications, CATA 2016, PÁGINAS: 239-244
2319
TÃTULO: Towards Automatic Generation of Metafeatures
AUTORES: Fabio Pinto ; Carlos Soares ; Joao Mendes Moreira ;
PUBLICAÇÃO: 2016, FONTE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PÁGINAS: 215-226
AUTORES: Fabio Pinto ; Carlos Soares ; Joao Mendes Moreira ;
PUBLICAÇÃO: 2016, FONTE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PÁGINAS: 215-226
2320
TÃTULO: Towards Quantifiable Eventual Consistency
AUTORES: Francisco Maia ; Miguel Matos ; Fabio Coelho ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PÁGINAS: 368-370
AUTORES: Francisco Maia ; Miguel Matos ; Fabio Coelho ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PÁGINAS: 368-370