1
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: Time-predictable task-to-thread mapping in multi-core processors  Full Text
AUTHORS: Samadi, Mohammad ; Royuela, Sara; Pinho, Luis Miguel ; Carvalho, Tiago ; Quinones, Eduardo;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 148
INDEXED IN: Scopus WOS CrossRef
3
TITLE: A DSL-based runtime adaptivity framework for Java
AUTHORS: Carvalho, Tiago ; Bispo, Joao ; Pinto, Pedro; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: SOFTWAREX, VOLUME: 23
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4
TITLE: Framework for the Analysis and Configuration of Real-Time OpenMP Applications
AUTHORS: Carvalho, Tiago ; Pinho, Luis Miguel ; Samadi, Mohammad; Royuela, Sara; Munera, Adrian; Quinones, Eduardo;
PUBLISHED: 2023, SOURCE: IEEE 21st International Conference on Industrial Informatics (INDIN) in 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, VOLUME: 2023-July
INDEXED IN: Scopus WOS CrossRef
5
TITLE: A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA
AUTHORS: Ricardo Gomes; Tiago Carvalho ; António Barros ; Luís Miguel Pinho ;
PUBLISHED: 2022, SOURCE: 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022 in 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022, Coventry, United Kingdom, May 24-26, 2022
INDEXED IN: Scopus DBLP CrossRef: 1
6
TITLE: Configuration of Parallel Real-Time Applications on Multi-Core Processors
AUTHORS: Gharajeh, Mohammad Samadi; Carvalho, Tiago ; Pinho, Luis Miguel ;
PUBLISHED: 2022, SOURCE: 20th IEEE International Conference on Industrial Informatics (INDIN) in 2022 IEEE 20TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), VOLUME: 2022-July
INDEXED IN: Scopus WOS CrossRef
7
TITLE: Heuristic-based Task-to-Thread Mapping in Multi-Core Processors
AUTHORS: Gharajeh, Mohammad Samadi; Royuela, Sara; Pinho, Luis Miguel ; Carvalho, Tiago ; Quinones, Eduardo;
PUBLISHED: 2022, SOURCE: IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) in 2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2022-September
INDEXED IN: Scopus WOS CrossRef: 1
8
TITLE: Tracing and Measuring GPU Execution in Automotive Software Systems
AUTHORS: Carvalho, T ; Pinho, LM;
PUBLISHED: 2022, SOURCE: Ada User Journal, VOLUME: 43, ISSUE: 3
INDEXED IN: Scopus
9
TITLE: An ensemble of autonomous auto-encoders for human activity recognition  Full Text
AUTHORS: Garcia, KD; de Sa, CR; Poel, M; Carvalho, T ; Mendes Moreira, J ; Cardoso, JMP ; de Carvalho, ACPLF; Kok, JN;
PUBLISHED: 2021, SOURCE: NEUROCOMPUTING, VOLUME: 439
INDEXED IN: Scopus WOS DBLP CrossRef: 44
10
TITLE: A Study on Hyperparameter Configuration for Human Activity Recognition
AUTHORS: Crarcia, KD; Carvalho, T ; Mendes Moreira, J ; Cardoso, JMP ; de Carvalho, ACPLF;
PUBLISHED: 2020, SOURCE: 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO) in 14TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS (SOCO 2019), VOLUME: 950
INDEXED IN: Scopus WOS DBLP CrossRef: 4
Page 1 of 4. Total results: 31.