João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 88



41
TITLE: Precise detection of atomicity violations
AUTHORS: Dias, RJ; Pessanha, V; Lourenco, JM ;
PUBLISHED: 2013, SOURCE: 8th International on Hardware and Software: Verification and Testing, HVC 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7857 LNCS
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
42
TITLE: Software component replication for improved fault-tolerance: Can multicore processors make it work?
AUTHORS: Soares, J ; Lourenco, J ; Preguica, N ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
43
TITLE: Efficient Support for In-Place Metadata in Transactional Memory
AUTHORS: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
INDEXED IN: WOS
44
TITLE: Efficient Support for In-Place Metadata in Transactional Memory
AUTHORS: Ricardo J Dias; Tiago M Vale; João Lourenço ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
45
46
TITLE: Using program closures to make an application programming interface (API) implementation thread safe
AUTHORS: Eitan Farchi; Itai Segall; João Lourenço ; Diogo Sousa;
PUBLISHED: 2012, SOURCE: Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012
INDEXED IN: DBLP CrossRef
IN MY: DBLP
47
TITLE: Using program closures to make an application programming interface (API) implementation thread safe
AUTHORS: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
48
TITLE: Verification of Snapshot Isolation in Transactional Memory Java Programs
AUTHORS: Dias, RJ; Distefano, D; Seco, JC ; Lourenco, JM ;
PUBLISHED: 2012, SOURCE: 26th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 7313
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
49
TITLE: An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. Wii3D
AUTHORS: João Lourenço ; Hannah Thinyane;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: DBLP CrossRef
IN MY: DBLP
50
TITLE: Detecting concurrency anomalies in transactional memory programs  Full Text
AUTHORS: João Lourenço ; Diogo Sousa; Bruno C Teixeira; Ricardo J Dias;
PUBLISHED: 2011, SOURCE: Comput. Sci. Inf. Syst., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP CrossRef
IN MY: DBLP
Page 5 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

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