Computing Systems Research Lab

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 663

9 Team Members
Filters -> Year: 2025
161
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, PAGES: 270-275
INDEXED IN: Scopus WOS DBLP CrossRef: 9
162
TITLE: Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption PDF
AUTHORS: Ricardo Nobre; Luís Reis; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.00638
INDEXED IN: DBLP arXiv
163
TITLE: Decoupling Criticality and Importance in Mixed-Criticality Scheduling
AUTHORS: Konstantinos Bletsas; Muhammad Ali Awan; Pedro Souto; Benny Åkesson; Alan Burns; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Mixed Criticality Systems (WMC 2018)
INDEXED IN: Handle
164
TITLE: Delta State replicated data types  Full Text
AUTHORS: Paulo Sergio Almeida ; Ali Shoker ; Carlos Baquero ;
PUBLISHED: 2018, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 111, PAGES: 162-173
INDEXED IN: Scopus WOS DBLP CrossRef: 49
165
TITLE: Energy monitoring as an essential building block towards sustainable ultrascale systems  Full Text
AUTHORS: Almeida, F; Assuncao, MD; Barbosa, J ; Blanco, V; Brandic, I; Da Costa, G; Dolz, MF; Elster, AC; Jarus, M; Karatza, HD; Lefevre, L; Mavridis, I; Oleksiak, A; Orgerie, AC; Pierson, JM;
PUBLISHED: 2018, SOURCE: SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, VOLUME: 17, PAGES: 27-42
INDEXED IN: WOS DBLP CrossRef: 4
166
TITLE: Formal verification of a domain specific language for run-time adaptation
AUTHORS: Shahid Khan; Faiq Khalid; Osman Hasan; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: 12th Annual IEEE International Systems Conference, SysCon 2018 in 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef
167
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2018, SOURCE: 24th International European Conference on Parallel and Distributed Computing, Euro-Par 2018 in Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, VOLUME: 11014, PAGES: 492-504
INDEXED IN: Scopus DBLP
168
TITLE: Impact of Vectorization Over 16-bit Data-Types on GPUs
AUTHORS: Reis, L; Nobre, R; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM) in PARMA-DITAM 2018: 9TH WORKSHOP ON PARALLEL PROGRAMMING AND RUNTIME MANAGEMENT TECHNIQUES FOR MANY-CORE ARCHITECTURES AND 7TH WORKSHOP ON DESIGN TOOLS AND ARCHITECTURES FOR MULTICORE EMBEDDED COMPUTING PLATFORMS, PAGES: 32-38
INDEXED IN: Scopus WOS DBLP CrossRef
169
TITLE: Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering PDF
AUTHORS: Ricardo Nobre; Luís Reis; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.10496
INDEXED IN: DBLP arXiv
170
TITLE: Message from Andare’18 general and program chairs
AUTHORS: Bartolini, A; Cardoso, JMP ; Silvano, C;
PUBLISHED: 2018, SOURCE: 2nd Workshop on AutotuniNg and aDaptivity AppRoaches for Energy efficient HPC Systems, ANDARE 2018 - A Workshop part of PACT 2018 Conference in ACM International Conference Proceeding Series
INDEXED IN: Scopus
171
TITLE: Message from DASIP'2018 General and Program Chairs
AUTHORS: Cardoso, JMP ; Casseau, E; Langlois, P; Juárez, E;
PUBLISHED: 2018, SOURCE: 12th Conference on Design and Architectures for Signal and Image Processing, DASIP 2018 in Conference on Design and Architectures for Signal and Image Processing, DASIP, VOLUME: 2018-October
INDEXED IN: Scopus CrossRef
172
TITLE: Message from general and program co-chairs
AUTHORS: Silvano, C; Cardoso, JMP ; Fornaciari, W; Huebner, M;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2018 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
173
TITLE: Mixed-criticality Scheduling with Dynamic Memory Bandwidth Regulation
AUTHORS: Awan, MA; Bletsas, K; Souto, PF ; Akesson, B; Tovar, E ;
PUBLISHED: 2018, SOURCE: 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2018 IEEE 24TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), PAGES: 111-117
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Handle
174
TITLE: Mixed-criticality Scheduling with Memory Bandwidth Regulation
AUTHORS: Awan, Muhammad Ali; Souto, Pedro F. ; Bletsas, Konstantinos; Akesson, Benny; Tovar, Eduardo;
PUBLISHED: 2018, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), PAGES: 1277-1282
INDEXED IN: WOS
175
TITLE: Mixed-criticality scheduling with memory bandwidth regulation
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
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, PAGES: 1277-1282
INDEXED IN: Scopus DBLP CrossRef: 3 Handle
176
TITLE: Multi-QoS constrained and Profit-aware scheduling approach for concurrent workflows on heterogeneous systems  Full Text
AUTHORS: Hamid Arabnejad; Jorge G Barbosa ;
PUBLISHED: 2018, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 78, PAGES: 402-412
INDEXED IN: Scopus WOS DBLP CrossRef: 1
178
TITLE: Rapid Prototyping and Verification of Hardware Modules Generated Using HLS
AUTHORS: Julian Caba; João M P Cardoso ; Fernando Rincón; Julio Dondo; Juan Carlos López;
PUBLISHED: 2018, SOURCE: 14th International Symposium on Applied Reconfigurable Computing, ARC 2018 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings, VOLUME: 10824, PAGES: 446-458
INDEXED IN: Scopus DBLP CrossRef: 2
179
TITLE: RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading  Full Text
AUTHORS: Hukerikar, S; Teranishi, K; Diniz, PC ; Lucas, RF;
PUBLISHED: 2018, SOURCE: International Journal of Parallel Programming, VOLUME: 46, ISSUE: 2, PAGES: 225-251
INDEXED IN: Scopus CrossRef: 10
180
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, PAGES: 1143-1146
INDEXED IN: Scopus DBLP CrossRef: 7

Results per Page: 20.
Page 9 of 34. Total results: 663.