@misc{sentieys:hal-01253496,
TITLE = {Fixed-point refinement, a guaranteed approach towards energy efficient computing},
AUTHOR = {Sentieys, Olivier and Menard, Daniel and Novo, David and Parashar, Karthick},
URL = {https://inria.hal.science/hal-01253496},
NOTE = {Tutorial at IEEE/ACM Design Automation and Test in Europe (DATE'15)},
YEAR = {2015},
MONTH = Mar, HAL_ID = {hal-01253496},
HAL_VERSION = {v1},
}