João Manuel Paiva Cardoso


AuthID: R-000-75E

Confirmed Publications: 270



11
TITLE: Preface ASAP 2023  Full Text
AUTHORS: João M P Cardoso ; Alexandra Jimborean; Nele Mentens; José Gabriel F Coutinho;
PUBLISHED: 2023, SOURCE: 34th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2023 in 34th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2023, Porto, Portugal, July 19-21, 2023, VOLUME: 2023-July
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
12
TITLE: Pegasus: Performance Engineering for Software Applications Targeting HPC Systems  Full Text
AUTHORS: Pinto, Pedro; Bispo, Joao ; Cardoso, Joao ; Barbosa, Jorge Gomes ; Gadioli, Davide; Palermo, Gianluca; Martinovic, Jan; Golasowski, Martin; Slaninova, Katerina; Cmar, Radim; Silvano, Cristina;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
13
TITLE: A Binary Translation Framework for Automated Hardware Generation  Full Text
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: A methodology and framework for software memoization of functions
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
15
TITLE: An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System PDF
AUTHORS: Vitali, E; Gadioli, D; Palermo, G; Golasowski, M; Bispo, J ; Pinto, P; Martinovic, J; Slaninova, K; Cardoso, JMP ; Silvano, C;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, VOLUME: 9, ISSUE: 2
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
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: 65
IN MY: ORCID | DBLP | CIÊNCIAVITAE
17
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
18
TITLE: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
19
TITLE: On Data Parallelism Code Restructuring for HLS Targeting FPGAs
AUTHORS: Campos, R; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: 35th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2021 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
20
TITLE: On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators
AUTHORS: Santos, Tiago; Paulino, Nuno ; Bispo, Joao ; Cardoso, Joao M. P. ; Ferreira, Joao C. ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 2 of 27. Total results: 270.

footer slogan

Useful Links

Get Help

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