Luis Miguel Rosário da Silva Pinho
AuthID: R-000-9SC
51
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
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
Scopus CrossRef IN MY: 
ORCID | 
CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE52
TITLE: Non-preemptive Scheduling of Real-Time Software Transactional Memory
AUTHORS: Antonio Barros ; Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: 27th International Conference on Architecture of Computing Systems, ARCS 2014 in Architecture of Computing Systems - ARCS 2014 - 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings, VOLUME: 8350
AUTHORS: Antonio Barros ; Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: 27th International Conference on Architecture of Computing Systems, ARCS 2014 in Architecture of Computing Systems - ARCS 2014 - 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings, VOLUME: 8350
IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE53
TITLE: Editorial
AUTHORS: Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 1
AUTHORS: Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 1
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID54
TITLE: Editorial
AUTHORS: Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
AUTHORS: Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID55
TITLE: Real-time programming on accelerator many-core processors
AUTHORS: Michell, S; Moore, B; Pinho, LM;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGAda Annual International Conference on High Integrity Language Technology, HILT 2013 in HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology
AUTHORS: Michell, S; Moore, B; Pinho, LM;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGAda Annual International Conference on High Integrity Language Technology, HILT 2013 in HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology
INDEXED IN: Scopus CrossRef
Scopus CrossRef IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE56
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
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
Scopus IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE57
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
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
Scopus CrossRef IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE58
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
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
CrossRef IN MY: ORCID | CIÊNCIAVITAE
ORCID | CIÊNCIAVITAE59
TITLE: Editorial
AUTHORS: Luís Mieuel Pinho;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 1
AUTHORS: Luís Mieuel Pinho;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 1
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID60
TITLE: Editorial
AUTHORS: Luís Miguel Pinho;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 4
AUTHORS: Luís Miguel Pinho;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 4
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID