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
301
TITLE: Program-invariant checking for soft-error detection using reconfigurable hardware  Full Text
AUTHORS: Park, J; Diniz, PC ;
PUBLISHED: 2015, SOURCE: ACM Transactions on Reconfigurable Technology and Systems, VOLUME: 9, ISSUE: 1, PAGES: 1-13
INDEXED IN: Scopus CrossRef
302
TITLE: Programming strategies for contextual runtime specialization
AUTHORS: Carvalho, T ; Pinto, P ; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 in Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, PAGES: 3-11
INDEXED IN: Scopus DBLP CrossRef: 2
303
TITLE: Reducing Misses to External Memory Accesses in Task-Level Pipelining
AUTHORS: Ali Azarian ; Joao M P Cardoso ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLUME: 2015-July, PAGES: 1422-1425
INDEXED IN: Scopus WOS DBLP CrossRef
304
TITLE: Resource sharing for scientific workflows on computational grids
AUTHORS: Barbosa, JG ; Michalakelis, C; Arabnejad, H;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects, PAGES: 45-70
INDEXED IN: Scopus
305
TITLE: Run-time cache configuration for the LEON-3 embedded processor
AUTHORS: Silva, BA; Cuminato, LA; Bonato, V; Diniz, PC ;
PUBLISHED: 2015, SOURCE: 28th Symposium on Integrated Circuits and Systems Design, SBCCI 2015 in Proceedings, SBCCI 2015 - 28th Symposium on Integrated Circuits and Systems Design: Chip in Bahia
INDEXED IN: Scopus
306
TITLE: Significant Papers from the First 25 Years of the FPL Conference
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 So; Yu Wang;
PUBLISHED: 2015, SOURCE: 25th International Conference on Field Programmable Logic and Applications in 2015 25TH INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PAGES: 1-3
INDEXED IN: Scopus WOS DBLP CrossRef: 1
307
TITLE: SPECIAL SECTION ON THE 2014 INTERNATIONAL SYMPOSIUM ON APPLIED RECONFIGURABLE COMPUTING  Full Text
AUTHORS: Diana Goehringer; Marco D Santambrogio; Joao M P Cardoso ; Koen Bertels;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 9, ISSUE: 1
INDEXED IN: WOS
308
TITLE: Techniques for efficient MATLAB-to-C compilation
AUTHORS: João Bispo ; Luís Reis ; João M P Cardoso ;
PUBLISHED: 2015, SOURCE: 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2015 in Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015, PAGES: 7-12
INDEXED IN: Scopus DBLP CrossRef: 4
309
TITLE: Towards Certifiable Multicore-based Platforms for Avionics
AUTHORS: Muhammad A Awan; Patrick M Yomsi; Konstantinos Bletsas; Vincent Nélis; Eduardo Tovar ; Pedro Souto;
PUBLISHED: 2015
INDEXED IN: Handle
310
TITLE: Transparent Acceleration of Program Execution Using Reconfigurable Hardware  Full Text
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: Conference on Design Automation Test in Europe (DATE) in 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), VOLUME: 2015-April, PAGES: 1066-1071
INDEXED IN: Scopus WOS DBLP CrossRef: 6
311
TITLE: Use of previously acquired positioning of optimizations for phase ordering exploration
AUTHORS: Nobre, R; Martins, LGA; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 in Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, PAGES: 58-67
INDEXED IN: Scopus DBLP CrossRef: 15
312
TITLE: A Budget Constrained Scheduling Algorithm for Workflow Applications  Full Text
AUTHORS: Arabnejad, H; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 12, ISSUE: 4, PAGES: 665-679
INDEXED IN: Scopus WOS DBLP CrossRef: 94
313
TITLE: A case for adaptive redundancy for HPC resilience
AUTHORS: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLISHED: 2014, SOURCE: 19th International Conference on Parallel Processing Workshops, Euro-Par 2013 - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8374 LNCS, PAGES: 690-697
INDEXED IN: Scopus
314
TITLE: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
INDEXED IN: Scopus WOS DBLP CrossRef: 4
315
TITLE: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation  Full Text
AUTHORS: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, ISSUE: 3, PAGES: 1218-1248
INDEXED IN: Scopus WOS DBLP CrossRef: 2
316
TITLE: A Performance Enforcing Mechanism for Energy- and Failure-Aware Cloud Systems
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2014, SOURCE: International Green Computing Conference (IGCC) in 2014 INTERNATIONAL GREEN COMPUTING CONFERENCE (IGCC), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
317
TITLE: Addressing failures in exascale computing
AUTHORS: Snir, M; Wisniewski, RW; Abraham, JA; Adve, SV; Bagchi, S; Balaji, P; Belak, J; Bose, P; Cappello, F; Carlson, B; Chien, AA; Coteus, P; Debardeleben, NA; Diniz, PC ; Engelmann, C; Erez, M; Fazzari, S; Geist, A; Gupta, R; Johnson, F; Krishnamoorthy, S; Leyffer, S; Liberty, D; Mitra, S; Munson, T; Schreiber, R; Stearley, J; Hensbergen, EV; ...More
PUBLISHED: 2014, SOURCE: International Journal of High Performance Computing Applications, VOLUME: 28, ISSUE: 2, PAGES: 129-173
INDEXED IN: Scopus CrossRef: 244
318
TITLE: An evaluation of lazy fault detection based on Adaptive Redundant Multithreading
AUTHORS: Hukerikar, S; Teranishi, K; Diniz, PC ; Lucas, RF;
PUBLISHED: 2014, SOURCE: 2014 IEEE High Performance Extreme Computing Conference, HPEC 2014 in 2014 IEEE High Performance Extreme Computing Conference, HPEC 2014
INDEXED IN: Scopus
319
TITLE: Budget Constrained Scheduling Strategies for On-line Workflow Applications
AUTHORS: Hamid Arabnejad; Jorge G Barbosa ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 532-545
INDEXED IN: Scopus WOS DBLP CrossRef: 9
320
TITLE: Coarse/Fine-grained Approaches for Pipelining Computing Stages in FPGA-Based Multicore Architectures
AUTHORS: Ali Azarian ; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 266-278
INDEXED IN: Scopus WOS DBLP CrossRef: 2

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