


Остановите войну!
for scientists:


default search action
João M. P. Cardoso
João Manuel Paiva Cardoso
Person information

- affiliation: Universidade do Porto, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [i9]Paulo J. S. Ferreira, João Mendes-Moreira, João M. P. Cardoso:
A Study on Hyperparameters Configurations for an Efficient Human Activity Recognition System. CoRR abs/2308.13314 (2023) - 2022
- [j52]Pedro Pinto
, João Bispo
, João M. P. Cardoso
, Jorge G. Barbosa
, Davide Gadioli
, Gianluca Palermo
, Jan Martinovic
, Martin Golasowski, Katerina Slaninová
, Radim Cmar, Cristina Silvano
:
Pegasus: Performance Engineering for Software Applications Targeting HPC Systems. IEEE Trans. Software Eng. 48(3): 732-754 (2022) - 2021
- [j51]Nuno Paulino
, João Canas Ferreira
, João M. P. Cardoso
:
Improving Performance and Energy Consumption in Embedded Systems via Binary Acceleration: A Survey. ACM Comput. Surv. 53(1): 6:1-6:36 (2021) - [j50]Kemilly Dearo Garcia, Cláudio Rebelo de Sá, Mannes Poel, Tiago Carvalho, João Mendes-Moreira, João M. P. Cardoso
, André C. P. L. F. de Carvalho
, Joost N. Kok:
An ensemble of autonomous auto-encoders for human activity recognition. Neurocomputing 439: 271-280 (2021) - [j49]Nuno Paulino
, João Bispo
, João Canas Ferreira
, João M. P. Cardoso
:
A Binary Translation Framework for Automated Hardware Generation. IEEE Micro 41(4): 15-23 (2021) - [j48]Ayesha Gauhar, Adnan Rashid
, Osman Hasan, João Bispo
, João M. P. Cardoso
:
Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. 7: e440 (2021) - [j47]João M. P. Cardoso
, André DeHon
, Laura Pozzi
:
Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems. IEEE Trans. Computers 70(12): 2013-2014 (2021) - [j46]Emanuele Vitali
, Davide Gadioli
, Gianluca Palermo
, Martin Golasowski, João Bispo
, Pedro Pinto
, Jan Martinovic
, Katerina Slaninová
, João M. P. Cardoso
, Cristina Silvano
:
An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System. IEEE Trans. Emerg. Top. Comput. 9(2): 1006-1019 (2021) - [c118]Pedro Pinto, João M. P. Cardoso
:
A methodology and framework for software memoization of functions. CF 2021: 93-101 - [c117]Tiago Santos
, Nuno Paulino
, João Bispo, João M. P. Cardoso
, João Canas Ferreira:
On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators. FPT 2021: 1-4 - [c116]Renato Campos, João M. P. Cardoso
:
On Data Parallelism Code Restructuring for HLS Targeting FPGAs. IPDPS Workshops 2021: 144-151 - 2020
- [j45]Nuno Paulino
, João Canas Ferreira
, João M. P. Cardoso
:
Optimizing OpenCL Code for Performance on FPGA: k-Means Case Study With Integer Data Sets. IEEE Access 8: 152286-152304 (2020) - [j44]Paulo J. S. Ferreira
, João M. P. Cardoso
, João Mendes-Moreira
:
kNN Prototyping Schemes for Embedded Human Activity Recognition with Online Learning. Comput. 9(4): 96 (2020) - [j43]Luís Reis, João Bispo
, João M. P. Cardoso
:
Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation. Concurr. Comput. Pract. Exp. 32(22) (2020) - [j42]João Bispo, João M. P. Cardoso
:
Clava: C/C++ source-to-source compilation using LARA. SoftwareX 12: 100565 (2020) - [j41]Hamid Arabnejad, João Bispo, João M. P. Cardoso
, Jorge G. Barbosa
:
Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications. J. Supercomput. 76(9): 6753-6785 (2020) - [c115]Nuno Paulino
, João Canas Ferreira
, João Bispo, João M. P. Cardoso
:
Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework. FPL 2020: 367 - [c114]Tiago Santos, João M. P. Cardoso
:
Automatic Selection and Insertion of HLS Directives Via a Source-to-Source Compiler. FPT 2020: 227-232
2010 – 2019
- 2019
- [j40]Cristina Silvano, Giovanni Agosta, Andrea Bartolini
, Andrea Rosario Beccari, Luca Benini
, Loïc Besnard, João Bispo
, Radim Cmar, João M. P. Cardoso
, Carlo Cavazzoni, Daniele Cesarini
, Stefano Cherubin
, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Antonio Libri, Jan Martinovic
, Gianluca Palermo, Emanuele Vitali:
The ANTAREX domain specific language for high performance computing. Microprocess. Microsystems 68: 58-73 (2019) - [j39]Ricardo Nobre
, João Bispo
, Tiago Carvalho, João M. P. Cardoso
:
Nonio - modular automatic compiler phase selection and ordering specialization framework for modern compilers. SoftwareX 10: 100238 (2019) - [j38]Loïc Besnard, Pedro Pinto, Imane Lasri
, João Bispo
, Erven Rohou
, João M. P. Cardoso
:
A framework for automatic and parameterizable memoization. SoftwareX 10: 100322 (2019) - [j37]Nuno Miguel Cardanha Paulino
, João Canas Ferreira
, João M. P. Cardoso
:
Dynamic Partial Reconfiguration of Customized Single-Row Accelerators. IEEE Trans. Very Large Scale Integr. Syst. 27(1): 116-125 (2019) - [c113]Afonso Canas Ferreira
, João M. P. Cardoso
:
Graph-Based Code Restructuring Targeting HLS for FPGAs. ARC 2019: 230-244 - [c112]Paulo J. S. Ferreira
, João M. P. Cardoso
, João Mendes-Moreira
:
Automatic Switching Between Video and Audio According to User's Context. EPIA (2) 2019: 196-207 - [c111]Ricardo M. C. Magalhães
, João M. P. Cardoso
, João Mendes-Moreira
:
Energy Efficient Smartphone-Based Users Activity Classification. EPIA (2) 2019: 208-219 - [c110]Paulo J. S. Ferreira
, Ricardo M. C. Magalhães
, Kemilly Dearo Garcia
, João M. P. Cardoso
, João Mendes-Moreira
:
An Efficient Scheme for Prototyping kNN in the Context of Real-Time Human Activity Recognition. IDEAL (1) 2019: 486-493 - [c109]Cristina Silvano, Giovanni Agosta, Andrea Bartolini
, Andrea Rosario Beccari, Luca Benini
, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Daniele Cesarini
, Stefano Cherubin
, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Imane Lasri, Antonio Libri, Candida Manelfi, Jan Martinovic
, Gianluca Palermo, Pedro Pinto, Erven Rohou
, Nico Sanna
, Katerina Slaninová
, Emanuele Vitali:
Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach. PDP 2019: 116-123 - [c108]Kemilly Dearo Garcia, Tiago Carvalho, João Mendes-Moreira, João M. P. Cardoso
, André C. P. L. F. de Carvalho
:
A Study on Hyperparameter Configuration for Human Activity Recognition. SOCO 2019: 47-56 - [i8]Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso
, Carlo Cavazzoni, Daniele Cesarini, Stefano Cherubin, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Antonio Libri, Jan Martinovic, Gianluca Palermo, Pedro Pinto, Erven Rohou, Katerina Slaninová, Emanuele Vitali:
The ANTAREX Domain Specific Language for High Performance Computing. CoRR abs/1901.06175 (2019) - [i7]Emanuele Vitali, Davide Gadioli, Gianluca Palermo, Martin Golasowski, João Bispo, Pedro Pinto, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso
, Cristina Silvano:
An Efficient Monte Carlo-based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System. CoRR abs/1901.06210 (2019) - 2018
- [j36]Pedro Pinto
, Tiago Carvalho, João Bispo
, Miguel António Ramalho, João M. P. Cardoso
:
Aspect composition for multiple target languages using LARA. Comput. Lang. Syst. Struct. 53: 1-26 (2018) - [c107]Julián Caba
, João M. P. Cardoso
, Fernando Rincón
, Julio Dondo
, Juan Carlos López
:
Rapid Prototyping and Verification of Hardware Modules Generated Using HLS. ARC 2018: 446-458 - [c106]Cristina Silvano, Gianluca Palermo, Giovanni Agosta, Amir H. Ashouri, Davide Gadioli, Stefano Cherubin
, Emanuele Vitali, Luca Benini
, Andrea Bartolini
, Daniele Cesarini
, João M. P. Cardoso
, João Bispo
, Pedro Pinto
, Ricardo Nobre
, Erven Rohou, Loïc Besnard, Imane Lasri, Nico Sanna
, Carlo Cavazzoni, Radim Cmar, Jan Martinovic
, Katerina Slaninová
, Martin Golasowski, Andrea Rosario Beccari, Candida Manelfi:
Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox. CF 2018: 270-275 - [c105]Davide Gadioli, Ricardo Nobre
, Pedro Pinto
, Emanuele Vitali, Amir H. Ashouri, Gianluca Palermo, João M. P. Cardoso
, Cristina Silvano:
SOCRATES - A seamless online compiler and system runtime autotuning framework for energy-aware applications. DATE 2018: 1143-1146 - [c104]Cristina Silvano, Giovanni Agosta, Andrea Bartolini
, Andrea Rosario Beccari, Luca Benini
, Loïc Besnard, João Bispo
, Radim Cmar, João M. P. Cardoso
, Carlo Cavazzoni, Stefano Cherubin
, Davide Gadioli, Martin Golasowski, Imane Lasri, Jan Martinovic
, Gianluca Palermo, Pedro Pinto
, Erven Rohou, Nico Sanna
, Katerina Slaninová
, Emanuele Vitali:
ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing. DSD 2018: 600-607 - [c103]Ricardo Nobre
, Luís Reis, João M. P. Cardoso
:
Fast Heuristic-Based GPU Compiler Sequence Specialization. Euro-Par Workshops 2018: 494-505 - [c102]Hamid Arabnejad, João Bispo
, Jorge G. Barbosa
, João M. P. Cardoso
:
AutoPar-Clava: An Automatic Parallelization source-to-source tool for C code applications. PARMA-DITAM@HiPEAC 2018: 13-19 - [c101]Ricardo Nobre
, Luís Reis, João Bispo
, Tiago Carvalho, João M. P. Cardoso
, Stefano Cherubin
, Giovanni Agosta:
Aspect-Driven Mixed-Precision Tuning Targeting GPUs. PARMA-DITAM@HiPEAC 2018: 26-31 - [c100]Luís Reis, Ricardo Nobre
, João M. P. Cardoso
:
Impact of Vectorization Over 16-bit Data-Types on GPUs. PARMA-DITAM@HiPEAC 2018: 32-38 - [c99]Hamid Arabnejad, João Bispo
, Jorge G. Barbosa
, João M. P. Cardoso
:
An OpenMP Based Parallelization Compiler for C Applications. ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018: 915-923 - [c98]Tiago Carvalho, João M. P. Cardoso
:
An approach based on a DSL + API for programming runtime adaptivity and autotuning concerns. SAC 2018: 1211-1220 - [c97]Shahid Khan, Faiq Khalid, Osman Hasan
, João M. P. Cardoso
:
Formal verification of a domain specific language for run-time adaptation. SysCon 2018: 1-8 - [e11]Andrea Bartolini, João M. P. Cardoso, Cristina Silvano:
Proceedings of the 2nd Workshop on AutotuniNg and aDaptivity AppRoaches for Energy efficient HPC Systems, ANDARE@PACT 2018, Limassol, Cyprus, November 4, 2018. ACM 2018, ISBN 978-1-4503-6591-8 [contents] - [i6]Ricardo Nobre
, Luís Reis, João M. P. Cardoso
:
Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption. CoRR abs/1807.00638 (2018) - [i5]Ricardo Nobre
, Luís Reis, João M. P. Cardoso
:
Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering. CoRR abs/1810.10496 (2018) - [i4]Kemilly Dearo Garcia, Tiago Carvalho, João Mendes-Moreira
, João M. P. Cardoso
, André C. P. L. F. de Carvalho:
A Preliminary Study on Hyperparameter Configuration for Human Activity Recognition. CoRR abs/1810.10956 (2018) - 2017
- [j35]Christian Plessl
, Guojing Cong, João M. P. Cardoso
:
Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015). Concurr. Comput. Pract. Exp. 29(7) (2017) - [j34]Luís Veiga
, Didier El Baz
, João M. P. Cardoso
:
Recent advances in computational science and engineering research. J. Comput. Sci. 23: 118-119 (2017) - [j33]Frank Hannig
, João M. P. Cardoso
, Dietmar Fey:
Introduction to the special issue on architecture of computing systems. J. Syst. Archit. 77: 1-2 (2017) - [j32]Marek Gorgon, João M. P. Cardoso
, Diana Göhringer, Leandro Soares Indrusiak
:
Special issue on design of algorithms and architectures for signal and image processing. J. Syst. Archit. 79: 16-17 (2017) - [j31]João Bispo
, João M. P. Cardoso
:
A MATLAB subset to C compiler targeting embedded systems. Softw. Pract. Exp. 47(2): 249-272 (2017) - [j30]João M. P. Cardoso
, Cristina Silvano
:
Introduction to the Special Section on FPL 2015. ACM Trans. Reconfigurable Technol. Syst. 10(2): 10:1-10:2 (2017) - [j29]Philip Heng Wai Leong
, Hideharu Amano, Jason Helge Anderson, Koen Bertels, João M. P. Cardoso
, Oliver Diessel
, Guy Gogniat
, Mike Hutton, JunKyu Lee
, Wayne Luk, Patrick Lysaght, Marco Platzner
, Viktor K. Prasanna, Tero Rissa, Cristina Silvano
, Hayden Kwok-Hay So
, Yu Wang:
The First 25 Years of the FPL Conference: Significant Papers. ACM Trans. Reconfigurable Technol. Syst. 10(2): 15:1-15:17 (2017) - [j28]Nuno Miguel Cardanha Paulino
, João Canas Ferreira
, João M. P. Cardoso
:
Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces. IEEE Trans. Very Large Scale Integr. Syst. 25(1): 21-34 (2017) - [j27]Steven Derrien, Kubilay Atasu, João M. P. Cardoso
, Jürgen Becker
:
Foreword to the Special Section on Reconfigurable Computing. J. Signal Process. Syst. 88(2): 103-105 (2017) - [c96]Martin Golasowski, João Bispo
, Jan Martinovic
, Katerina Slaninová
, João M. P. Cardoso
:
Expressing and Applying C++ Code Transformations for the HDF5 API Through a DSL. CISIM 2017: 303-314 - [c95]Miguel P. Monteiro, Nuno C. Marques
, Bruno Silva, Bruno Palma, João M. P. Cardoso
:
Toward a Token-Based Approach to Concern Detection in MATLAB Sources. EPIA 2017: 573-584 - [c94]Ricardo Nobre
, Luís Reis
, João M. P. Cardoso
:
Impact of Compiler Phase Ordering When Targeting GPUs. Euro-Par Workshops 2017: 427-438 - [c93]Luís Reis
, João Bispo
, João M. P. Cardoso
:
Compiler Techniques for Efficient MATLAB to OpenCL Code Generation. IWOCL 2017: 29:1-29:2 - [c92]Nuno Paulino
, Luís Reis, João M. P. Cardoso
:
On Coding Techniques for Targeting FPGAs via OpenCL. PARCO 2017: 652-663 - [c91]Pedro Pinto
, Tiago Carvalho, João Bispo
, João M. P. Cardoso
:
LARA as a language-independent aspect-oriented programming approach. SAC 2017: 1623-1630 - [c90]Cristina Silvano, Giovanni Agosta, Jorge G. Barbosa
, Andrea Bartolini
, Andrea Rosario Beccari, Luca Benini
, João Bispo
, João M. P. Cardoso
, Carlo Cavazzoni, Stefano Cherubin
, Radim Cmar, Davide Gadioli, Candida Manelfi, Jan Martinovic
, Ricardo Nobre
, Gianluca Palermo, Martin Palkovic, Pedro Pinto
, Erven Rohou, Nico Sanna
, Katerina Slaninová
:
The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems. SAMOS 2017: 308-316 - [e10]Andrea Bartolini, João M. P. Cardoso, Cristina Silvano:
Proceedings of the 1st Workshop on AutotuniNg and aDaptivity AppRoaches for Energy efficient HPC Systems, ANDARE@PACT 2017, Portland, OR, USA, September 9, 2017. ACM 2017, ISBN 978-1-4503-5363-2 [contents] - 2016
- [j26]Ali Azarian
, João M. P. Cardoso
:
Pipelining data-dependent tasks in FPGA-based multicore architectures. Microprocess. Microsystems 42: 165-179 (2016) - [j25]João M. P. Cardoso
, José Gabriel F. Coutinho, Tiago Carvalho, Pedro C. Diniz
, Zlatko Petrov, Wayne Luk, Fernando M. Gonçalves
:
Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach. Softw. Pract. Exp. 46(2): 251-287 (2016) - [j24]Luiz G. A. Martins
, Ricardo Nobre
, João M. P. Cardoso
, Alexandre C. B. Delbem
, Eduardo Marques
:
Clustering-Based Selection for the Exploration of Compiler Optimization Sequences. ACM Trans. Archit. Code Optim. 13(1): 8:1-8:28 (2016) - [c89]Cristina Silvano
, Giovanni Agosta
, Stefano Cherubin
, Davide Gadioli, Gianluca Palermo
, Andrea Bartolini
, Luca Benini
, Jan Martinovic
, Martin Palkovic, Katerina Slaninová
, João Bispo
, João M. P. Cardoso
, Rui Abreu
, Pedro Pinto
, Carlo Cavazzoni, Nico Sanna
, Andrea Rosario Beccari, Radim Cmar, Erven Rohou:
The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems. Conf. Computing Frontiers 2016: 288-293 - [c88]José Arnaldo Mascagni de Holanda, João Manuel Paiva Cardoso
, Eduardo Marques:
A pipelined multi-softcore approach for the HOG algorithm. DASIP 2016: 146-153 - [c87]Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Jan Martinovic, Gianluca Palermo, Martin Palkovic, Pedro Pinto, Erven Rohou, Nico Sanna, Katerina Slaninová:
Autotuning and adaptivity approach for energy efficient Exascale HPC systems: The ANTAREX approach. DATE 2016: 708-713 - [c86]José Arnaldo Mascagni de Holanda, João Manuel Paiva Cardoso
, Eduardo Marques:
Towards a multi-softcore FPGA approach for the HOG algorithm. INDIN 2016: 117-122 - [c85]Ricardo Nobre
, Luiz G. A. Martins
, João M. P. Cardoso
:
A graph-based iterative compiler pass selection and phase ordering approach. LCTES 2016: 21-30 - [c84]Luís Reis
, João Bispo
, João M. P. Cardoso
:
SSA-based MATLAB-to-C compilation and optimization. ARRAY@PLDI 2016: 55-62 - [p1]João M. P. Cardoso
, Markus Weinhardt:
High-Level Synthesis. FPGAs for Software Programmers 2016: 23-47 - [e9]Frank Hannig
, João M. P. Cardoso
, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich:
Architecture of Computing Systems - ARCS 2016 - 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings. Lecture Notes in Computer Science 9637, Springer 2016, ISBN 978-3-319-30694-0 [contents] - [e8]Cristina Silvano, João M. P. Cardoso
, Giovanni Agosta, Michael Hübner:
Proceedings of the 7th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and the 5th Workshop on Design Tools and Architectures For Multicore Embedded Computing Platforms, PARMA-DITAM 2016, Prague, Czech Republic, January 18, 2016. ACM 2016, ISBN 978-1-4503-4052-6 [contents] - 2015
- [j23]Brahim Al Farisi, Karel Heyse, Karel Bruneel, João M. P. Cardoso
, Dirk Stroobandt:
Enabling FPGA routing configuration sharing in dynamic partial reconfiguration. Des. Autom. Embed. Syst. 19(1-2): 189-221 (2015) - [j22]Nuno Miguel Cardanha Paulino
, João Canas Ferreira
, João M. P. Cardoso
:
A Reconfigurable Architecture for Binary Acceleration of Loops with Memory Accesses. ACM Trans. Reconfigurable Technol. Syst. 7(4): 29:1-29:20 (2015) - [j21]João M. P. Cardoso
, Pedro C. Diniz, Katherine (Compton) Morrow:
Guest Editorial FPL 2013. ACM Trans. Reconfigurable Technol. Syst. 8(2): 8:1-8:2 (2015) - [j20]Diana Goehringer, Marco D. Santambrogio, João M. P. Cardoso
, Koen Bertels:
Guest Editorial ARC 2014. ACM Trans. Reconfigurable Technol. Syst. 9(1): 5:1-5:2 (2015) - [c83]Cristina Silvano
, Giovanni Agosta
, Andrea Bartolini
, Andrea Beccari, Luca Benini
, João M. P. Cardoso
, Carlo Cavazzoni, Radim Cmar, Jan Martinovic
, Gianluca Palermo
, Martin Palkovic, Erven Rohou, Nico Sanna
, Katerina Slaninová
:
ANTAREX - AutoTuning and Adaptivity appRoach for Energy Efficient eXascale HPC Systems. CSE 2015: 343-346 - [c82]Nuno Miguel Cardanha Paulino, João Canas Ferreira, João Bispo, João M. P. Cardoso:
Transparent acceleration of program execution using reconfigurable hardware. DATE 2015: 1066-1071 - [c81]Cristiano Bacelar de Oliveira, Ricardo Menotti
, João M. P. Cardoso
, Eduardo Marques
:
A special-purpose language for implementing pipelined FPGA-based accelerators. FDL 2015: 74-81 - [c80]Philip Heng Wai Leong
, Hideharu Amano, Jason Helge Anderson, Koen Bertels, João M. P. Cardoso
, Oliver Diessel
, Guy Gogniat
, Mike Hutton, JunKyu Lee
, Wayne Luk, Patrick Lysaght, Marco Platzner
, Viktor K. Prasanna, Tero Rissa, Cristina Silvano
, Hayden Kwok-Hay So
, Yu Wang:
Significant papers from the first 25 years of the FPL conference. FPL 2015: 1-3 - [c79]Ali Azarian
, João M. P. Cardoso
:
Reducing misses to external memory accesses in task-level pipelining. ISCAS 2015: 1422-1425 - [c78]João Bispo
, Luís Reis
, João M. P. Cardoso
:
Techniques for efficient MATLAB-to-C compilation. ARRAY@PLDI 2015: 7-12 - [c77]João Bispo
, Luís Reis
, João M. P. Cardoso
:
C and OpenCL generation from MATLAB. SAC 2015: 1315-1320 - [c76]Tiago Carvalho, Pedro Pinto
, João M. P. Cardoso
:
Programming Strategies for Contextual Runtime Specialization. SCOPES 2015: 3-11 - [c75]Ricardo Nobre
, Luiz G. A. Martins
, João M. P. Cardoso
:
Use of Previously Acquired Positioning of Optimizations for Phase Ordering Exploration. SCOPES 2015: 58-67 - [e7]Christian Plessl, Didier El Baz, Guojing Cong, João M. P. Cardoso, Luís Veiga, Thomas Rauber:
18th IEEE International Conference on Computational Science and Engineering, CSE 2015, Porto, Portugal, October 21-23, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-8297-7 [contents] - [e6]Eli Bozorgzadeh, João M. P. Cardoso, Rui Abreu, Seda Ogrenci Memik:
13th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013, Porto, Portugal, October 21-23, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-8299-1 [contents] - [e5]Giovanni Agosta, Cristina Silvano, João M. P. Cardoso
, Michael Hübner:
Proceedings of the 6th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and the 4th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2015, Amsterdam, Netherlands, January 21, 2015. ACM 2015, ISBN 978-1-4503-3343-6 [contents] - [i3]Pedro Pinto, Rui Abreu
, João M. P. Cardoso
:
Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results. CoRR abs/1505.01878 (2015) - 2014
- [j19]André C. Santos, João M. P. Cardoso
, Pedro C. Diniz
, Diogo R. Ferreira
, Zlatko Petrov:
Specifying Dynamic Adaptations for Embedded Applications Using a DSL. IEEE Embed. Syst. Lett. 6(3): 49-52 (2014) - [j18]Vanderlei Bonato
, Marcio Merino Fernandes, João M. P. Cardoso
, Eduardo Marques
:
Practical Education Fostered by Research Projects in an Embedded Systems Course. Int. J. Reconfigurable Comput. 2014: 287205:1-287205:12 (2014) - [j17]André C. Santos, João M. P. Cardoso
, Pedro C. Diniz
, Diogo R. Ferreira
, Zlatko Petrov:
A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation. J. Supercomput. 70(3): 1218-1248 (2014) - [c74]Luiz G. A. Martins
, Ricardo Nobre
, Alexandre C. B. Delbem
, Eduardo Marques
, João M. P. Cardoso
:
A clustering-based approach for exploring sequences of compiler optimizations. IEEE Congress on Evolutionary Computation 2014: 2436-2443 - [c73]Ali Azarian
, João M. P. Cardoso:
Coarse/Fine-grained Approaches for Pipelining Computing Stages in FPGA-Based Multicore Architectures. Euro-Par Workshops (2) 2014: 266-278 - [c72]Ricardo Nobre
, Pedro Pinto
, Tiago Carvalho, João M. P. Cardoso
, Pedro C. Diniz:
On Expressing Strategies for Directive-Driven Multicore Programing Models. PARMA-DITAM@HiPEAC 2014: 7-12 - [c71]Cristiano Bacelar de Oliveira, João M. P. Cardoso
, Eduardo Marques
:
High-Level Synthesis from C vs. a DSL-Based Approach. IPDPS Workshops 2014: 257-262 - [c70]Nuno Miguel Cardanha Paulino
, João Canas Ferreira
, João Manuel Paiva Cardoso
:
Trace-Based Reconfigurable Acceleration with Data Cache and External Memory Support. ISPA 2014: 158-165 - [c69]Luiz G. A. Martins
, Ricardo Nobre
, Alexandre C. B. Delbem
, Eduardo Marques
, João M. P. Cardoso
:
Exploration of compiler optimization sequences using clustering-based selection. LCTES 2014: 63-72 - [c68]João Bispo
, Luís Reis
, João M. P. Cardoso
:
Multi-Target C Code Generation from MATLAB. ARRAY@PLDI 2014: 95-100 - [e4]Diana Goehringer, Marco Domenico Santambrogio
, João M. P. Cardoso
, Koen Bertels:
Reconfigurable Computing: Architectures, Tools, and Applications - 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings. Lecture Notes in Computer Science 8405, Springer 2014, ISBN 978-3-319-05959-4 [contents] - [e3]Cristina Silvano, João M. P. Cardoso
, Michael Hübner:
Proceedings of the 5th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and the 3rd Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2014, Vienna, Austria, January 20, 2014. ACM 2014, ISBN 978-1-4503-2607-0 [contents] - [i2]André Bannwart Perina, Marcilyanne Moreira Gois, Paulo Matias, João M. P. Cardoso
, Alexandre C. B. Delbem, Vanderlei Bonato
:
Representation of Evolutionary Algorithms in FPGA Cluster for Project of Large-Scale Networks. CoRR abs/1412.5384 (2014) - 2013
- [j16]João Bispo
, Nuno Miguel Cardanha Paulino
, João M. P. Cardoso
, João Canas Ferreira
:
Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units. Int. J. Reconfigurable Comput. 2013: 340316:1-340316:20 (2013) - [j15]João M. P. Cardoso
, João M. Fernandes
, Miguel P. Monteiro
, Tiago Carvalho
, Ricardo Nobre
:
Enriching MATLAB with aspect-oriented features for developing embedded systems. J. Syst. Archit. 59(7): 412-428 (2013) - [j14]João M. P. Cardoso
, Tiago Carvalho, José Gabriel F. Coutinho, Ricardo Nobre
, Razvan Nane
, Pedro C. Diniz
, Zlatko Petrov, Wayne Luk, Koen Bertels:
Controlling a complete hardware synthesis toolchain with LARA aspects. Microprocess. Microsystems 37(8-C): 1073-1089 (2013) - [j13]João Bispo
, Nuno Miguel Cardanha Paulino
, João M. P. Cardoso
, João Canas Ferreira
:
Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems. IEEE Trans. Ind. Informatics 9(3): 1625-1634 (2013) - [c67]Nuno Miguel Cardanha Paulino
, João Canas Ferreira
, João M. P. Cardoso
:
Architecture for Transparent Binary Acceleration of Loops with Memory Accesses. ARC 2013: 122-133 - [c66]