Fixed-point refinement, a guaranteed approach towards energy efficient computing - Archive ouverte HAL Access content directly
Other Publications Year : 2015

Fixed-point refinement, a guaranteed approach towards energy efficient computing

(1) , (2) , (3) , (4)
1
2
3
4
Not file

Dates and versions

hal-01253496 , version 1 (10-01-2016)

Identifiers

  • HAL Id : hal-01253496 , version 1

Cite

Olivier Sentieys, Daniel Menard, David Novo, Karthick Parashar. Fixed-point refinement, a guaranteed approach towards energy efficient computing. 2015. ⟨hal-01253496⟩
484 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More