Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 213



41
42
TITLE: OpenMP Tasking Model for Ada: Safety and Correctness
AUTHORS: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel ;
PUBLISHED: 2017, SOURCE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
43
TITLE: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTHORS: Nikolic, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: REAL-TIME SYSTEMS, VOLUME: 53, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
44
45
TITLE: Real-time semi-partitioned scheduling of fork-join tasks using work-stealing  Full Text
AUTHORS: Maia, C; Yomsi, PM; Nogueira, L ; Pinho, LM ;
PUBLISHED: 2017, SOURCE: EURASIP JOURNAL ON EMBEDDED SYSTEMS, VOLUME: 2017, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
46
TITLE: Reducing the complexity of dataflow graphs using slack-based merging  Full Text
AUTHORS: Hazem Ismail Ali; Sander Stuijk; Benny Akesson; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: ACM Transactions on Design Automation of Electronic Systems, VOLUME: 22, ISSUE: 2
INDEXED IN: Scopus CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
47
TITLE: Schedulability Analysis for Global Fixed-Priority Scheduling of the 3-Phase Task Model
AUTHORS: Maia, C; Nelissen, G; Nogueira, L ; Pinho, LM ; Perez, DG;
PUBLISHED: 2017, SOURCE: 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2017 IEEE 23RD INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA)
INDEXED IN: Scopus WOS CrossRef: 13
IN MY: ORCID | CIÊNCIAVITAE
48
TITLE: SMT-based schedulability analysis using RMTL-∫  Full Text
AUTHORS: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3
INDEXED IN: DBLP CrossRef: 3 Handle
49
TITLE: The EnerGAware Middleware Platform
AUTHORS: Barbosa, P; Barros, A ; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 43rd Annual Conference of the IEEE-Industrial-Electronics-Society (IECON) in IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLUME: 2017-January
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
IN MY: ORCID | CIÊNCIAVITAE
50
TITLE: The P-SOCRATES timing analysis methodology for parallel real-time applications deployed on many-core platforms
AUTHORS: Vincent Nelis; Patrick Meumeu Yomsi; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: OpenAccess Series in Informatics, VOLUME: 57
INDEXED IN: Scopus Handle
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 22. Total results: 213.

footer slogan

Useful Links

Get Help

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