Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 211



91
TÍTULO: P-SOCRATES: A parallel software framework for time-critical many-core systems  Full Text
AUTORES: Luis Miguel Pinho ; Vincent Nelis; Patrick Meumeu Yomsi; Eduardo Quinones; Marko Bertogna; Paolo Burgio; Andrea Marongiu; Claudio Scordino; Paolo Gai; Michele Ramponi; Michal Mardiak;
PUBLICAÇÃO: 2015, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
92
TÍTULO: Poster Abstract: Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada
AUTORES: Luis Miguel Pinho ; Brad Moore; Stephen Michell; Tucker T Taft;
PUBLICAÇÃO: 2015, FONTE: IEEE 36th Real-Time Systems Symposium (RTSS) in 2015 IEEE 36TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2015)
INDEXADO EM: WOS
93
TÍTULO: Preface
AUTORES: Luís Miguel Pinho ; Wolfgang Karl; Albert Cohen; Uwe Brinkschulte;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9017
INDEXADO EM: Scopus
NO MEU: ORCID
94
TÍTULO: Response time for IEC 61499 over Ethernet
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
95
TÍTULO: RTFM-core: Language and Implementation
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 10th IEEE Conference on Industrial Electronics and Applications in PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS
INDEXADO EM: Scopus WOS CrossRef
96
TÍTULO: Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing
AUTORES: Claudio Maia; Patrick Meumeu Yomsi; Luis Nogueira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Embedded and Ubiquitous Computing (EUC 2015) in PROCEEDINGS IEEE/IFIP 13TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING 2015
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
97
TÍTULO: Task partitioning and priority assignment for distributed hard real-time systems  Full Text
AUTORES: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
98
TÍTULO: Well-formed control flow for critical sections in RTFM-core
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Industrial Informatics, INDIN 2015 in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
99
TÍTULO: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
100
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2014, FONTE: Ada User Journal, VOLUME: 35, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID
Página 10 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