Combining Error Detection and Transactional Memory for Energy-Efficient Computing below Safe Operation Margins | Publicación