1999 Bibliography of the Arenaire Team

Books and Monographs

1. J.-C. BAJARD, C. FROUGNY, J.-M. MULLER (éditeurs),
   Numéro spécial Real Numbers and Computers de Theoretical Computer Science,
   Janvier 1999.

Articles in Referred Journals and Book Chapters

1. P. Y. CALLAND, A. MIGNOTTE, O. PEYRAN, Y. ROBERT, F. VIVIEN,
   « retiming DAGs »,
   IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 1999,
   à paraître.


2. M. DAUMAS, C. FINOT,
   « Division of floating point expansions with an application to the computation of a determinant »,
   Journal of Universal Computer Science 5, 6, 1999, p. 323-338.


3. M. ERCEGOVAC, L. IMBERT, D. MATULA, J.-M. MULLER, G. WEI,
   « Improving Goldschmidt Algorithm Division, Square Root and Square Root Reciprocal »,
   IEEE Transactions on Computers, 1999,
   à paraître.


4. L. IMBERT, J.-M. MULLER, F. RICO,
   « Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers »,
   Journal of VLSI Signal Processing, 1999,
   à paraître.


5. P. LANGLOIS, F. NATIVEL,
   « When automatic linear correction of rounding errors is exact »,
   CR. Acad. Sci. Paris, Série 1, 328, 1999, p. 543-548.


6. V. LEFÈVRE,
   « An Algorithm that Computes a Lower Bound on the Distance Between a Segment and Z² »,
   in: Developments in Reliable Computing, T. Csendes (éditeur),
   Kluwer, Dordrecht, Netherlands, 1999, p. 203-212.


7. V. LEFÈVRE, J.-M. MULLER, A. TISSERAND,
   « Toward Correctly Rounded Transcendentals »,
   IEEE Transactions on Computers 47, 11, novembre 1998.


8. A. MIGNOTTE, J.-M. MULLER, O. PEYRAN,
   « Synthesis for mixed arithmetics »,
   Design Automation for Embedded Systems, 1999,
   à paraître.


9. J.-M. MULLER,
   « A Few Results on Table-Based Methods »,
   Reliable Computing 5, 3, 1999.


10. J.-M. MULLER,
    « Ordinateurs en quête d'arithmétique »,
    La Recherche (numéro hors-série), Août 1999, p. 90-96,
    Version revue et augmentée d'un article de 1995.


11. J.-M. MULLER,
    « Vers des primitives propres en arithmétique des ordinateurs »,
    Technique et Science Informatiques, 2000,
    à paraître.

Publications in Conferences and Workshops

1. M. DAUMAS, A. NEGOÏ, J. ZIMMERMANN,
   « Un tout petit système pour la simulation numérique »,
   in: Sympa'5, 5ème Symposium En Architectures Nouvelles de Machines, p. 27-36,
   Rennes, France, 1999.


2. M. DAUMAS,
   « Multiplications of floating point expansions »,
   in: Proceedings of the 14th Symposium on Computer Arithmetic,
   Adelaide, Australia, 1999.


3. F. DE DINECHIN,
   « Le prix du routage dans les FPGAs »,
   in: Sympa'5, 5ème Symposium En Architectures Nouvelles de Machines,
   Rennes, France, juin 1999.


4. F. DE DINECHIN,
   « Towards Adaptable Hierarchical Placement for FPGAs »,
   in: FPGA'99,
   Monterey, CA, février 1999.


5. A. FRABOULET, G. HUARD, A. MIGNOTTE,
   « Loop Alignment for Memory Accesses Optimization »,
   in: International Symposium on System Synthesis (ISSS),
   novembre 1999.


6. A. FRABOULET, G. HUARD, A. MIGNOTTE,
   « Optimisation de la consommation et de la place mémoire par transformations de boucles »,
   in: Colloque CAO de circuits intégrés et systèmes,
   Aix en Provence, mai 1999.


7. V. LEFÈVRE, J.-M. MULLER,
   « Table Methods for the Elementary Functions »,
   in: SPIE's International Symposium on Optical Science, Engineering, and Instrumentation,
   Denver, Juillet 1999.


8. J.-M. MULLER,
   « Calcul de fonctions à l'aide de tables »,
   in: Sympa'5, 5ème Symposium En Architectures Nouvelles de Machines,
   Rennes, Juin 1999.

Internal Reports

1. M. DAUMAS, C. FINOT,
   « Algorithm, Proof and Performances of a new Division of Floating Point Expansions »,
   Research report n^o 3771, INRIA, Le Chesnay, France, 1999.


2. M. DAUMAS, C. FINOT,
   « Division of floating point expansions »,
   Research report n^o 99-03, Laboratoire de l'Informatique du Parallélisme, Lyon, France, 1999.


3. F. DE DINECHIN,
   « The Price of Routing in FPGAs »,
   Research report n^o RR-3772, INRIA, septembre 1999.


4. M. ERCEGOVAC, L. IMBERT, D. MATULA, J.-M. MULLER, G. WEI,
   « Improving Goldschmidt Algorithm Division, Square Root and Square Root Reciprocal »,
   rapport de recherche n^o 3753, INRIA, Septembre 1999,
   à paraître dans IEEE Transactions on Computers.


5. A. FRABOULET, G. HUARD, A. MIGNOTTE,
   « Loop Alignment for Memory Accesses Optimization »,
   Research Report n^o 1999-26, École Normale Supérieure de Lyon, avril 1999,
   available at ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1999/RR1999-26.ps.Z.


6. L. IMBERT, J.-M. MULLER, F. RICO,
   « Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers »,
   rapport de recherche n^o 3754, INRIA, Septembre 1999,
   à paraître dans Journal of VLSI Signal Processing.


7. P. LANGLOIS,
   « Autimatic linear correction of rounding errors »,
   Research report, INRIA, décembre 1999.


8. V. LEFÈVRE,
   « Multiplication by an Integer Constant »,
   rapport de recherche n^o 1999-06, Laboratoire de l'Informatique du Parallélisme, 1999.