Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 149



61
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
62
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
63
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
64
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
65
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
66
TÍTULO: Revisiting transactions in Ada  Full Text
AUTORES: António Barros ; Luís Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: ACM SIGAda Ada Letters, VOLUME: 33, NÚMERO: 1
INDEXADO EM: CrossRef Handle
67
TÍTULO: Scheduling Parallel Real-Time Tasks using a Fixed-Priority Work-Stealing Algorithm on Multiprocessors
AUTORES: Claudio Maia; Luis Nogueira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: 8th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Session summary: Multiprocessor issues, Part 2 (resource control protocols)
AUTORES: Wellings, A; Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: Ada User Journal, VOLUME: 34, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
69
TÍTULO: Tasklettes - A fine grained parallelism for Ada on multicores
AUTORES: Michell, S; Moore, B; Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: 18th Ada-Europe International Conference on Reliable Software Technologies, Ada Europe 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7896 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: The ENCOURAGE ICT architecture for heterogeneous smart grids
AUTORES: Michele Albano ; Luis Ferreira ; Thibaut Le Guilly; Manuel Ramiro; Eduardo E Faria; Lara Perez Duenas; Rodrigo Ferreira; Earl Gaylard; David Jorquera Cubas; Eammon Roarke; Daniel Lux; Sandra Scalari; Susanne Majlund Sorensen; Marta Gangolells; Luis Miguel Pinho ; Arne Skou;
PUBLICAÇÃO: 2013, FONTE: IEEE EUROCON Conference in 2013 IEEE EUROCON
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 de 15. Total de resultados: 149.

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