Suréna (Sure Numerical Algorithms)

Publications of Marc Daumas

You can also retrive the complete BIB file

• D. Berthelot, M. Daumas, A library for real numbers using Cauchy's embedded interval sequences in International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering (Würzburg, Germany), pp. 23-24, 1996 [BerDau96].

• D. Berthelot, M. Daumas, Computing on sequences of embedded intervals, Reliable Computing, vol. 3, no. 3, pp. 219-227, 1997 [BerDau97].

• S. Boldo, M. Daumas, Performances dímplantations de l'addition en précision quad-double sur différentes machines in 7ème Symposium sur les Architectures Nouvelles de Machines (Paris, France), pp. 105-112, 2001 [BolDau01a].

• S. Boldo, M. Daumas, A mechanically validated technique for extending the available precision in 35th Asilomar Conference on Signals, Systems, and Computers (Pacific Grove, California), pp. 1299-1303, 2001 [BolDau01b].

• S. Boldo, M. Daumas, Properties of the subtraction valid for any floating point system in 7th International Workshop on Formal Methods for Industrial Critical Systems (Málaga, Spain), pp. 137-149, 2002 [BolDau02a].

• S. Boldo, M. Daumas, Faithful rounding without fused multiply and accumulate in IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (Paris, France), 2002 [BolDau02b].

• S. Boldo, M. Daumas, Representable correcting terms for possibly underflowing floating point operations in Proceedings of the 16th Symposium on Computer Arithmetic (Santiago de Compostela, Spain), pp. 79-86, 2003 [BolDau03].

• S. Boldo, M. Daumas, Properties of two's complement floating point notations, International Journal on Software Tools for Technology Transfer, vol. 5, no. 2-3, pp. 237-246, 2004 [BolDau04a].

• S. Boldo, M. Daumas, A simple test qualifying the accuracy of Horner's rule for polynomials, Numerical Algorithms, vol. 37, no. 1-4, pp. 45-60, 2004 [BolDau04b].

• S. Boldo, M. Daumas, P. Giorgi, Formal proof for delayed finite field arithmetic using floating point operators in Real Numbers and Computers (Santiago de Compostela, Spain), pp. 113-122, 2008 [BolDauGio08].

• S. Boldo, M. Daumas, W. Kahan, G. Melquiond, Proof and certification for an accurate discriminant in IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (Duisburg, Germany), 2006 [BolDauKahMel06].

• S. Boldo, M. Daumas, R. Li, Formally verified argument reduction with a fused-multiply-add, IEEE Transactions on Computers, vol. 58, no. 8, pp. 1139-1145, 2009 [BolDauLi09].

• S. Boldo, M. Daumas, C. Moreau-Finot, L. Théry, Computer validated proofs of a toolset for adaptable arithmetic, Journal of the ACM, 2003 [BolDauMorThe03].

• 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 [BolDauThe03].

• N. Brisebarre, M. Daumas, P. Langlois, M. Martel, Survol et limitations des modèles discrets-continus pour la sûreté numérique (Villeurbanne, France), 2006 [BriDauLanMar06].

• F. Cappello, M. Daumas, eds, 7ème Symposium sur les Architectures Nouvelles de Machines (Paris, France), 2001 [CapDau01].

• F. Cháves, M. Daumas, A Library to Taylor models for PVS automatic proof checker in Proceedings of the NSF workshop on reliable engineering computing (Savannah, Georgia), pp. 39-52, 2006 [ChaDau06].

• F. Cháves, M. Daumas, C. Muñoz, N. Revol, Automatic strategies to evaluate formulas on Taylor models and generate proofs in PVS in 6th International Congress on Industrial and Applied Mathematics (Zurich, Switzerland), 2007 [ChaDauMunRev07].

• S. Collange, Y. Dandass, M. Daumas, D. Defour, Using graphics processors for parallelizing hash-based data carving in Proceedings of the 42th IEEE Annual Hawaii International Conference on System Sciences (Waikoloa, Hawaii), pp. 10 p, 2009 [ColDanDauDef09].

