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

Olivier Sentieys; Daniel Menard; Karthick Parashar; David Novo

Accueil
Déposer
Consulter tout HAL
Publications Inria
Recherche
Services
Documentation
OpenAccess@Inria

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

Auteur IdHAL : olivier-sentieys

Daniel Menard ² AuthorId : 808712

Auteur IdHAL : daniel-menard

Karthick Parashar ³ AuthorId : 1269211

Auteur

David Novo ⁴ AuthorId : 834129
Auteur

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
  - 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
  - INSA - Institut National des Sciences Appliquées : - RENNES (France) StructId : 301232
  - 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
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 - Belgique) 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

Type de document :

Autre publication

Tutorial. 2016

Domaine :

Sciences de l'ingénieur [physics] / Traitement du signal et de l'image

Informatique [cs] / Arithmétique des ordinateurs

Informatique [cs] / Architectures Matérielles [cs.AR]

Informatique [cs] / Systèmes embarqués

Liste complète des métadonnées

https://hal.inria.fr/hal-01423184
Contributeur : Olivier Sentieys <>
Soumis le : mercredi 28 décembre 2016 - 17:09:44
Dernière modification le : jeudi 28 juin 2018 - 15:12:05

Identifiants

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. Tutorial. 2016. 〈hal-01423184〉

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

Identifiants

Collections

Citation

Exporter

Métriques

1844

Contact

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

Identifiants

Collections

Citation

Exporter

Partager

Métriques

1844

Contact

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