default search action
Pedro Pinto 0002
Person information
- affiliation: University of Porto, Porto, Portugal
Other persons with the same name
- Pedro Pinto — disambiguation page
- Pedro Pinto 0001 — Polytechnic Institute of Viana do Castelo, Portugal (and 2 more)
- Pedro Pinto 0003 — Technische Universität Darmstadt, Darmstadt, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j5]Tiago Carvalho, João Bispo, Pedro Pinto, João M. P. Cardoso:
A DSL-based runtime adaptivity framework for Java. SoftwareX 23: 101496 (2023) - 2022
- [j4]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
- [j3]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) - [c12]Pedro Pinto, João M. P. Cardoso:
A methodology and framework for software memoization of functions. CF 2021: 93-101
2010 – 2019
- 2019
- [j2]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) - [c11]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 - [i3]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) - [i2]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
- [j1]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) - [c10]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 - [c9]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 - [c8]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 - 2017
- [c7]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 - [c6]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 - 2016
- [c5]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 - [c4]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 - 2015
- [c3]Tiago Carvalho, Pedro Pinto, João M. P. Cardoso:
Programming Strategies for Contextual Runtime Specialization. SCOPES 2015: 3-11 - [i1]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
- [c2]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 - 2013
- [c1]João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz:
The MATISSE MATLAB compiler. INDIN 2013: 602-608
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint