Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 213



61
TITLE: Preface
AUTHORS: Bertogna, M; Pinho, LM ; Quiñones, E;
PUBLISHED: 2016, SOURCE: 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9695
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
62
TITLE: Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada  Full Text
AUTHORS: Pinho, LM ; Moore, B; Michell, S; Taft, ST;
PUBLISHED: 2016, SOURCE: 36th IEEE Real-Time Systems Symposium, RTSS 2015 in Proceedings - Real-Time Systems Symposium, VOLUME: 2016-January
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
63
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 | CIÊNCIAVITAE
64
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: 1 Handle
IN MY: ORCID | CIÊNCIAVITAE
65
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) in 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXED IN: Scopus WOS CrossRef: 53
IN MY: ORCID | CIÊNCIAVITAE
66
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
67
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
68
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
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: 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 | CIÊNCIAVITAE
Page 7 of 22. Total results: 213.

footer slogan

Useful Links

Get Help

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