João Carlos Viegas Martins Bispo


AuthID: R-000-6X6

Confirmed Publications: 70



21
TITLE: Building Beyond HLS: Graph Analysis and Others
AUTHORS: Pedro Filipe Silva; João Bispo ; Nuno Miguel Cardanha Paulino ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.02676
INDEXED IN: DBLP
IN MY: ORCID | DBLP
22
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: 3 Unpaywall
IN MY: ORCID | DBLP
23
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
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
24
TITLE: Multi-language static code analysis on the LARA framework
AUTHORS: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLISHED: 2021, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
25
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
26
TITLE: Clava: C/C plus plus source-to-source compilation using LARA
AUTHORS: Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: SOFTWAREX, VOLUME: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
27
TITLE: Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation  Full Text
AUTHORS: Reis, L; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 32, ISSUE: 22
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
28
TITLE: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
29
30
TITLE: Overviewing the liveness of refactoring for energy efficiency
AUTHORS: Emanuel Moreira; Filipe F Correia ; João Bispo ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
Página 3 de 7. Total de resultados: 70.

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

Useful Links

Get Help

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