João Lourenço
Changing the world, one student at a time…
Computer Science Department, NOVA School of Science and Technology, NOVA University Lisbon, Quinta da Torre, P-2829-516 CAPARICA, Portugal — joao.lourenco [AT] fct [DOT] unl [DOT] pt (email)
[MSc] Practical Verification of Anomalies in Transactional Memory Programs
November 24, 2011
Vasco Pessanha has concluded is MSc thesis entitled "Verificação Prática de Anomalias em Programas de Memória Transaccional" (Practical Verification of Anomalies in Transactional Memory Programs), with the public defense taking place in September 19th, and with a final grade of 19 (out of 20).
