A Framework for Formally Verifying Software Transactional Memory Algorithms.

Mohsen Lesani Victor Luchangco Mark Moir

Published in: CONCUR (2012)

Keyphrases

data structure
efficient implementation
image processing algorithms
image processing
software architecture
highly scalable