João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 88



41
TÍTULO: Software component replication for improved fault-tolerance: Can multicore processors make it work?
AUTORES: Soares, J ; Lourenco, J ; Preguica, N ;
PUBLICAÇÃO: 2013, FONTE: 14th European Workshop on Dependable Computing, EWDC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7869 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
42
TÍTULO: Efficient Support for In-Place Metadata in Transactional Memory
AUTORES: Ricardo J Dias; Tiago M Vale; João Lourenço ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Parallel Processing, Euro-Par 2012 in Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, VOLUME: 7484
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
43
TÍTULO: Efficient Support for In-Place Metadata in Transactional Memory
AUTORES: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
INDEXADO EM: WOS
44
45
TÍTULO: Precise Detection of Atomicity Violations
AUTORES: Ricardo J Dias; Vasco Pessanha; João Lourenço ;
PUBLICAÇÃO: 2012, FONTE: 8th International on Hardware and Software: Verification and Testing, HVC 2012 in Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, VOLUME: 7857
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
46
TÍTULO: Using program closures to make an application programming interface (API) implementation thread safe
AUTORES: Eitan Farchi; Itai Segall; João Lourenço ; Diogo Sousa;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
47
TÍTULO: Using program closures to make an application programming interface (API) implementation thread safe
AUTORES: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLICAÇÃO: 2012, FONTE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 - Proceedings
INDEXADO EM: Scopus
NO MEU: ORCID
48
TÍTULO: Verification of Snapshot Isolation in Transactional Memory Java Programs
AUTORES: Dias, RJ; Distefano, D; Seco, JC ; Lourenco, JM ;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 7313
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
49
TÍTULO: An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. Wii3D
AUTORES: João Lourenço ; Hannah Thinyane;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT Conf. 2011, Cape Town, South Africa, October 3-5, 2011
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
50
TÍTULO: Detecting concurrency anomalies in transactional memory programs  Full Text
AUTORES: João Lourenço ; Diogo Sousa; Bruno C Teixeira; Ricardo J Dias;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Inf. Syst., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
Página 5 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