• S. Collange, M. Daumas, D. Defour, Graphic processors to speed-up simulations for the design of high performance solar receptors in IEEE 18th International Conference on Application-specific Systems, Architectures and Processors (Montréal, Québec), pp. 377-382, 2007 [ColDauDef07].

• S. Collange, M. Daumas, D. Defour, Line-by-line spectroscopic simulations on graphics processing units, Computer Physics Communications, vol. 178, no. 2, pp. 135-143, 2008 [ColDauDef08a].

• S. Collange, M. Daumas, D. Defour, État de líntégration de la virgule flottante dans les processeurs graphiques, Technique et Science Informatiques, vol. 27, no. 6, pp. 719-733, 2008 [ColDauDef08b].

• S. Collange, M. Daumas, D. Defour, R. Olivès, Fonctions élémentaires sur GPU exploitant la localité de valeurs in Symposium en Architectures nouvelles de machines (Frigourg, Switzerland), pp. 12 p, 2008 [ColDauDefOli08].

• M. Daumas, Écrire les nombres autrement pour calculer plus vite, Habilitation à Diriger des Recherches, Université Claude Bernard (Lyon, France), 2001 [Dau01].

• M. Daumas, Implantations de la norme IEEE 754 de l'arithmétique à virgule flottante, in Informatique répartie, Hermès, pp. 227-244, 2005 [Dau05].

• M. Daumas, Implantation sur un circuit VLSI d'un algorithme CORDIC rapide , 1990 [Dau90].

• M. Daumas, Basis for the implementation of a reliable dot product, Master's thesis, Southern Methodist University (Dallas, Texas), 1992 [Dau92].

• M. Daumas, Un compilateur sisal dérivé d'OSC sur machine à mémoire logiquement partagée in Journées des Jeunes Chercheurs en Systèmes à Mémoire Logiquement Partagée (Toulouse, France), pp. 53-58, 1993 [Dau93].

• M. Daumas, Contributions à l'arithmétique des ordinateurs : vers un contrôle de la précision, École Normale Supérieure de Lyon (Lyon, France), 1996 [Dau96a].

• M. Daumas, KIDS, simple sequences strain error analysis in Real Numbers and Computers (Marseille, France), pp. 85-97, 1996 [Dau96b].

• M. Daumas, L'arithmétique flottante, in Qualité des calculs sur ordinateur : vers des arithmétiques plus fiables, Masson, pp. 9-18, 1997 [Dau97].

• M. Daumas, Proving the exact behavior of algorithms for floating point arithmetic in Seventh International Colloqium on Numerical Analysis and Computer Science with Applications (Plovdiv, Bulgaria), pp. 29, 1998 [Dau98a].

• M. Daumas, Expansions: lightweight multiple precison arithmetic in Architecture and Arithmetic Support for Multimedia (Dagstuhl, Germany), pp. 14, 1998 [Dau98b].

• M. Daumas, Multiplications of floating point expansions in Proceedings of the 14th Symposium on Computer Arithmetic (Adelaide, Australia), pp. 250-257, 1999 [Dau99a].

• M. Daumas, Épreuve dínformatique Second concours, 1999 [Dau99b]. Ecoles Normales Supérieures, 1999 [Dau99b].

• M. Daumas, F. Bataille, Discret evolution of 2D turbulences with injection for parallel machines and clusters of workstations in Proceedings of the 8th SIAM Conference on Parallel Processing for Scientific Computing (Minneapolis, Minnesota), 1997 [DauBat97].

• M. Daumas, G. Graça, D. Defour, Caractéristiques arithmétiques des processeurs graphiques in Symposium en Architecture de Machines (Canet en Roussillon, France), 2006 [DauDagDef06].

• M. Daumas, F. de. Dinechin, J. Muller, Arithmétique flottante, in Arithmétique et calcul sur machine, Hermès, 2001 [DauDinMul01].

• M. Daumas, F. de. Dinechin, A. Tisserand, L'arithmétique des ordinateurs aujourd'hui, Réseaux et Systèmes Répartis, Calculateurs Parallèles, vol. 13, no. 3, pp. 219-227, 2001 [DauDinTis01].

• M. Daumas, J. Durand, L. Tock, High speed implementation of cellular automaton in XIVth International Conference of the Chilean Computer Science Society (Concepcion, Chile), 1994 [DauDurToc94].

