Pedro Miguel dos Santos Pinto


AuthID: R-000-X4G

Confirmed Publications: 12



1
TITLE: A methodology and framework for software memoization of functions
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
2
TITLE: ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea R 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; ...More
PUBLISHED: 2018, SOURCE: 21st Euromicro Conference on Digital System Design, DSD 2018 in 21st Euromicro Conference on Digital System Design, DSD 2018, Prague, Czech Republic, August 29-31, 2018
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
3
TITLE: Aspect composition for multiple target languages using LARA
AUTHORS: Pinto, P ; Carvalho, T ; Bispo, J ; Ramalho, MA; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 53
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
4
TITLE: Autotuning and Adaptivity in Energy Efficient HPC Systems: The ANTAREX Toolbox. the ANTAREX toolbox
AUTHORS: Cristina Silvano; Gianluca Palermo; Giovanni Agosta; Amir H Ashouri; Davide Gadioli; Stefano Cherubin; Emanuele Vitali; Luca Benini; Andrea Bartolini; Daniele Cesarini; Joao Cardoso ; Joao Bispo ; Pedro Pinto ; Riccardo Nobre; Erven Rohou; Loic Besnard; Imane Lasri; Nico Sanna; Carlo Cavazzoni; Radim Cmar; Jan Martinovic; Katerina Slaninova; Martin Golasowski; Andrea R Beccari; Candida Manelfi; ...More
PUBLISHED: 2018, SOURCE: 15th ACM International Conference on Computing Frontiers in 2018 ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
5
TITLE: SOCRATES - A seamless online compiler and system runtime autotuning framework for energy-aware applications
AUTHORS: Davide Gadioli; Ricardo Nobre; Pedro Pinto ; Emanuele Vitali; Amir H Ashouri; Gianluca Palermo; João M P Cardoso ; Cristina Silvano;
PUBLISHED: 2018, SOURCE: 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018 in 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, VOLUME: 2018-January
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
6
TITLE: LARA as a language-independent aspect-oriented programming approach
AUTHORS: Pedro Pinto ; Tiago Carvalho ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
7
TITLE: The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems
AUTHORS: Cristina Silvano; Giovanni Agosta; Jorge G Barbosa ; Andrea Bartolini; Andrea R 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á; ...More
PUBLISHED: 2017, SOURCE: 17th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2017 in 2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2017, Pythagorion, Greece, July 17-20, 2017, VOLUME: 2018-January
INDEXED IN: Scopus DBLP CrossRef: 9 Handle
IN MY: ORCID
8
TITLE: AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems: the ANTAREX Approach
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea R Beccari; Luca Benini; Joao Bispo ; Radim Cmar; Joao M P Cardoso ; Carlo Cavazzoni; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Pedro Pinto ; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2016, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE)
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
9
TITLE: The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems
AUTHORS: 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 R Beccari; Radim Cmar; Erven Rohou;
PUBLISHED: 2016, SOURCE: ACM International Conference on Computing Frontiers, CF 2016 in Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016
INDEXED IN: Scopus DBLP CrossRef: 21
IN MY: ORCID
10
TITLE: Programming strategies for contextual runtime specialization
AUTHORS: Carvalho, T ; Pinto, P ; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 in Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
Page 1 of 2. Total results: 12.

A place for researchers and their institutions

Useful Links

Get Help

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