Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 213



111
TÍTULO: Response-time analysis of synchronous parallel tasks in multiprocessor systems
AUTORES: Maia, C; Bertogna, M; Nogueira, L ; Pinho, LM ;
PUBLICAÇÃO: 2014, FONTE: 22nd International Conference on Real-Time Networks and Systems, RTNS 2014 in ACM International Conference Proceeding Series, VOLUME: 08-10-October-2014
INDEXADO EM: Scopus CrossRef: 39
NO MEU: ORCID | CIÊNCIAVITAE
112
TÍTULO: RTFM-lang static semantics for systems with mixed criticality
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2014, FONTE: Ada User Journal, VOLUME: 35, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
113
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: 7
NO MEU: ORCID | CIÊNCIAVITAE
114
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
115
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: 3 Handle
NO MEU: ORCID | CIÊNCIAVITAE
116
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: 20
NO MEU: ORCID | CIÊNCIAVITAE
117
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: 3
NO MEU: ORCID | CIÊNCIAVITAE
118
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
119
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
120
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
Página 12 de 22. Total de resultados: 213.

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