• M. Daumas, P. Evripidou, Parallel implementation of the selection problem: a case study, International Journal of Parallel Programming, vol. 28, no. 1, pp. 103-131, 2000 [DauEvr2K].

• M. Daumas, P. Evripidou, Parallel implementation of the selection problem using sisal in Architecture and Compilation Techniques for Fine and Medium Grain Parallelism (Orlando, Florida), pp. 265-272, 1993 [DauEvr93].

• M. Daumas, C. Finot, Division of floating point expansions in IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (Budapest, Hungaria), pp. 45-46, 1998 [DauFin98].

• M. Daumas, C. Finot, Division of floating point expansions with an application to the computation of a determinant, Journal of Universal Computer Science, vol. 5, no. 6, pp. 323-338, 1999 [DauFin99a].

• M. Daumas, C. Finot, Algorithm, Proof and Performances of a new Division of Floating Point Expansions (Le Chesnay, France), no. 3771, 1999 [DauFin99b].

• M. Daumas, P. Langlois, From x to z with finite precision addition in Algèbre Linéaire et Arithmétique : Calcul Numérique, Symbolique et Parallèle (Rabat, Morocco), pp. 189-194, 2001 [DauLan01].

• M. Daumas, P. Langlois, Additive symmetries: the non-negative case, Theoretical Computer Science, vol. 291, no. 2, pp. 143-157, 2003 [DauLan03].

• M. Daumas, P. Langlois, Choix d'un support architectural pour le produit scalaire in 6ème Symposium sur les Architectures Nouvelles de Machines (Besançon, France), pp. 15-23, 2000 [DauLan2K].

• M. Daumas, D. Lavenier, D. Litaize, J. Muller, P. Sainrat, eds, 6ème Symposium sur les Architectures Nouvelles de Machines (Besançon, France), 2000 [DauLavLitMulSai2K].

• M. Daumas, D. Lester, Stochastic formal methods: an application to accuracy of numeric software in Proceedings of the 40th IEEE Annual Hawaii International Conference on System Sciences (Waikoloa, Hawaii), pp. 7 p, 2007 [DauLes07].

• M. Daumas, D. Lester, É. Martin-Dorel, A. Truffert, Stochastic formal correctness of numerical algorithms in NASA Formal Methods Symposium, pp. 136-145, 2009 [DauLesMarTru09].

• M. Daumas, D. Lester, C. Muñoz, Verified Real Number Calculations: A Library for Interval Arithmetic, IEEE Transactions on Computers, vol. 58, no. 2, pp. 226-237, 2009 [DauLesMun09].

• M. Daumas, D. Lester, É. Martin-Dorel, A. Truffert, Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides (Villeurbanne, France), no. hal-00333895, 2008 [DauMarTru08].

• M. Daumas, É. Martin-Dorel, A. Truffert, Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides in MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (Avignon, France), 2009 [DauMarTru09].

• M. Daumas, D. Matula, Further reducing the redundancy of a notation over a minimally redundant digit set, Journal of VLSI Signal Processing-Systems for Signal, Image, and Video Technology, vol. 28, no. 1-2, pp. 7-18, 2003 [DauMat03].

• M. Daumas, D. 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 (Boston, Massachusetts), pp. 205-214, 2000 [DauMat2K].

• M. Daumas, D. Matula, Design of a fast validated dot product operation in Proceedings of the 11th Symposium on Computer Arithmetic (Windsor, Ontario), pp. 62-69, 1993 [DauMat93a].

• M. Daumas, D. Matula, Rounding of floating point intervals in IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (Vienna, Austria), 1993 [DauMat93b].

• M. Daumas, D. Matula, Rounding of floating point intervals, Interval Computations, no. 4, pp. 28-45, 1994 [DauMat94].

• M. Daumas, D. Matula, Recoders for partial compression and rounding (Lyon, France), no. 97-01, 1997 [DauMat97a].

• M. Daumas, D. Matula, Validated roundings of dot products by sticky accumulation, IEEE Transactions on Computers, vol. 46, no. 5, pp. 623-629, 1997 [DauMat97b].

