Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 211



111
TITLE: Safe parallel programming in Ada with language extensions
AUTHORS: Taft, ST; Moore, B; Pinho, LM ; Michell, S;
PUBLISHED: 2014, SOURCE: ACM SIGAda's Annual International Conference High Integrity Language Technology, HILT 2014 in HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
112
TITLE: The challenge of time-predictability in modern many-core architectures
AUTHORS: Nelis, V; Yomsi, PM; Pinho, LM ; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLISHED: 2014, SOURCE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
113
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
114
TITLE: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTHORS: Nikolic, B; Ali, HI; Petters, SM; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in ACM International Conference Proceeding Series
INDEXED IN: Scopus CrossRef
115
TITLE: Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores
AUTHORS: Ali, HIAA; Pinho, LM ; Akesson, B;
PUBLISHED: 2013, SOURCE: IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA)
INDEXED IN: Scopus WOS CrossRef
116
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
117
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
118
TITLE: Editorial
AUTHORS: Luís Mieuel Pinho ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
119
TITLE: Editorial
AUTHORS: Luís Miguel Pinho ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
120
TITLE: QoS enabled middleware for real-time industrial control systems
AUTHORS: Ferreira, LL ; Albano, M; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 18th International Conference on Emerging Technologies and Factory Automation, ETFA 2013 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 12 of 22. Total results: 211.

footer slogan

Useful Links

Get Help

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