2000 Bibliography of the Arenaire Team

Books and Monographs

1. A. BARRAUD ET AL.,
   Outils d'Analyse Numérique,
   Hermès, Paris, 2001,
   (Auteur du chapitre 1, à paraître).

Doctoral Dissertations and ``Habilitation'' Theses

1. V. LEFÈVRE,
   Moyens arithmétiques pour un calcul fiable,
   thèse de doctorat, École Normale Supérieure de Lyon, Lyon, France, janvier 2000,
   ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2000/PhD2000-02.ps.Z.

Articles in Referred Journals and Book Chapters

1. T. BRACONNIER, P. LANGLOIS, J.-C. RIOUAL,
   « The influence of orthogonality on the Arnoldi method »,
   Linear Algebra and Appl. 309, 1-3, 2000, p. 307-323.


2. M. DAUMAS, P. EVRIPIDOU,
   « Parallel implementation of the selection problem: a case study »,
   International Journal of Parallel Programming 28, 1, 2000, p. 103-131.


3. F. DE DINECHIN,
   « The Price of Routing in FPGAs »,
   Journal of Universal Computer Science 6, 2, février 2000, p. 227-239.


4. M. ERCEGOVAC, L. IMBERT, D. MATULA, J.-M. MULLER, G. WEI,
   « Improving Goldschmidt Division, Square Root and Square Root Reciprocal »,
   IEEE Transactions on Computers 49, 7, juillet 2000.


5. M. ERCEGOVAC, T. LANG, J.-M. MULLER, A. TISSERAND,
   « Reciprocation, Square Root, Inverse Square Root and Some Elementary Functions Using Small Multipliers »,
   IEEE Transactions on Computers 49, 7, juillet 2000.


6. L. IMBERT, J.-M. MULLER, F. RICO,
   « Radix-10 BKM Algorithm for Computing Transcendentals on a Pocket Computer »,
   Journal of VLSI Signal Processing 25, 2, juin 2000, p. 179-186.


7. V. LEFÈVRE,J.-M. MULLER,
   «L'erreur En Arithmétique Des Ordinateurs»,
   Le Temps des Savoirs, 2, October 2000, p. 147-157,
   in French - en Français.


8. A. MIGNOTTE, J.-M. MULLER, O. PEYRAN,
   « Synthesis for Mixed Arithmetic »,
   Design Automation for Embedded Systems 5, 1, février 2000.


9. J.-M. MULLER,
   « Vers Des Primitives Propres En Arithmétique Des Ordinateurs »,
   Technique et Science Informatiques 19, janvier 2000.

Publications in Conferences and Workshops

1. T. BRACONNIER, P. LANGLOIS,
   «From rounding error estimation to automatic correction with automatic differentiation»,
   in: Proceedings of the Third International Conference on Automatic Differentiation: from Simulation to Optimization, Nice, June 2000, Springer-Verlag,
   2000. À paraître, disponible sous forme de rapport de recherche INRIA, RR INRIA numéro 3967, Juillet 2000.
   http://www.inria.fr/rrrt/rr-3967.html.


2. T. BRACONNIER, P. LANGLOIS,
   « Parallelism in automatic differentiation for automatic correction of round-off errors »,
   in: The Third International Conference on Automatic Differentiation: from Simulation to Optimization,
   June 2000.


3. M. DAUMAS, C. FINOT, J.-M. MULLER,
   « Table based implementation of elementary functions for hundred-bit precision »,
   in: Proceedings of the 16th IMACS World Congress on Computational and Applied Mathematics,
   Lausanne, Switzerland, 2000.


4. M. DAUMAS, C. FINOT,
   «Exponential: implementation trade-offs for hundred bit precision»,
   in: Real Numbers and Computers 4, p. 61-74,
   Dagstuhl, Germany, 2000.


5. M. DAUMAS, P. LANGLOIS,
   « Choix d'un support architectural pour le produit scalaire »,
   in: 6ème Symposium sur les Architectures Nouvelles de Machines, p. 15-23,
   Besançon, France, 2000.


