Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 215



111
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
112
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
113
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
114
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
115
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
NO MEU: ORCID | CIÊNCIAVITAE
116
TÍTULO: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTORES: Borislav Nikolić; Hazem Ismail Ali; Stefan M Petters; Luís Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13
INDEXADO EM: CrossRef
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: 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2013 in 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2013
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
118
TÍTULO: Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores
AUTORES: Hazem Ismail A A Abdel Aziz Ali; Luis Miguel Pinho ; Benny Akesson;
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: WOS
119
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
120
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
Página 12 de 22. Total de resultados: 215.

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

Links Úteis

Ajuda

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