@misc{sentieys:hal-01423184,
TITLE = {Fixed-­point refinement, a guaranteed approach towards energy efficient computing},
AUTHOR = {Sentieys, Olivier and Menard, Daniel and Parashar, Karthick and Novo, David},
URL = {https://inria.hal.science/hal-01423184},
NOTE = {Tutorial},
YEAR = {2016},
MONTH = Jan, HAL_ID = {hal-01423184},
HAL_VERSION = {v1},
}