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

Get full text

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

Get full text

A DSL-based runtime adaptivity framework for Java by Tiago Carvalho, João Bispo, Pedro Pinto, João M.P. Cardoso

Get full text

<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

Get full text

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

Get full text

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

Get full text

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 Junior, João Bispo, João M. P. Cardoso, Pedro C. Diniz, Eduardo Marques

Get full text