Equipe de recherche ARIC

Publications de l'équipe ARIC

2013

Chapitres d'ouvrages scientifiques

Titre
Reconfigurable arithmetic for HPC
Auteurs
Florent De Dinechin url; 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-Arith4HPC-chapter.pdf 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
RR-rational-constmult-v3.pdf BibTex

Communications avec actes

Titre
Simultaneous Branch and Warp Interweaving for Sustained GPU Performance
Auteurs
Nicolas Brunie url; Sylvain Collange url; 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
sbiswi.pdf BibTex
Titre
Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication
Auteurs
Hong Diep Nguyen; Nathalie Revol url; 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
Nguyen-Revol-Theveny.pdf BibTex
Titre
Table-based division by small integer constants
Auteurs
Florent De Dinechin url; 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
LUTConstDiv.pdf BibTex
Titre
Mixed-precision Fused Multiply and Add
Auteurs
Nicolas Brunie; Florent De Dinechin url; 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
mpfma.pdf BibTex
Titre
Simultaneous floating-point sine and cosine for VLIW integer processors
Auteurs
Claude-Pierre Jeannerod url; Jingyan Jourdan-Lu url
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
Jeannerod-JourdanLu.pdf BibTex
Titre
A Note on the Space Complexity of Fast D-Finite Function Evaluation
Auteurs
Marc Mezzarobba url
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
paper43-mezzarobba.ps paper43-mezzarobba.pdf BibTex
Titre
Non-generic floating-point software support for embedded media processing
Auteurs
Claude-Pierre Jeannerod url; Jingyan Jourdan-Lu url; 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
jeannerod_jourdan-lu_monat.pdf BibTex

Communications sans actes

Titre
Interval matrix multiplication on parallel architectures
Auteurs
Philippe Théveny url; Nathalie Revol url
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
BibTex
Titre
IEEE-1788 standardization of interval arithmetic: work in progress (a personal view)
Auteurs
Nathalie Revol url
Détail
IFIP Working Group 2.5 on Numerical Software, Jul 2012, Santander, Spain.
Accès au bibtex
BibTex
Titre
Divers algorithmes de produits de matrices intervalles
Auteurs
Philippe Théveny url
Détail
RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France.
Accès au bibtex
BibTex
Titre
L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles
Auteurs
Nathalie Revol url
Détail
RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France.
Accès au bibtex
BibTex

Conférences invitées

Titre
Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication
Auteurs
Nathalie Revol url; Hong Diep Nguyen; Philippe Théveny url
Détail
Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain.
Accès au bibtex
BibTex

Rapports

Titre
Arithmetic around the bit heap
Auteurs
Florent De Dinechin url; Matei Istoan; Guillaume Sergent; Kinga Illyes; Bogdan Popa; Nicolas Brunie
Détail
[Report], 2012
Accès au texte intégral et bibtex
2012-BitHeap.pdf BibTex
Titre
Floating-Point Exponentiation Units for Reconfigurable Computing
Auteurs
Florent De Dinechin url; Pedro Echeverria; Marisa Lopez-Vallejo; Bogdan Pasca
Détail
[Report], 2012
Accès au texte intégral et bibtex
2012-TRETS-Exponentiation.pdf 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
MARTIN_DOREL_Erik_2012_these.pdf 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 url; Christoph Lauter
Détail
Oct. 2012
Accès au texte intégral et bibtex
Compar-Hal-Version.pdf BibTex
Titre
On the componentwise accuracy of complex floating-point division with an FMA
Auteurs
Claude-Pierre Jeannerod; Nicolas Louvet; Jean-Michel Muller url
Détail
Sep. 2012
Accès au texte intégral et bibtex
article-Hal-Version.pdf BibTex
Titre
On Ziv's rounding test
Auteurs
Florent De Dinechin; Christoph Lauter; Jean-Michel Muller url; Serge Torres
Détail
May. 2012
Accès au texte intégral et bibtex
ZivRounding_PreprintVersion.pdf BibTex

2011

Rapports

Titre
Further analysis of Kahan's algorithm for the accurate computation of 2 x 2 determinants
Auteurs
Claude-Pierre Jeannerod url; Nicolas Louvet url; Jean-Michel Muller url
Détail
[Report], 2011, pp. 19
Accès au texte intégral et bibtex
JeLoMu11-revised-2.pdf BibTex