João Carlos Viegas Martins Bispo


AuthID: R-000-6X6

Publicações Confirmadas: 74



21
TÍTULO: Pegasus: Performance Engineering for Software Applications Targeting HPC Systems  Full Text
AUTORES: Pinto, Pedro; Bispo, Joao ; Cardoso, Joao ; Barbosa, Jorge Gomes ; Gadioli, Davide; Palermo, Gianluca; Martinovic, Jan; Golasowski, Martin; Slaninova, Katerina; Cmar, Radim; Silvano, Cristina;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
TÍTULO: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021, January 19, 2021, Budapest, Hungary
AUTORES: João Bispo ; Stefano Cherubin; José Flich;
PUBLICAÇÃO: 2021, FONTE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
23
TÍTULO: A Binary Translation Framework for Automated Hardware Generation  Full Text
AUTORES: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: IEEE MICRO, VOLUME: 41, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
24
TÍTULO: An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System PDF
AUTORES: Vitali, E; Gadioli, D; Palermo, G; Golasowski, M; Bispo, J ; Pinto, P; Martinovic, J; Slaninova, K; Cardoso, JMP ; Silvano, C;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
25
TÍTULO: Building Beyond HLS: Graph Analysis and Others
AUTORES: Pedro Filipe Silva; João Bispo ; Nuno Miguel Cardanha Paulino ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.02676
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
26
TÍTULO: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTORES: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
27
TÍTULO: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTORES: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: Multi-language static code analysis on the LARA framework
AUTORES: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLICAÇÃO: 2021, FONTE: SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
29
TÍTULO: On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators
AUTORES: Santos, Tiago; Paulino, Nuno ; Bispo, Joao ; Cardoso, Joao M. P. ; Ferreira, Joao C. ;
PUBLICAÇÃO: 2021, FONTE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
30
TÍTULO: Clava: C/C plus plus source-to-source compilation using LARA
AUTORES: Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2020, FONTE: SOFTWAREX, VOLUME: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 3 de 8. Total de resultados: 74.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service