6. M. DAUMAS, D. W. MATULA,
   «A Booth multiplier accepting both a redundant or a non-redundant input with no additional delay »,
   in: IEEE International Conference on Application-specific Systems, Architectures and Processors, p. 205-214,
   Boston, Massachusetts, 2000.


7. F. DE DINECHIN, V. LEFÈVRE,
   « Constant Multipliers for FPGAs »,
   in: Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE 2000),
   Las Vegas, USA, juin 2000. Also available as LIP research report 2000-18,
   ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2000/RR2000-18.ps.Z.


8. F. DE DINECHIN, A. TISSERAND,
   « Table-based methods comparison for low-precision evaluation of the sine and cosine functions on FPGAs »,
   in: Advanced Signal Processing Algorithms, Architectures, and Implementations X (SPIE'2000), F. Luk (éditeur), 4116,
   San Diego, California, Aug 2000.


9. L. IMBERT, C. MOREAU, F. RICO,
   « Comparison of different techniques to compute the complex exponential for hundred bit precision »,
   in: IMACS-GAMMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, p. 124-125,
   Karlsruhe, Germany, 2000. ,
   
   
10. P. LANGLOIS,
    « Applications of the CENA method to automatic accuracy enhancement »,
    in: SCAN 2000 International Conference on Scientific Computing, Computer Arithmetic and Validated Numerics, Karlsruhe, GAMM-IMACS,
    September 2000.


11. P. LANGLOIS,
    « Limitations of finite precision correction »,
    in: RNC-4, Real Numbers and Computer Conference, Open session, Dagsthul, J.-C. Bajard et al. (éditeurs),
    April 2000.


12. P. LANGLOIS,
    « New Results for the CENA Method »,
    in: The journal BIT 40th anniversary conference, Lund,
    August 2000.


13. P. LANGLOIS,
    « Stochastic localization of instability and deterministic enhancement of accuracy for iterative algorithms »,
    in: Proceedings of the 16th IMACS World Congress, Lausanne,
    August 2000.


14. V. LEFÈVRE, J.-M. MULLER,
    « On-the-Fly Range Reduction »,
    in: Advanced Signal Processing Algorithms, Architectures, and Implementations X (SPIE'2000), F. Luk (éditeur), 4116,
    San Diego, California, août 2000.


15. V. LEFÈVRE, J.-M. MULLER,
    « Correctly Rounded Functions for Better Arithmetic (conférence invitée) »,
    in: 34th Asilomar Conference on Circuits and Systems, IEEE Computer Society Press, Los Alamitos, CA,
    Pacific Grove (USA), October 2000.

1. M. DAUMAS, D. W. MATULA,
   « Further reducing the redundancy of a notation over a minimally redundant digit set »,
   Research report n^o 3886, INRIA, Le Chesnay, France, 2000,
   http://www.inria.fr/rrrt/rr-3886.html.


2. F. DE DINECHIN,
   « Constant Multipliers for FPGAs »,
   rapport de recherche n^o 1999-50, Laboratoire de l'Informatique du Parallélisme, mai 2000,
   ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2000/RR2000-18.ps.Z.


3. T. LANG, J.-M. MULLER,
   « Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions »,
   Rapport de Recherche n^o RR-4045, INRIA, Le Chesnay, France, 2000,
   http://www.inria.fr/rrrt/rr-4044.html.


4. P. LANGLOIS,
   « A Revised Presentation of the CENA Method »,
   Research Report n^o RR-4025, INRIA, Rocquencourt, France, October 2000,
   http://www.inria.fr/rrrt/rr-4025.html.


5. V. LEFÈVRE, J.-M. MULLER,
   « On-the-fly Range Reduction »,
   Rapport de Recherche n^o RR-4043, INRIA, Le Chesnay, France, 2000,
   http://www.inria.fr/rrrt/rr-4043.html.


6. V. LEFÈVRE, J.-M. MULLER,
   « Worst Cases for Correct Rounding of the Elementary Functions »,
   Rapport de Recherche n^o RR-4044, INRIA, Le Chesnay, France, 2000,
   http://www.inria.fr/rrrt/rr-4044.html.

Miscellaneous

1. P. LANGLOIS,
   « Principles and Application of the CENA method »,
   SEA'2000 Workshop, Toulouse, France,
   june 2000, (Invited Talk).