Computing Systems Research Lab
AuthID: I-000-BDG
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 662
9 Team MembersFilters -> Year: 2025
101
TITLE: Causality is Graphically Simple
AUTHORS: Carlos Baquero ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2012.09086
AUTHORS: Carlos Baquero ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2012.09086
INDEXED IN: 
DBLP
DBLP102
TITLE: Clava: C/C plus plus source-to-source compilation using LARA
AUTHORS: Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: SOFTWAREX, VOLUME: 12, PAGES: 100565
AUTHORS: Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: SOFTWAREX, VOLUME: 12, PAGES: 100565
103
TITLE: Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation Full Text
AUTHORS: Reis, L; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 32, ISSUE: 22
AUTHORS: Reis, L; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 32, ISSUE: 22
104
TITLE: Constructing Reliable Computing Environments on Top of Amazon EC2 Spot Instances Full Text
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: ALGORITHMS, VOLUME: 13, ISSUE: 8, PAGES: 187
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: ALGORITHMS, VOLUME: 13, ISSUE: 8, PAGES: 187
105
TITLE: CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
AUTHORS: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.12783
AUTHORS: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.12783
INDEXED IN: DBLP
DBLP106
TITLE: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
107
TITLE: Expelliarmus: Semantic-centric virtual machine image management in IaaS Clouds Full Text
AUTHORS: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLISHED: 2020, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PAGES: 107-121
AUTHORS: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLISHED: 2020, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PAGES: 107-121
108
TITLE: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture Full Text
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
109
TITLE: Improving Performance and Energy Consumption in Embedded Systems via Binary Acceleration: A Survey Full Text
AUTHORS: Nuno Paulin ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2020, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 1, PAGES: 6:1-6:36
AUTHORS: Nuno Paulin ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2020, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 1, PAGES: 6:1-6:36
110
TITLE: kNN Prototyping Schemes for Embedded Human Activity Recognition with Online Learning
AUTHORS: Paulo J S Ferreira; João M P Cardoso ; João Mendes Moreira ;
PUBLISHED: 2020, SOURCE: Comput., VOLUME: 9, ISSUE: 4, PAGES: 96
AUTHORS: Paulo J S Ferreira; João M P Cardoso ; João Mendes Moreira ;
PUBLISHED: 2020, SOURCE: Comput., VOLUME: 9, ISSUE: 4, PAGES: 96
111
TITLE: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
112
TITLE: Message from the General Chairs: SBAC-PAD 2020 Full Text
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef113
TITLE: Optimizing OpenCL Code for Performance on FPGA: k-Means Case Study With Integer Data Sets
AUTHORS: Paulino, N ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 152286-152304
AUTHORS: Paulino, N ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 152286-152304
114
TITLE: Overviewing the liveness of refactoring for energy efficiency
AUTHORS: Emanuel Moreira; Filipe F Correia ; João Bispo ;
PUBLISHED: 2020, SOURCE: 4th International Conference on Art, Science, and Engineering of Programming, Programming 2020 in Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, PAGES: 211-212
AUTHORS: Emanuel Moreira; Filipe F Correia ; João Bispo ;
PUBLISHED: 2020, SOURCE: 4th International Conference on Art, Science, and Engineering of Programming, Programming 2020 in Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, PAGES: 211-212
115
TITLE: Response Time Analysis of Multiframe Mixed-Criticality Systems
AUTHORS: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLISHED: 2020, SOURCE: 27th International Conference on Real-Time Networks and Systems (RTNS) in RTNS 2019: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2019), PAGES: 8-18
AUTHORS: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLISHED: 2020, SOURCE: 27th International Conference on Real-Time Networks and Systems (RTNS) in RTNS 2019: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2019), PAGES: 8-18
116
TITLE: Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines Full Text
AUTHORS: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLISHED: 2020, SOURCE: REAL-TIME SYSTEMS, VOLUME: 57, ISSUE: 1-2, PAGES: 141-189
AUTHORS: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLISHED: 2020, SOURCE: REAL-TIME SYSTEMS, VOLUME: 57, ISSUE: 1-2, PAGES: 141-189
117
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications Full Text
AUTHORS: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
AUTHORS: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
118
TITLE: State-Machine Replication for Planet-Scale Systems
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP119
TITLE: State-machine replication for planet-scale systems
AUTHORS: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: Proceedings of the Fifteenth European Conference on Computer Systems
AUTHORS: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: Proceedings of the Fifteenth European Conference on Computer Systems
120
TITLE: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTHORS: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11789
AUTHORS: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11789
INDEXED IN: DBLP
DBLP