João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 88



51
TÍTULO: Detecting Concurrency Anomalies in Transactional Memory Programs  Full Text
AUTORES: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
52
TÍTULO: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2011, FONTE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXADO EM: Scopus
NO MEU: ORCID
53
TÍTULO: Practical verification of high-level dataraces in transactional memory programs
AUTORES: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLICAÇÃO: 2011, FONTE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
54
55
TÍTULO: Special Session on Debugging  Full Text
AUTORES: Yoav Hollander; Alan Hu; Joao Lourenco ; Ronny Morad;
PUBLICAÇÃO: 2011, FONTE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
56
TÍTULO: Understanding Transactional Memory (Extended Abstract)
AUTORES: Lourenco, J ;
PUBLICAÇÃO: 2011, FONTE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXADO EM: Scopus WOS
NO MEU: ORCID
57
TÍTULO: Detection of Transactional Memory anomalies using static analysis
AUTORES: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
58
TÍTULO: Open virtualization framework for testing Ground Systems
AUTORES: Duro, N; Santos, R; Lourenco, J ; Paulino, H ; Martins, J;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
59
TÍTULO: PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXADO EM: Scopus
NO MEU: ORCID
60
Página 6 de 9. Total de resultados: 88.

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

Links Úteis

Ajuda

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