Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 207



111
TÍTULO: Safe parallel programming in ada with language extensions
AUTORES: Tucker T Taft; Brad Moore; Luís Miguel Pinho ; Stephen Michell;
PUBLICAÇÃO: 2014, FONTE: ACM SIGAda's Annual International Conference High Integrity Language Technology, HILT 2014 in HILT
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
112
TÍTULO: The Challenge of Time-Predictability in Modern Many-Core Architectures  Full Text
AUTORES: Vincent Nélis; Patrick Meumeu Yomsi; Luís Miguel Pinho ; José Carlos Fonseca; Marko Bertogna; Eduardo Quiñones; Roberto Vargas; Andrea Marongiu;
PUBLICAÇÃO: 2014, FONTE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in WCET, VOLUME: 39
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
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: 3 Handle
114
TÍTULO: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTORES: Borislav Nikolic; Hazem Ismail Ali; Stefan M Petters; Luís Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in RTNS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
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 DBLP CrossRef
NO MEU: DBLP
116
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
117
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 3
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: Luis Lino Ferreira ; Michele Albano; Luís Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: ETFA
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
Página 12 de 21. Total de resultados: 207.

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

Links Úteis

Ajuda

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