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: 663
9 Team MembersFilters -> Year: 2025
181
TITLE: The Twenty Sixth International Heterogeneity in Computing Workshop (HCW) and to the Fifteenth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar) Full Text
AUTHORS: Jorge G Barbosa ; Emmanuel Jeannot;
PUBLISHED: 2018, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, ISSUE: 23
AUTHORS: Jorge G Barbosa ; Emmanuel Jeannot;
PUBLISHED: 2018, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, ISSUE: 23
182
TITLE: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers Full Text
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018 in 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain, VOLUME: 106, PAGES: 2:1-2:22
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018 in 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain, VOLUME: 106, PAGES: 2:1-2:22
INDEXED IN: 
Scopus 
DBLP 
Handle
Scopus DBLP Handle183
TITLE: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact)
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: DARTS, VOLUME: 4, ISSUE: 2, PAGES: 05:1-05:3
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: DARTS, VOLUME: 4, ISSUE: 2, PAGES: 05:1-05:3
INDEXED IN: DBLP Handle
DBLP Handle184
TITLE: A Comparative Cost Study of Fault-Tolerant Techniques for Availability on the Cloud
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 263-268
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 263-268
185
TITLE: A Hands-on Approach on Botnets for Behavior Exploration
AUTHORS: João Pedro Dias ; José Pedro Pinto; José Magalhães Cruz ;
PUBLISHED: 2017, SOURCE: 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017 in Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017, Porto, Portugal, April 24-26, 2017, PAGES: 463-469
AUTHORS: João Pedro Dias ; José Pedro Pinto; José Magalhães Cruz ;
PUBLISHED: 2017, SOURCE: 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017 in Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017, Porto, Portugal, April 24-26, 2017, PAGES: 463-469
186
TITLE: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
187
TITLE: Aggregation Protocols in Light of Reliable Communication
AUTHORS: Ziad Kassam ; Ali Shoker ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PAGES: 145-148
AUTHORS: Ziad Kassam ; Ali Shoker ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PAGES: 145-148
188
TITLE: As Secure as Possible Eventual Consistency. Work in Progress
AUTHORS: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
AUTHORS: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
189
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
190
TITLE: Code retargeting for CPU-based platforms
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 185-225
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 185-225
INDEXED IN: 
CrossRef
CrossRef191
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
192
TITLE: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
193
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
INDEXED IN: 
WOS DBLP
WOS DBLP194
TITLE: Controlling the design and development cycle
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 57-98
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 57-98
INDEXED IN: CrossRef
CrossRef195
TITLE: DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones Full Text
AUTHORS: Goncalves, R ; Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 194-203
AUTHORS: Goncalves, R ; Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 194-203
196
TITLE: Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation
AUTHORS: Cardoso, JMP ; Coutinho, JGF; Diniz, PC ;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation, PAGES: 1-297
AUTHORS: Cardoso, JMP ; Coutinho, JGF; Diniz, PC ;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation, PAGES: 1-297
INDEXED IN: Scopus
Scopus197
TITLE: Expressing and Applying C plus plus Code Transformations for the HDF5 API Through a DSL
AUTHORS: Golasowski, M; Bispo, J ; Martinovic, J; Slaninova, K; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PAGES: 303-314
AUTHORS: Golasowski, M; Bispo, J ; Martinovic, J; Slaninova, K; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PAGES: 303-314
198
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
199
TITLE: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015). Editorial Full Text
AUTHORS: Christian Plessl; Guojing J Cong; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, ISSUE: 7
AUTHORS: Christian Plessl; Guojing J Cong; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, ISSUE: 7
200
TITLE: Foreword to the Special Section on Reconfigurable Computing Full Text
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