• M. Daumas, C. Mazenc, X. Merrheim, J. Muller, Fast and accurate range reduction for computation of the elementary functions in Proceedings of the 14th IMACS World Congress on Computational and Applied Mathematics (Atlanta, Georgia), pp. 1196-1198, 1994 [DauMazMerMul94].

• M. Daumas, C. Mazenc, X. Merrheim, J. Muller, Modular range reduction: a new algorithm for fast and accurate computation of the elementary functions, Journal of Universal Computer Science, vol. 1, no. 3, pp. 162-175, 1995 [DauMazMerMul95].

• M. Daumas, C. Mazenc, J. Muller, User transparent interval arithmetic in IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (Vienna, Austria), 1993 [DauMazMul93].

• M. Daumas, C. Mazenc, J. Muller, Towards a user transparent interval arithmetic, Interval Computations, no. 4, pp. 46-63, 1994 [DauMazMul94].

• M. Daumas, G. Melquiond, Generating formally certified bounds on values and round-off errors in Real Numbers and Computers (Dagstuhl, Germany), pp. 55-70, 2004 [DauMel04].

• M. Daumas, G. Melquiond, Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical Software, vol. 37, no. 1, 2010 [DauMel10].

• M. Daumas, G. Melquiond, C. Muñoz, Guaranteed proofs using interval arithmetic in Proceedings of the 17th Symposium on Computer Arithmetic (Cape Cod, Massachusetts), pp. 188-195, 2005 [DauMelMun05].

• M. Daumas, A. Mignotte, J. Muller, A. Tisserand, eds, IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (Lyon, France), 1997 [DauMigMulTis97].

• M. Daumas, C. Moreau-Finot, Exponential: implementation trade-offs for hundred bit precision in Real Numbers and Computers (Dagstuhl, Germany), pp. 61-74, 2000 [DauMor2K].

• M. Daumas, C. Finot, J. 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 [DauMorMul2K].

• M. Daumas, C. Moreau-Finot, L. Thery, Computer validated proofs of a toolset for adaptable arithmetic (Le Chesnay, France), no. 4095, 2001 [DauMorThe01].

• M. Daumas, J. Muller, Représentation des nombres, in Calcul et arithmétique des ordinateurs, Hermes, pp. 25-57, 2004 [DauMul04].

• M. Daumas, J. Muller, eds, Qualité des calculs sur ordinateur : vers des arithmétiques plus fiables, Masson, 1997 [DauMul97].

• M. Daumas, J. Muller, Utilisation de l'arithmétique flottante dans un environnement embarqué (Lyon, France), 1998 [DauMul98].

• M. Daumas, J. Muller, A. Tisserand, Theoretical support for standardized elementary functions in Computational Engineering in Systems Applications, IMACS Multiconference (Lille, France), pp. 1133-1138, 1996 [DauMulTis96].

• M. Daumas, J. Muller, A. Tisserand, Very high radix on-line arithmetic for accurate computations in Proceedings of the 15th IMACS World Congress on Computational and Applied Mathematics (Berlin, Germany), vol. 2, pp. 347-352, 1997 [DauMulTis97].

• M. Daumas, J. Muller, J. Vuillemin, Implementing on-line arithmetic on PAM in Field-Programmable Logic: Architectures Synthesis and Applications (Prague, Czech Republic), Springer Verlag, pp. 196-207, 1994 [DauMulVui94].

• M. Daumas, A. Negoï, J. Zimmermann, Un tout petit système pour la simulation numérique in 5ème Symposium sur les Architectures Nouvelles de Machines (Rennes, France), pp. 27-36, 1999 [DauNegZim99].

• M. Daumas, L. Rideau, L. Théry, A generic library of floating-point numbers and its application to exact computing in 14th International Conference on Theorem Proving in Higher Order Logics (Edinburgh, Scotland), pp. 169-184, 2001 [DauRidThe01].

• R. Li, S. Boldo, M. Daumas, Theorems on efficient argument reductions in Proceedings of the 16th Symposium on Computer Arithmetic (Santiago de Compostela, Spain), pp. 129-136, 2003 [LiBolDau03].