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: 666
9 Team MembersFilters -> Year: 2025
261
TITLE: SSA-based MATLAB-to-C compilation and optimization
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2016, SOURCE: 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2016 in Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016, PAGES: 55-62
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2016, SOURCE: 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2016 in Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016, PAGES: 55-62
262
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, PAGES: 288-293
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, PAGES: 288-293
263
TITLE: The problem with embedded CRDT counters and a solution
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLISHED: 2016, SOURCE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PAGES: 10:1-10:3
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLISHED: 2016, SOURCE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PAGES: 10:1-10:3
264
TITLE: Towards a Multi-softcore FPGA Approach for the HOG Algorithm
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 117-122
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 117-122
265
TITLE: Why Logical Clocks Are Easy Full Text
AUTHORS: Carlos Baquero ; Nuno Preguica ;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 59, ISSUE: 4, PAGES: 43-47
AUTHORS: Carlos Baquero ; Nuno Preguica ;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 59, ISSUE: 4, PAGES: 43-47
266
TITLE: Why Logical Clocks are Easy. Sometimes all you need is the right language.
AUTHORS: Carlos Baquero ; Nuno M Preguiça ;
PUBLISHED: 2016, SOURCE: ACM Queue, VOLUME: 14, ISSUE: 1, PAGES: 60
AUTHORS: Carlos Baquero ; Nuno M Preguiça ;
PUBLISHED: 2016, SOURCE: ACM Queue, VOLUME: 14, ISSUE: 1, PAGES: 60
267
TITLE: Why logical clocks are easy
AUTHORS: Baquero, C ; Preguiça, N ;
PUBLISHED: 2016, SOURCE: Queue, VOLUME: 14, ISSUE: 1
AUTHORS: Baquero, C ; Preguiça, N ;
PUBLISHED: 2016, SOURCE: Queue, VOLUME: 14, ISSUE: 1
INDEXED IN: 
Scopus
Scopus268
TITLE: Worlds of Events Deduction with Partial Knowledge about Causality PDF Full Text
AUTHORS: Haeri, SH; Van Roy, P; Baquero, C ; Meiklejohn, C;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1608.03326, ISSUE: 223, PAGES: 113-127
AUTHORS: Haeri, SH; Van Roy, P; Baquero, C ; Meiklejohn, C;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1608.03326, ISSUE: 223, PAGES: 113-127
269
TITLE: 13th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013, Porto, Portugal, October 21-23, 2015
AUTHORS: Eli Bozorgzadeh; João M P Cardoso ; Rui Abreu ; Seda Ogrenci Memik;
PUBLISHED: 2015, SOURCE: EUC
AUTHORS: Eli Bozorgzadeh; João M P Cardoso ; Rui Abreu ; Seda Ogrenci Memik;
PUBLISHED: 2015, SOURCE: EUC
INDEXED IN: 
DBLP
DBLP270
TITLE: 18th IEEE International Conference on Computational Science and Engineering, CSE 2015, Porto, Portugal, October 21-23, 2015
AUTHORS: Christian Plessl; Didier El Baz; Guojing Cong; João M P Cardoso ; Luís Veiga ; Thomas Rauber;
PUBLISHED: 2015, SOURCE: CSE
AUTHORS: Christian Plessl; Didier El Baz; Guojing Cong; João M P Cardoso ; Luís Veiga ; Thomas Rauber;
PUBLISHED: 2015, SOURCE: CSE
INDEXED IN: DBLP
DBLP271
TITLE: A Reconfigurable Architecture for Binary Acceleration of Loops with Memory Accesses Full Text
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 7, ISSUE: 4, PAGES: 29:1-29:20
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 7, ISSUE: 4, PAGES: 29:1-29:20
272
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
273
TITLE: A State-of-the-art Integrated Transportation Simulation Platform
AUTHORS: Azevedo, Tiago ; Rosaldo J F Rossetti ; Jorge G Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS) in 2015 INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS (MT-ITS), PAGES: 340-347
AUTHORS: Azevedo, Tiago ; Rosaldo J F Rossetti ; Jorge G Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS) in 2015 INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS (MT-ITS), PAGES: 340-347
274
TITLE: A Survey of Distributed Data Aggregation Algorithms Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
275
TITLE: Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks
AUTHORS: Lima, R ; Baquero, C ; Miranda, H ;
PUBLISHED: 2015, SOURCE: 9th International Conference on Next Generation Mobile Applications, Services and Technologies in 2015 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), PAGES: 176-181
AUTHORS: Lima, R ; Baquero, C ; Miranda, H ;
PUBLISHED: 2015, SOURCE: 9th International Conference on Next Generation Mobile Applications, Services and Technologies in 2015 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), PAGES: 176-181
276
TITLE: ANTAREX - AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Beccari; Luca Benini; Joao M P Cardoso ; Carlo Cavazzoni; Radim Cmar; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 343-346
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Beccari; Luca Benini; Joao M P Cardoso ; Carlo Cavazzoni; Radim Cmar; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 343-346
277
TITLE: Application-oriented cache memory configuration for energy efficiency in multi-cores Full Text
AUTHORS: de Abreu Silva, B; Cuminato, LA; Delbem, ACB; Diniz, PC ; Bonato, V;
PUBLISHED: 2015, SOURCE: IET Computers and Digital Techniques, VOLUME: 9, ISSUE: 1, PAGES: 73-81
AUTHORS: de Abreu Silva, B; Cuminato, LA; Delbem, ACB; Diniz, PC ; Bonato, V;
PUBLISHED: 2015, SOURCE: IET Computers and Digital Techniques, VOLUME: 9, ISSUE: 1, PAGES: 73-81
278
TITLE: Applied reconfigurable computing 11th International symposium, ARC 2015 Bochum, Germany, april 13-17, 2015 proceedings
AUTHORS: Sano, K; Soudris, D; Hübner, M; Diniz, PC ;
PUBLISHED: 2015, SOURCE: 11th International Symposium on Applied Reconfigurable Computing, ARC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9040
AUTHORS: Sano, K; Soudris, D; Hübner, M; Diniz, PC ;
PUBLISHED: 2015, SOURCE: 11th International Symposium on Applied Reconfigurable Computing, ARC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9040
INDEXED IN: Scopus
Scopus279
TITLE: Atomic-delayed execution: A concurrent programming model for incomplete graph-based computations
AUTHORS: Diniz, PC ;
PUBLISHED: 2015, SOURCE: IEEE High Performance Extreme Computing Conference, HPEC 2015 in 2015 IEEE High Performance Extreme Computing Conference, HPEC 2015
AUTHORS: Diniz, PC ;
PUBLISHED: 2015, SOURCE: IEEE High Performance Extreme Computing Conference, HPEC 2015 in 2015 IEEE High Performance Extreme Computing Conference, HPEC 2015
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef280
TITLE: C and OpenCL Generation from MATLAB
AUTHORS: Joao Bispo ; Luis Reis ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 1315-1320
AUTHORS: Joao Bispo ; Luis Reis ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 1315-1320
