Clava: C/C++ source-to-source compilation using LARA

by João Bispo, João M.P. Cardoso
Published 2020-07-01

Optimizing OpenCL Code for Performance on FPGA: k-Means Case Study With Integer Data Sets

by Nuno Paulino, Joao Canas Ferreira, Joao M. P. Cardoso
Published 2020-01-01

<i>k</i>NN Prototyping Schemes for Embedded Human Activity Recognition with Online Learning

by Paulo J. S. Ferreira, João M. P. Cardoso, João Mendes-Moreira
Published 2020-12-01

Nonio — modular automatic compiler phase selection and ordering specialization framework for modern compilers

by Ricardo Nobre, João Bispo, Tiago Carvalho, João M.P. Cardoso
Published 2019-07-01

Selected Papers from the 17th Reconfigurable Architectures Workshop (RAW2010)

by Aravind Dasu, João M. P. Cardoso, Eli Bozorgzadeh, Jürgen Becker
Published 2011-01-01

Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units

by João Bispo, Nuno Paulino, João M. P. Cardoso, João Canas Ferreira
Published 2013-01-01

Practical Education Fostered by Research Projects in an Embedded Systems Course

by Vanderlei Bonato, Marcio M. Fernandes, Joao M. P. Cardoso, Eduardo Marques
Published 2014-01-01

Formal verification of Matrix based MATLAB models using interactive theorem proving

by Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M.P. Cardoso
Published 2021-03-01

A framework for automatic and parameterizable memoization

by Loïc Besnard, Pedro Pinto, Imane Lasri, João Bispo, Erven Rohou, João M.P. Cardoso
Published 2019-07-01

Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture

by Carlos Alberto Oliveira de Souza Alberto Oliveira de Souza Junior, João Bispo, João M. P. Cardoso, Pedro C. Diniz, Eduardo Marques
Published 2020-05-01