Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Static Analysis Approach | Synergy-VM

Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Static Analysis Approach

Citation:: Dias, R. J., J. C. Seco, and J. M. Lourenço, Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Static Analysis Approach, : Universidade Nova de Lisboa, UNL-DI-5-2011.

Report Date:

UNL-DI-5-2011

Preview	Attachment	Size
	2011-dias.pdf	753.21 KB