Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 149



51
TITLE: Poster Abstract: Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada
AUTHORS: Luis Miguel Pinho ; Brad Moore; Stephen Michell; Tucker T Taft;
PUBLISHED: 2015, SOURCE: IEEE 36th Real-Time Systems Symposium (RTSS) in 2015 IEEE 36TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2015)
INDEXED IN: WOS
52
TITLE: Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing
AUTHORS: Claudio Maia; Patrick Meumeu Yomsi; Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th International Conference on Embedded and Ubiquitous Computing (EUC 2015) in PROCEEDINGS IEEE/IFIP 13TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING 2015
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
53
TITLE: Task partitioning and priority assignment for distributed hard real-time systems  Full Text
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
54
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
55
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
56
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
57
TITLE: On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2014, SOURCE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
58
TITLE: P-SOCRATES: a Parallel Software Framework for Time-Critical Many-Core Systems
AUTHORS: Luis M Miguel Pinho ; Eduardo Quinones; Marko Bertogna; Andrea Marongiu; Jorge P Pereira Carlos; Claudio Scordino; Michele Ramponi;
PUBLISHED: 2014, SOURCE: 17th Euromicro Conference on Digital System Design (DSD) in 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: Parallelism in Ada: Status and Prospects
AUTHORS: Luis Miguel Pinho ; Brad Moore; Stephen Michell;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXED IN: WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
60
TITLE: Response-time analysis of synchronous parallel tasks in multiprocessor systems
AUTHORS: Maia, C; Bertogna, M; Nogueira, L ; Pinho, LM ;
PUBLISHED: 2014, SOURCE: 22nd International Conference on Real-Time Networks and Systems, RTNS 2014 in ACM International Conference Proceeding Series, VOLUME: 08-10-October-2014
INDEXED IN: Scopus CrossRef: 35
IN MY: ORCID | CIÊNCIAVITAE
Page 6 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