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

Olivier Sentieys; Daniel Menard; Karthick Parashar; David Novo

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

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

Olivier Sentieys ¹ Daniel Menard ² Karthick Parashar ³ David Novo ⁴

1 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources

Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE

2 IETR - Institut d'Electronique et de Télécommunications de Rennes

3 IMEC - IMEC Interuniversity MicroElectronics Center

4 SysMIC - Conception et Test de Systèmes MICroélectroniques

LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier

Olivier Sentieys ¹ AuthorId : 772498

Author IdHAL : olivier-sentieys

Daniel Menard ² AuthorId : 808712

Author IdHAL : daniel-menard

Karthick Parashar ³ AuthorId : 1269211

Author

David Novo ⁴ AuthorId : 834129

Author IdHAL : david-novo ORCID : https://orcid.org/0000-0002-5510-4152

1 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 58651

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D3 - ARCHITECTURE (France) StructId : 419364
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569

2 IETR - Institut d'Electronique et de Télécommunications de Rennes (Campus de Beaulieu Bâtiment 11D 263 Av.Général Leclerc-CS 74205 35042 Rennes Cedex - France) StructId : 185974

UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
- UNIV-RENNES - Université de Rennes (France) StructId : 528860
INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
- INSA - Institut National des Sciences Appliquées (France) StructId : 301232
- UNIV-RENNES - Université de Rennes (France) StructId : 528860
CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
CNRS - Centre National de la Recherche Scientifique : UMR6164 (France) StructId : 441569

3 IMEC - IMEC Interuniversity MicroElectronics Center (Kapeldreef 75, B-3001 Leuven, Belgium - Belgium) StructId : 7674

IMEC (France) StructId : 373552

4 SysMIC - Conception et Test de Systèmes MICroélectroniques (France) StructId : 408080

LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (161 rue Ada - 34095 Montpellier - France) StructId : 181
- UM - Université de Montpellier : UMR5506 (163 rue Auguste Broussonnet - 34090 Montpellier - France) StructId : 410122
- CNRS - Centre National de la Recherche Scientifique : UMR5506 (France) StructId : 441569

Document type :

Other publications

Domain :

Engineering Sciences [physics] / Signal and Image processing

Computer Science [cs] / Computer Arithmetic

Computer Science [cs] / Hardware Architecture [cs.AR]

Computer Science [cs] / Embedded Systems

Complete list of metadatas

https://hal.inria.fr/hal-01423184
Contributor : Olivier Sentieys <>
Submitted on : Wednesday, December 28, 2016 - 5:09:44 PM
Last modification on : Friday, January 11, 2019 - 3:14:34 PM

Identifiers

HAL Id : hal-01423184, version 1

Collections

Citation

Olivier Sentieys, Daniel Menard, Karthick Parashar, David Novo. Fixed-point refinement, a guaranteed approach towards energy efficient computing. 2016. ⟨hal-01423184⟩

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

Identifiers

Collections

Citation

Export

Metrics

2630

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

2630

Contact

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