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

AuthID: I-000-0K9


Publications Count: 3893

49 Team Members
Filters -> Year: 2024
1461
TITLE: Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation
AUTHORS: Cardoso, JMP ; Coutinho, JGF; Diniz, PC ;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation, PAGES: 1-297
1462
TITLE: Empirical Evaluation of Similarity Coefficients for Multiagent Fault Localization
AUTHORS: Lucio S Passos; Rui Abreu ; Rosaldo J F Rossetti ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, VOLUME: 47, ISSUE: 5, PAGES: 767-782
1463
TITLE: Energy Efficiency across Programming Languages
AUTHORS: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PAGES: 256-267
1464
TITLE: Engineering Software for the Cloud: Messaging Systems and Logging. Messaging Systems and Logging
AUTHORS: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2017, SOURCE: 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017 in Proceedings of the 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017, Irsee, Germany, July 12-16, 2017, VOLUME: Part F132091, PAGES: 14:1-14:14
1465
TITLE: Enhancing Museums' Experiences Through Games and Stories for Young Audiences
AUTHORS: Vanessa Cesario; Antonio Coelho ; Valentina Nisi;
PUBLISHED: 2017, SOURCE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PAGES: 351-354
1466
TITLE: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness
AUTHORS: Ariel Soares Teles; Artur Rocha ; Francisco Jose D E da Silva e Silva; Joao Correia Lopes ; Donal O'Sullivan; Pepijn Van de Ven; Markus Endler;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 1, PAGES: 127
1467
TITLE: Erratum to: Processing Time Reduction: an Application in Living Human High-Resolution Diffusion Magnetic Resonance Imaging Data
AUTHORS: Nicolás F Lori; Agustín Ibáñez; Rui Lavrador; Lucia Fonseca; Carlos Santos; Rui Travasso; Artur Pereira; Rosaldo Rossetti ; Nuno Sousa; Victor Alves;
PUBLISHED: 2017, SOURCE: J. Medical Syst., VOLUME: 41, ISSUE: 3, PAGES: 41:1
1468
TITLE: Evaluating and improving fault localization
AUTHORS: Pearson, S; Campos, J ; Just, R; Fraser, G; Abreu, R ; Ernst, MD; Pang, D; Keller, B;
PUBLISHED: 2017, SOURCE: 39th IEEE/ACM International Conference on Software Engineering (ICSE) in 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 609-620
1469
TITLE: Evaluation of Stanford NER for extraction of assembly information from instruction manuals
AUTHORS: Carlos M Costa ; Germano Veiga ; Armando Sousa ; Sérgio Nunes ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, Coimbra, Portugal, April 26-28, 2017, PAGES: 302-309
1470
TITLE: EvoSuite at the SBST 2017 Tool Competition
AUTHORS: Gordon Fraser; Jose Miguel Rojas; Jose Campos ; Andrea Arcuri;
PUBLISHED: 2017, SOURCE: 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST)
1471
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLISHED: 2017, SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PAGES: 344-362
1472
TITLE: Expressing and Applying C plus plus Code Transformations for the HDF5 API Through a DSL
AUTHORS: Martin Golasowski; Joao Bispo ; Jan Martinovic; Katerina Slaninova; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PAGES: 303-314
1473
TITLE: Fatigue analysis of composite bonded repairs
AUTHORS: de Moura, MFSF ; Moreira, RDF;
PUBLISHED: 2017, SOURCE: JOURNAL OF ADHESION SCIENCE AND TECHNOLOGY, VOLUME: 31, ISSUE: 19-20, PAGES: 2164-2179
1474
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
1475
TITLE: FEUP at SemEval-2017 Task 5: Predicting Sentiment Polarity and Intensity with Financial Word Embeddings
AUTHORS: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2017, SOURCE: Proceedings of the 11th International Workshop on Semantic Evaluation, SemEval@ACL 2017, Vancouver, Canada, August 3-4, 2017, PAGES: 904-908
1476
TITLE: FEUP at TREC 2017 OpenSearch Track Graph-Based Models for Entity-Oriented
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2017, SOURCE: Proceedings of The Twenty-Sixth Text REtrieval Conference, TREC 2017, Gaithersburg, Maryland, USA, November 15-17, 2017, VOLUME: Special Publication 500-324
1477
TITLE: FIRST ATTEMPT TOWARDS THE DEVELOPMENT OF TRANSTIBIAL PROSTHESIS
AUTHORS: Joana Alves; Cesar Ferreira; Luis P Reis ; Cristina P Santos; Eurico Seabra; Helder Carvalho;
PUBLISHED: 2017, SOURCE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017), PAGES: 1825-1826
1478
1479
TITLE: Foreword to the Special Section on Reconfigurable Computing
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
1480
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50

Results per Page: 20.
Page 74 of 195. Total results: 3893.