Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 215



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

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service