Pedro Nuno Ferreira da Rosa da Cruz Diniz


AuthID: R-000-F2M

Publicações Confirmadas: 143



21
TÍTULO: An evaluation of lazy fault detection based on Adaptive Redundant Multithreading
AUTORES: Hukerikar, S; Teranishi, K; Diniz, PC ; Lucas, RF;
PUBLICAÇÃO: 2014, FONTE: 2014 IEEE High Performance Extreme Computing Conference, HPEC 2014 in 2014 IEEE High Performance Extreme Computing Conference, HPEC 2014
INDEXADO EM: Scopus
22
TÍTULO: Evaluating high-level program invariants using reconfigurable hardware
AUTORES: Park, J; Diniz, PC ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus
23
TÍTULO: On expressing strategies for directive-driven multicore programing models
AUTORES: Nobre, R ; Pinto, P ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
24
TÍTULO: Opportunistic application-level fault detection through adaptive redundant multithreading
AUTORES: Hukerikar, S; Diniz, PC ; Lucas, RF; Teranishi, K;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus
25
TÍTULO: Specifying Dynamic Adaptations for Embedded Applications Using a DSL  Full Text
AUTORES: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLICAÇÃO: 2014, FONTE: Embedded Systems Letters, VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
26
TÍTULO: A note from the program chairs
AUTORES: Morrow, K; Diniz, PC ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus
27
TÍTULO: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTORES: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLICAÇÃO: 2013, FONTE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
INDEXADO EM: Scopus WOS CrossRef: 1
28
TÍTULO: Aspect-based source to source transformations
AUTORES: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945
INDEXADO EM: Scopus CrossRef
29
TÍTULO: Compilation and synthesis for embedded reconfigurable systems: An aspect-oriented approach. An Aspect-Oriented Approach
AUTORES: Cardoso, JMP ; Diniz, PC ; De Figueiredo Coutinho, JG; Petrov, ZM;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945
INDEXADO EM: Scopus CrossRef Openlibrary
30
TÍTULO: Conclusions
AUTORES: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems
INDEXADO EM: CrossRef
Página 3 de 15. Total de resultados: 143.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service