"Special issue ``Linear Algebra and Arithmetic'' of
Journal of Computational and Applied Mathematics", S. El
Hajji, N. Revol, P. Van Dooren, editors 1, 162, 2003, to
appear.
"Special issue ``Real Numbers and Computers'' of
Theoretical Computer Science", P. Kornerup, J.-C. Bajard,
C. Frougny, J.-M. Muller, editors 2, 291, January,
2003.
Doctoral Dissertations and ``Habilitation'' Theses
D. Defour. "Fonctions Élémentaires : algorithmes
et implémentations efficaces pour l'arrondi correct en double
précision", Ph. D. Thesis, École Normale Supérieure de Lyon,
Lyon, France, September, 2003, http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2003/PhD2003-01.ps.gz.
G. Villard. "Algorithmique en algèbre linéaire
exacte", Habilitation à Diriger des Recherches, Université
Claude Bernard, Lyon, France, March, 2003.
Articles in Referred Journals and Book Chapters
J.-L. Beuchat, A. Tisserand. "Évaluation
polynomiale en-ligne de fonctions élémentaires sur FPGA",
Technique et science
informatiques, 2003, to appear.
S. Boldo, M. Daumas. "A simple test qualifying the
accuracy of Horner's rule for polynomials", Numerical Algorithms, 2003, to
appear.
N. Brisebarre, J.-M. Muller,
S. K. Raina. "Accelerating correctly rounded floating-point
division when the divisor is known in advance", IEEE Transactions on Computers, 2003, to
appear.
D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller,
N. Revol, P. Zimmermann. "Proposal for a standardization of
mathematical function implementation in floating-point
arithmetic", Numerical Algorithms,
2003, to appear.
F. de Dinechin, T. Risset, M. Manjunathaiah,
M. Spivey. "System Specification and Design Languages (best of
FDL'02)", Kluwer, 2003, Design of highly parallel
architectures with Alpha and Handel.
C.-P. Jeannerod. "On matrix
perturbations with
minimal leading Jordan structure", J. Comp. Applied Math, 2003, to
appear.
C.-P. Jeannerod, G. Villard. "Essentially optimal
computation of the inverse of generic polynomial matrices",
Journal of Complexity, 2003, to
appear.
E. Kaltofen, G. Villard. "Computing the sign or
the value of the determinant of an integer matrix, a complexity
survey", J. Comp. Applied Math,
2003, to appear.
P. Koiran, N. Portier, G. Villard. "A rank theorem
for Vandermonde matrices", Linear Algebra
and its Applications, 2003, to appear.
P. Langlois, N. Revol. "Validating polynomial
numerical computations with complementary automatic methods",
Mathematics and Computers in
Simulation, 2003, http://www.inria.fr/rrrt/rr-4205.html, to
appear.
V. Lefèvre, J.-M. Muller. "On-the-Fly Range
Reduction", Journal of VLSI Signal
Processing, 1/2, 33, February, 2003,
p. 31-35.
N. Revol. "Interval Newton iteration in multiple
precision for the univariate case", Numerical Algorithms, 2, 34, 2003,
p. 417-426.
B. Saunders, A. Storjohann, G. Villard. "Matrix
rank certification", Elect. J. Linear
Algebra, 2003, to appear.
A. Tisserand. "Low Power Electronics Design",
CRC Press, 2003, Low-Power Arithmetic Operators, to
appear.
Publications in Conferences and Workshops
J.-L. Beuchat. "Modular Multiplication for FPGA
Implementation of the IDEA Block Cipher", in : Proceedings of the 14th IEEE International
Conference on Application-Specific Systems, Architectures, and
Processors, IEEE Computer Society, E. Deprettere,
S. Bhattacharyya, J. Cavallaro, A. Darte, L. Thiele,
editors p. 412-422, 2003.
J.-L. Beuchat. "Some Modular Adders and
Multipliers for Field Programmable Gate Arrays", in : Proceedings of the 17th International Parallel
& Distributed Processing Symposium, IEEE Computer
Society, 2003.
J.-L. Beuchat. "FPGA Implementations of the RC6
Block Cipher", in : Field-Programmable
Logic and Applications, Lecture Notes in Computer
Science, 2778, Springer, P. Y. K. Cheung, G. A. Constantinides,
J. T. de Sousa, editors p. 101-110, 2003.
J.-L. Beuchat, L. Imbert,
A. Tisserand. "Comparison of Modular Multipliers on FPGAs",
in : Proceedings of SPIE 2003,
2003.
J.-L. Beuchat,
J.-M. Muller. "Multiplication-addition modulaire: algorithmes
itératifs et implantations sur FPGA", in
: Actes de RenPar'15, CFSE'3 et SympAAA'2003,
M. Auguin, F. Baude, D. Lavenier, M. Riveill,
editors p. 235-242, October, 2003.
S. Boldo, M. Daumas. "Representable correcting
terms for possibly underflowing floating point operations",
in : Proceedings of the 16th Symposium on
Computer Arithmetic, J.-C. Bajard, M. Schulte,
editors p. 79-86, Santiago de Compostela, Spain, 2003, http://perso.ens-lyon.fr/marc.daumas/SoftArith/BolDau03.pdf.
S. Boldo, M. Daumas, L. Théry. "Formal proofs and
computations in finite precision arithmetic", in : Proceedings of the 11th Symposium on the
Integration of Symbolic Computation and Mechanized
Reasoning, Roma, Italy, 2003.
N. Boullis, A. Tisserand. "Some Optimizations of
Hardware Multiplication by Constant Matrices", in : ARITH 16, p. 20-27,
2003.
A. Darte, R. Schreiber, G. Villard. "Lattice-based
memory allocation", in : International
Conference on Compilers, Architecture and Synthesis for Embedded
Systems, San Jose, California, USA, November,
2003.
F. de Dinechin, D. Defour. "Software Carry-Save: A
case study for instruction-level parallelism", in : Seventh International Conference on Parallel
Computing Technologies, Nizhny Novgorod, Russia,
September, 2003.
D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller,
N. Revol, P. Zimmermann. "Proposal for a standardization of
mathematical function implementation in floating-point
arithmetic", in : Numerical Software with
Result Verification, Dagstuhl, Germany,
2003.
J. Detrey, F. de Dinechin. "A VHDL Library of LNS
Operators", in : 37th Asilomar Conference
on Signals, Systems and Computers, Pacific Grove, USA,
2003.
J. Detrey, F. de Dinechin. "Outils pour une
comparaison sans a priori entre arithmétique logarithmique et
arithmétique flottante", in : Symposium
en Architecture et Adéquation Architectures Algorithmes,
La Colle sur Loup, France, October, 2003.
M. Ercegovac, J.-M. Muller. "Complex Division with
Prescaling of the Operands", in :
Proceedings of ASAP'03: 14th IEEE Conference on
Application-Specific Systems, Architectures and Processors,
IEEE Computer Society, E. Deprettere, S. Bhattacharyya,
J. Cavallaro, A. Darte, editors p. 304-314, June,
2003.
P. Giorgi. "From BLAS routine to finite field
exact linear algebra solution", The 9th International IMACS
Conference on Applications of Computer Algebra, Raleigh, North
Carolina, USA, July, 2003.
P. Giorgi, C.-P. Jeannerod, G. Villard. "On the
complexity of polynomial matrix computations", in : Proceedings of the 2003 International
Symposium on Symbolic and Algebraic Computation (ISSAC'03),
ACM Press, p. 135-142, August, 2003.
P. Kornerup, J.-M. Muller. "Choosing Starting
Values for Newton-Raphson Computation of Reciprocals, Square-Roots
and Square-Root Reciprocals", in :
Proceedings of RNC5, M. Daumas, N. Revol,
editors Lyon, September, 2003.
R.-C. Li, S. Boldo, M. Daumas. "Theorems on
efficient argument reductions", in :
Proceedings of the 16th Symposium on Computer Arithmetic,
J.-C. Bajard, M. Schulte, editors p. 129-136, Santiago de
Compostela, Spain, 2003, http://perso.ens-lyon.fr/marc.daumas/SoftArith/LiBolDau03.pdf.
J.-M. Muller. ""Partially rounded" Small-Order
Approximations for Accurate, Hardware-Oriented, Table-Based
Methods", in : Proceedings of the 16th
Symposium on Computer Arithmetic, J.-C. Bajard,
M. Schulte, editors p. 114-121, Santiago de Compostela, Spain,
2003, http://computer.org/proceedings/.
N. Revol. "Multiple precision interval arithmetic
and application to linear systems", The 9th International
IMACS Conference on Applications of Computer Algebra, Raleigh,
North Carolina, USA, July, 2003.
N. Revol, F. Rouillier. "The MPFI library:
introduction and applications", in :
Numerical Software with Result Verification, Dagstuhl,
Germany, 2003.
G. Villard. "Exact computations on polynomial and
integer matrices (invited talk)", SIAM
Conference on Applied Linear Algebra, Williamsburg, Virginia, USA,
July, 2003.
Internal Reports
J.-L. Beuchat. "More on Modulo 2n-1
Addition", Research
report, 2003-14, Laboratoire de l'Informatique du Parallélisme, École
Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, February,
2003.
J.-L. Beuchat, J.-M. Muller. "Opérateurs itératifs
de multiplication-addition modulaire pour FPGA", Research
report, 2003-40, Laboratoire de l'Informatique du Parallélisme, École
Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, August,
2003.
N. Brisebarre. "An algorithm for finding entire
solutions of systems of difference equations", Research
report, 2003-53, Laboratoire de l'Informatique du Parallélisme, École Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, November, 2003,
http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-53.ps.gz.
N. Brisebarre, J.-M. Muller. "Finding the
"truncated" polynomial that is closest to a function", arXiv,
cs.MS/0307009, 2003, http://arxiv.org/abs/cs/0307009.
N. Brisebarre, G. Philibert. "Effective lower and
upper bounds for the Fourier coefficients of powers of the modular
invariant j", Research
report, 2003-50, Laboratoire de l'Informatique du Parallélisme, École
Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, November, 2003,
http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-50.ps.gz.
D. Defour, F. de Dinechin, J. Muller. "Crlibm: The
evaluation of the exponential", Research
report, 2003-37, Laboratoire de l'Informatique du Parallélisme, École
Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, July,
2003, http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-37.ps.gz.
M. Grimmer, K. Petras, N. Revol. "Multiple
Precision Interval Packages: Comparing Different Approaches",
Research report, 4841, INRIA, 2003, http://www.inria.fr/rrrt/rr-4841.html.
E. Kaltofen, G. Villard. "On the complexity of
computing determinants", Research
report, 2003-36, Laboratoire de l'Informatique du Parallélisme, École
Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, 2003,
http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-36.ps.gz.
C. Q. Lauter. "A correctly rounded implementation
of the exponential function on the Intel Itanium architecture",
Research
report, 2003-54, Laboratoire de l'Informatique du Parallélisme, École Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, November, 2003,
http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-54.ps.gz.
J.-M. Muller, J.-L. Nicolas, X. Roblot. "Nombres
de Solutions dans une Binade de l'Equation a2 + b2 = c2 + c", Research
report, 2003-45, Laboratoire de l'Informatique du Parallélisme, École Normale
Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07,
2003.
N. Revol, K. Makino, M. Berz. "Taylor models and
floating-point arithmetic: proof that arithmetic operations are
validated in COSY", Research report, 4737, INRIA, 2003, http://www.inria.fr/rrrt/rr-4737.html.
