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

Olivier Sentieys; Daniel Menard; David Novo; Karthick Parashar

Accueil
Déposer
Consulter tout HAL
Publications Inria
Recherche
Services
Documentation
OpenAccess
- Inria soutient la science ouverte

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'Electronique et de Télécommunications de Rennes

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

4 IMEC - IMEC Interuniversity MicroElectronics Center

Olivier Sentieys ¹ AuthorId : 859871

Auteur IdHAL : olivier-sentieys

Daniel Menard ² AuthorId : 808712

Auteur IdHAL : daniel-menard

David Novo ³ AuthorId : 834129

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

Karthick Parashar ⁴ AuthorId : 1269211

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
  - 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
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - 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
  - 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
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

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 EPFL - Ecole Polytechnique Fédérale de Lausanne (CH-1015 Lausanne, Switzerland - Suisse) StructId : 302851

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

IMEC (France) StructId : 373552

Type de document :

Autre publication

Tutorial at IEEE/ACM Design Automation and Test in Europe (DATE'15). 2015

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-01253496
Contributeur : Olivier Sentieys <>
Soumis le : dimanche 10 janvier 2016 - 18:35:34
Dernière modification le : vendredi 11 janvier 2019 - 15:14:34

Identifiants

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. Tutorial at IEEE/ACM Design Automation and Test in Europe (DATE'15). 2015. 〈hal-01253496〉

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

Identifiants

Collections

Citation

Exporter

Métriques

2289

Contact

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

Identifiants

Collections

Citation

Exporter

Partager

Métriques

2289

Contact