Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Confirmed Publications: 213



101
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: 3 Handle
IN MY: ORCID | CIÊNCIAVITAE
102
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
103
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
104
TITLE: Editorial
AUTHORS: Luís Miguel Pinho ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
105
TITLE: Editorial
AUTHORS: Luís Miguel Pinho ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
106
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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
107
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: 6
IN MY: ORCID | CIÊNCIAVITAE
108
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: 5
IN MY: ORCID | CIÊNCIAVITAE
109
TITLE: Parallelism in Ada: Status and prospects
AUTHORS: Pinho, LM ; Moore, B; Michell, S;
PUBLISHED: 2014, SOURCE: 19th International Conference on Reliable Software Technologies, Ada-Europe 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8454 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
110
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: 2
IN MY: ORCID | CIÊNCIAVITAE
Page 11 of 22. Total results: 213.

footer slogan

Useful Links

Get Help

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