Pedro Nuno Ferreira da Rosa da Cruz Diniz


AuthID: R-000-F2M

Confirmed Publications: 143



21
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
22
TITLE: Evaluating high-level program invariants using reconfigurable hardware
AUTHORS: Park, J; Diniz, PC ;
PUBLISHED: 2014, SOURCE: 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, ARC 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8405 LNCS
INDEXED IN: Scopus
23
TITLE: On expressing strategies for directive-driven multicore programing models
AUTHORS: Nobre, R ; Pinto, P ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2014, SOURCE: 5th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 3rd Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2014 in ACM International Conference Proceeding Series
INDEXED IN: Scopus DBLP CrossRef
24
TITLE: Opportunistic application-level fault detection through adaptive redundant multithreading
AUTHORS: Hukerikar, S; Diniz, PC ; Lucas, RF; Teranishi, K;
PUBLISHED: 2014, SOURCE: 2014 International Conference on High Performance Computing and Simulation, HPCS 2014 in Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014
INDEXED IN: Scopus
25
TITLE: Specifying Dynamic Adaptations for Embedded Applications Using a DSL  Full Text
AUTHORS: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: Embedded Systems Letters, VOLUME: 6, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
26
TITLE: A note from the program chairs
AUTHORS: Morrow, K; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
INDEXED IN: Scopus
27
TITLE: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
INDEXED IN: Scopus WOS CrossRef: 1
28
TITLE: Aspect-based source to source transformations
AUTHORS: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945
INDEXED IN: Scopus CrossRef
29
TITLE: Compilation and synthesis for embedded reconfigurable systems: An aspect-oriented approach. An Aspect-Oriented Approach
AUTHORS: Cardoso, JMP ; Diniz, PC ; De Figueiredo Coutinho, JG; Petrov, ZM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945
INDEXED IN: Scopus CrossRef Openlibrary
30
TITLE: Conclusions
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems
INDEXED IN: CrossRef
Page 3 of 15. Total results: 143.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service