João Carlos Viegas Martins Bispo


AuthID: R-000-6X6

Publicações Confirmadas: 79



31
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: 4 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
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
33
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: 11
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
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
35
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: 24
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation  Full Text
AUTORES: Reis, L; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2020, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 32, NÚMERO: 22
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTORES: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2020, FONTE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
39
TÍTULO: Overviewing the liveness of refactoring for energy efficiency
AUTORES: Emanuel Moreira; Filipe F Correia ; João Bispo ;
PUBLICAÇÃO: 2020, FONTE: 4th International Conference on Art, Science, and Engineering of Programming, Programming 2020 in Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications  Full Text
AUTORES: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 8. Total de resultados: 79.

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