Adaptive Model-Based Scheduling in Software Transactional Memory | IEEE Journals & Magazine | IEEE Xplore