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: 662

9 Team Members
Filters -> Year: 2025
221
TITLE: Recent advances in computational science and engineering research
AUTHORS: Veiga, L ; El Baz, D; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 23, PAGES: 118-119
INDEXED IN: Scopus WOS DBLP CrossRef: 1
222
TITLE: Semi-partitioned Mixed-Criticality Scheduling
AUTHORS: Muhammad Ali Awan; Konstantinos Bletsas; Pedro F Souto ; Eduardo Tovar ;
PUBLISHED: 2017, SOURCE: 30th International Conference on Architecture of Computing Systems, ARCS 2017 in Architecture of Computing Systems - ARCS 2017 - 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings, VOLUME: 10172, PAGES: 205-218
INDEXED IN: Scopus DBLP CrossRef: 8
223
TITLE: Source code analysis and instrumentation
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 99-135
INDEXED IN: CrossRef: 1
224
TITLE: Source code transformations and optimizations
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 137-183
INDEXED IN: CrossRef: 11
225
TITLE: Special issue on design of algorithms and architectures for signal and image processing  Full Text
AUTHORS: Gorgon, M; Cardoso, JMP ; Gohringer, D; Indrusiak, LS;
PUBLISHED: 2017, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 79, PAGES: 16-17
INDEXED IN: Scopus WOS DBLP CrossRef
226
TITLE: Targeting heterogeneous computing platforms
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 227-254
INDEXED IN: CrossRef
227
TITLE: The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems
AUTHORS: Cristina Silvano; Giovanni Agosta; Jorge G Barbosa ; Andrea Bartolini; Andrea R 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á; ...More
PUBLISHED: 2017, SOURCE: 17th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2017 in 2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2017, Pythagorion, Greece, July 17-20, 2017, VOLUME: 2018-January, PAGES: 308-316
INDEXED IN: Scopus DBLP CrossRef: 10 Handle
228
TITLE: The First 25 Years of the FPL Conference: Significant Papers. Significant Papers  Full Text
AUTHORS: Philip H W Leong; Hideharu Amano; Jason Anderson; Koen Bertels; Joao M P Cardoso ; Oliver Diessel; Guy Gogniat; Mike Hutton; Junkyu Lee; Wayne Luk; Patrick Lysaght; Marco Platzner; Viktor K Prasanna; Tero Rissa; Cristina Silvano; Hayden Kwok Hay So; Yu Wang;
PUBLISHED: 2017, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 10, ISSUE: 2, PAGES: 15:1-15:17
INDEXED IN: Scopus WOS DBLP CrossRef: 1
229
TITLE: The Single-Writer Principle in CRDT Composition
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 2017 Programming Models and Languages for Distributed Computing, PMLDC 2017 in Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PAGES: 4:1-4:3
INDEXED IN: Scopus DBLP CrossRef: 3
230
TITLE: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTHORS: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 573-584
INDEXED IN: Scopus WOS DBLP CrossRef
231
TITLE: Transparent cross-system consistency
AUTHORS: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica ; Rodrigo Rodrigues ;
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: 8:1-8:4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
232
TITLE: A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
AUTHORS: Ricardo Nobre ; Luiz G A Martins; Joao M P Cardoso ;
PUBLISHED: 2016, SOURCE: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 2016 in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 5, PAGES: 21-30
INDEXED IN: Scopus WOS DBLP CrossRef: 11
233
TITLE: A Pipelined Multi-softcore Approach for the HOG Algorithm
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PAGES: 146-153
INDEXED IN: Scopus WOS DBLP CrossRef: 1
234
TITLE: A review of scalability and topological stability issues in IEEE 802.11s wireless mesh networks deployments. SCALABILITY AND TOPOLOGICAL STABILITY ISSUES IN 802.11S DEPLOYMENTS
AUTHORS: Sampaio, S ; Souto, P ; Vasques, F ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 29, ISSUE: 4, PAGES: 671-693
INDEXED IN: Scopus WOS DBLP CrossRef Handle
235
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: 2016, SOURCE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PAGES: 75-99
INDEXED IN: WOS
236
TITLE: A Study on Cloud Cost Efficiency by Exploiting Idle Billing Period Fractions
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2016, SOURCE: IEEE International Conference on Cloud Engineering (IC2E) in 2016 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING WORKSHOP (IC2EW), PAGES: 138-143
INDEXED IN: WOS DBLP CrossRef: 1
237
TITLE: Architecture of computing systems – ARCS 2016: 29th international conference Nuremberg, Germany, April 4-7, 2016 Proceedings
AUTHORS: Frank Hannig; João M P Cardoso ; Thilo Pionteck; Dietmar Fey; Wolfgang Schröder Preikschat; Jürgen Teich;
PUBLISHED: 2016, SOURCE: 29th International Conference on Architecture of Computing Systems, ARCS 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9637
INDEXED IN: Scopus DBLP CrossRef: 3
238
TITLE: AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems: the ANTAREX Approach
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea R Beccari; Luca Benini; Joao Bispo ; Radim Cmar; Joao M P Cardoso ; Carlo Cavazzoni; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Pedro Pinto ; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2016, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), PAGES: 708-713
INDEXED IN: Scopus WOS DBLP
239
TITLE: Clustering-Based Selection for the Exploration of Compiler Optimization Sequences  Full Text
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Joao M P Cardoso ; Alexandre C B Delbem; Eduardo Marques;
PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, VOLUME: 13, ISSUE: 1, PAGES: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 42
240
TITLE: Deadline-Budget constrained Scheduling Algorithm for Scientific Workflows in a Cloud Environment
AUTHORS: Mozhgan Ghasemzadeh; Hamid Arabnejad; Jorge G. Barbosa ;
PUBLISHED: 2016, SOURCE: 20th International Conference on Principles of Distributed Systems, OPODIS 2016 in 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, VOLUME: 70, PAGES: 19:1-19:16
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 12 of 34. Total results: 662.