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

Olivier Sentieys; Daniel Menard; David Novo; Karthick Parashar

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

Other publications

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

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

1 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources

Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE

2 IETR - Institut d'Électronique et des Technologies du numéRique

3 EPFL - Ecole Polytechnique Fédérale de Lausanne

4 IMEC - IMEC Interuniversity MicroElectronics Center

Olivier Sentieys ¹ AuthorId : 859871
Author IdHAL : olivier-sentieys

Daniel Menard ² AuthorId : 808712
Author IdHAL : daniel-menard

David Novo ³ AuthorId : 834129
Author Employer institution : Catholic University of Leuven - Katholieke Universiteit Leuven IdHAL : david-novo ORCID : https://orcid.org/0000-0002-5510-4152

Karthick Parashar ⁴ AuthorId : 1269211
Author

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
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - 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
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - 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

2 IETR - Institut d'Électronique et des Technologies du numéRique (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 EPFL - Ecole Polytechnique Fédérale de Lausanne (CH-1015 Lausanne, Switzerland - Switzerland) StructId : 302851

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

IMEC (France) StructId : 373552

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 metadata

https://hal.inria.fr/hal-01253496
Contributor : Olivier Sentieys Connect in order to contact the contributor
Submitted on : Sunday, January 10, 2016 - 6:35:34 PM
Last modification on : Friday, January 21, 2022 - 3:23:53 AM

Identifiers

HAL Id : hal-01253496, version 1

Collections

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles

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

Identifiers

Collections

Citation

Export

Share

Metrics

Contact Legal Notice Personal Data