Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 149



61
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
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: 3
62
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
63
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 3
INDEXED IN: Scopus
64
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
65
TITLE: QoS enabled middleware for real-time industrial control systems
AUTHORS: Ferreira, LL ; Albano, M; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 18th International Conference on Emerging Technologies and Factory Automation, ETFA 2013 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXED IN: Scopus CrossRef
66
TITLE: Revisiting transactions in Ada  Full Text
AUTHORS: António Barros ; Luís Miguel Pinho ;
PUBLISHED: 2013, SOURCE: ACM SIGAda Ada Letters, VOLUME: 33, ISSUE: 1
INDEXED IN: CrossRef
67
TITLE: Scheduling Parallel Real-Time Tasks using a Fixed-Priority Work-Stealing Algorithm on Multiprocessors
AUTHORS: Claudio Maia; Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2013, SOURCE: 8th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
68
TITLE: Session summary: Multiprocessor issues, Part 2 (resource control protocols)
AUTHORS: Wellings, A; Pinho, LM ;
PUBLISHED: 2013, SOURCE: Ada User Journal, VOLUME: 34, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
69
TITLE: Tasklettes - A fine grained parallelism for Ada on multicores
AUTHORS: Michell, S; Moore, B; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
70
TITLE: The ENCOURAGE ICT architecture for heterogeneous smart grids
AUTHORS: 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;
PUBLISHED: 2013, SOURCE: IEEE EUROCON Conference in 2013 IEEE EUROCON
INDEXED IN: Scopus WOS CrossRef: 5
Page 7 of 15. Total results: 149.

A place for researchers and their institutions

Useful Links

Get Help

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