CPU-core frequency scaling for efficient thread scheduling in transactional memories | IEEE Conference Publication | IEEE Xplore