An Analytical Model on the Execution of Transactional Memory | IEEE Conference Publication | IEEE Xplore