- Présentation
- Publications HAL
Equipe de recherche ARIC
Publications de l'équipe ARIC
2013
Chapitres d'ouvrages scientifiques
- Titre
- Reconfigurable arithmetic for HPC
- Auteurs
- Florent De Dinechin
; Bogdan Pasca - Détail
- Wim Vanderbauwhede and Khaled Benkrid. High-Performance Computing using FPGAs, Springer, pp. , Mar. 2013
- Accès au texte intégral et bibtex
-
2012
Articles dans des revues avec comité de lecture
- Titre
- Multiplication by rational constants
- Auteurs
- Florent De Dinechin
- Détail
- IEEE Transactions on Circuits and Systems. Part II, Express Briefs, 2012, pp. 00
- Accès au texte intégral et bibtex
-
Communications avec actes
- Titre
- Simultaneous Branch and Warp Interweaving for Sustained GPU Performance
- Auteurs
- Nicolas Brunie
; Sylvain Collange
; Gregory Diamos - Détail
- 39th Annual International Symposium on Computer Architecture (ISCA), Portland, OR, United States. pp. 49 - 60, 2012
- Accès au texte intégral et bibtex
-
- Titre
- Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication
- Auteurs
- Hong Diep Nguyen; Nathalie Revol
; Philippe Théveny - Détail
- LNCS. PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland. Springer, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- Table-based division by small integer constants
- Auteurs
- Florent De Dinechin
; Laurent-Stéphane Didier - Détail
- Applied Reconfigurable Computing, Mar 2012, Hong Kong, Hong Kong. pp. 00
- Accès au texte intégral et bibtex
-
- Titre
- Mixed-precision Fused Multiply and Add
- Auteurs
- Nicolas Brunie; Florent De Dinechin
; Benoît De Dinechin - Détail
- 45th Asilomar Conference on Signals, Systems & Computers, Nov 2011, United States. pp. 165-169, 2012
- Accès au texte intégral et bibtex
-
- Titre
- Simultaneous floating-point sine and cosine for VLIW integer processors
- Auteurs
- Claude-Pierre Jeannerod
; Jingyan Jourdan-Lu 
- Détail
- 23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012), Jul 2012, Delft, Netherlands. pp. 69-76
- Accès au texte intégral et bibtex
-
- Titre
- A Note on the Space Complexity of Fast D-Finite Function Evaluation
- Auteurs
- Marc Mezzarobba

- Détail
- Gerdt, V.P. and Koepf, W. and Mayr, E.W. and Vorozhtsov, E.V.. CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. Springer, Computer Algebra in Scientific Computing, 7442, pp. 212-223, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- Non-generic floating-point software support for embedded media processing
- Auteurs
- Claude-Pierre Jeannerod
; Jingyan Jourdan-Lu
; Christophe Monat - Détail
- 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 2012, Karlsruhe, Germany.
- Accès au texte intégral et bibtex
-
Communications sans actes
- Titre
- Interval matrix multiplication on parallel architectures
- Auteurs
- Philippe Théveny
; Nathalie Revol 
- Détail
- SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russian Federation.
- Accès au bibtex
-
- Titre
- IEEE-1788 standardization of interval arithmetic: work in progress (a personal view)
- Auteurs
- Nathalie Revol

- Détail
- IFIP Working Group 2.5 on Numerical Software, Jul 2012, Santander, Spain.
- Accès au bibtex
-
- Titre
- Divers algorithmes de produits de matrices intervalles
- Auteurs
- Philippe Théveny

- Détail
- RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France.
- Accès au bibtex
-
- Titre
- L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles
- Auteurs
- Nathalie Revol

- Détail
- RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France.
- Accès au bibtex
-
Conférences invitées
- Titre
- Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication
- Auteurs
- Nathalie Revol
; Hong Diep Nguyen; Philippe Théveny 
- Détail
- Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain.
- Accès au bibtex
-
Rapports
- Titre
- Arithmetic around the bit heap
- Auteurs
- Florent De Dinechin
; Matei Istoan; Guillaume Sergent; Kinga Illyes; Bogdan Popa; Nicolas Brunie - Détail
- [Report], 2012
- Accès au texte intégral et bibtex
-
- Titre
- Floating-Point Exponentiation Units for Reconfigurable Computing
- Auteurs
- Florent De Dinechin
; Pedro Echeverria; Marisa Lopez-Vallejo; Bogdan Pasca - Détail
- [Report], 2012
- Accès au texte intégral et bibtex
-
Thèses
- Titre
- Contributions à la vérification formelle d'algorithmes arithmétiques
- Auteurs
- Erik Martin-Dorel
- Détail
- Ecole normale supérieure de lyon - ENS LYON, Sep. 2012. English
- Accès au texte intégral et bibtex
-
Documents sans référence de publication
- Titre
- Comparison between binary64 and decimal64 floating-point numbers
- Auteurs
- Nicolas Brisebarre; Marc Mezzarobba; Jean-Michel Muller
; Christoph Lauter - Détail
- Oct. 2012
- Accès au texte intégral et bibtex
-
- Titre
- On the componentwise accuracy of complex floating-point division with an FMA
- Auteurs
- Claude-Pierre Jeannerod; Nicolas Louvet; Jean-Michel Muller

- Détail
- Sep. 2012
- Accès au texte intégral et bibtex
-
- Titre
- On Ziv's rounding test
- Auteurs
- Florent De Dinechin; Christoph Lauter; Jean-Michel Muller
; Serge Torres - Détail
- May. 2012
- Accès au texte intégral et bibtex
-
2011
Rapports
- Titre
- Further analysis of Kahan's algorithm for the accurate computation of 2 x 2 determinants
- Auteurs
- Claude-Pierre Jeannerod
; Nicolas Louvet
; Jean-Michel Muller 
- Détail
- [Report], 2011, pp. 19
- Accès au texte intégral et bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Inria
Inria.fr
Inria Channel

Voir aussi