An Analytical Model of Hardware Transactional Memory | IEEE Conference Publication | IEEE Xplore