Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 215



111
TITLE: RTFM-lang static semantics for systems with mixed criticality
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D; Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
112
TITLE: Safe parallel programming in Ada with language extensions
AUTHORS: Taft, ST; Moore, B; Pinho, LM ; Michell, S;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
113
TITLE: The challenge of time-predictability in modern many-core architectures
AUTHORS: Nelis, V; Yomsi, PM; Pinho, LM ; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLISHED: 2014, SOURCE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
114
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
115
TITLE: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTHORS: Nikolic, B; Ali, HI; Petters, SM; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
116
TITLE: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTHORS: Borislav Nikolić; Hazem Ismail Ali; Stefan M Petters; Luís Miguel Pinho ;
PUBLISHED: 2013, SOURCE: Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
117
TITLE: Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores
AUTHORS: Ali, HIAA; Pinho, LM ; Akesson, B;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
118
TITLE: Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores
AUTHORS: Hazem Ismail A A Abdel Aziz Ali; Luis Miguel Pinho ; Benny Akesson;
PUBLISHED: 2013, SOURCE: 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)
INDEXED IN: WOS
119
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
120
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
Page 12 of 22. Total results: 215.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service