Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 215



61
TÍTULO: Reliable Software Technologies – Ada-Europe 2016
AUTORES: Marko Bertogna; Luis Miguel Pinho ; Eduardo Quiñones;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
62
TÍTULO: Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling
AUTORES: Barros, A ; Yomsi, PM; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 11th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
63
TÍTULO: Response Time Analysis of Sporadic DAG Tasks under Partitioned Scheduling
AUTORES: Jose Fonseca; Geoffrey Nelissen; Vincent Nelis; Luis Miguel Pinho ;
PUBLICAÇÃO: 2016, FONTE: 11th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXADO EM: WOS
64
TÍTULO: Response time analysis of sporadic DAG tasks under partitioned scheduling
AUTORES: Fonseca, J; Nelissen, G; Nelis, V; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 11th IEEE International Symposium on Industrial Embedded Systems, SIES 2016 in 2016 11th IEEE International Symposium on Industrial Embedded Systems, SIES 2016 - Proceedings
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
65
TÍTULO: Session summary: Fine-grained parallelism
AUTORES: Luis Miguel Pinho ; Stephen Michell;
PUBLICAÇÃO: 2016, FONTE: Ada User Journal, VOLUME: 37, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
66
TÍTULO: Session summary: Parallel and multicore systems
AUTORES: Luis Miguel Pinho ; Stephen Michell;
PUBLICAÇÃO: 2016, FONTE: Ada User Journal, VOLUME: 37, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
67
TÍTULO: The variability of application execution times on a multi-core platform
AUTORES: Nélis, V; Yomsi, PM; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016 in OpenAccess Series in Informatics, VOLUME: 55
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Towards certified compilation of RTFM-core applications
AUTORES: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID
69
TÍTULO: Towards Certified Compilation of RTFM-core Applications
AUTORES: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXADO EM: WOS
70
TÍTULO: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTORES: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 de 22. Total de resultados: 215.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service