Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 211



111
TÍTULO: Safe parallel programming in Ada with language extensions
AUTORES: Taft, ST; Moore, B; Pinho, LM ; Michell, S;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
112
TÍTULO: The challenge of time-predictability in modern many-core architectures
AUTORES: Nelis, V; Yomsi, PM; Pinho, LM ; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLICAÇÃO: 2014, FONTE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
113
TÍTULO: Towards a Runtime Verification Framework for the Ada Programming Language
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
114
TÍTULO: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTORES: Nikolic, B; Ali, HI; Petters, SM; Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus CrossRef
115
TÍTULO: Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores
AUTORES: Ali, HIAA; Pinho, LM ; Akesson, B;
PUBLICAÇÃO: 2013, FONTE: 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)
INDEXADO EM: Scopus WOS CrossRef
116
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
117
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
118
TÍTULO: Editorial
AUTORES: Luís Mieuel Pinho ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
119
TÍTULO: Editorial
AUTORES: Luís Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID
120
TÍTULO: QoS enabled middleware for real-time industrial control systems
AUTORES: Ferreira, LL ; Albano, M; Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 18th International Conference on Emerging Technologies and Factory Automation, ETFA 2013 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 12 de 22. Total de resultados: 211.

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

Links Úteis

Ajuda

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