@conference {inforum:2015:tvale,
	title = {Execu{\c c}{\~a}o concorrente e determinista de transa{\c c}{\~o}es},
	booktitle = {Proceedings of INForum Simp{\'o}sio de Inform{\'a}tica},
	series = {INForum 2015},
	year = {2015},
	note = {<p>n/a</p>
},
	address = {Covilh{\~a}, Portugal},
	abstract = {<p>Neste artigo apresentamos um protocolo de controlo de concorr{\^e}ncia que garante que a execu{\c c}{\~a}o concorrente de transa{\c c}{\~o}es {\'e} equivalente {\`a} sua execu{\c c}{\~a}o sequencial por uma ordem predefinida. Isto permite executar programas que usam transa{\c c}{\~o}es de forma determinista. O protocolo (1) permite, pela primeira vez, a execu{\c c}{\~a}o determinista de programas que usam mem{\'o}ria transacional por hardware; e (2) garante a execu{\c c}{\~a}o determinista de programas que usam mem{\'o}ria transacional por software com um desempenho claramente superior ao estado da arte.</p>
},
	keywords = {Fotografia digital, Processamento de imagem, Sistema de apoio {\`a} decis{\~a}o},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/inforum15-pot.pdf},
	author = {Tiago Vale and Ricardo J. Dias and Silva, Jo{\~a}o A. and Jo{\~a}o M. Louren{\c c}o}
}
