logodali DALI

Publications and
Research Reports


BACK TO INDEX

All publications sorted by year

2010

  1. Bernard Goossens, Philippe Langlois, David Parello, and Eric Petit. Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism. In Para 2010: State of the Art in Scientific and Parallel Computing, June 2010. University of Iceland. [bibtex-key = GoLP10a] [bibtex-entry]


  2. Bernard Goossens, Philippe Langlois, David Parello, and Eric Petit. Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism. Technical report, DALI Research Team, Université de Perpignan Via Domitia, France, April 2010. Note: (Submitted). [WWW] [bibtex-key = GoLP10] [bibtex-entry]


  3. Philippe Langlois, Matthieu Martel, and Laurent Thévenoux. Accuracy versus Time: A Case Study with Summation Algorithms. Technical report, DALI Research Team, Université de Perpignan Via Domitia, France, April 2010. Note: (Submitted). [WWW] [bibtex-key = LaMT10] [bibtex-entry]


2009

  1. A. Chapoutot and M. Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Journal des Techniques et Sciences Informatiques (TSI), pp 503-531, 2009. [bibtex-key = CM09] [bibtex-entry]


  2. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Algorithms for accurate, validated and fast computations with polynomials. Japan Journal of Industrial and Applied Mathematics, Special issue on Verified Numerical Computation. 26(2,3):191-214, 2009. [bibtex-key = GrLL08] [bibtex-entry]


  3. M. Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. Journal of Formal Methods in System Design, 2009. Note: To appear (15 pages). [bibtex-key = Mar09b] [bibtex-entry]


  4. A. Chapoutot and M. Martel. Abstract Simulation: a Static Analysis of Simulink Models. In 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009. IEEE Press. Note: To appear (10 pages). [bibtex-key = AC09] [bibtex-entry]


  5. Sylvain Collange, Yoginder S. Dandass, Marc Daumas, and David Defour. Using Graphics Processors for Parallelizing Hash-Based Data Carving. In HICCS, Hawaii International Conference on System Sciences, pages 1-10, 2009. [doi:10.1109/HICSS.2009.494] [bibtex-key = CoDaDaDe09] [bibtex-entry]


  6. Sylvain Collange, David Defour, and Arnaud Tisserand. Power Consuption of GPUs from a Software Perspective. In ICCS 2009: Compute.Discover.Innovate., volume 5544 of Lecture Notes in Computer Science, pages 922-931, 2009. Springer. [WWW] Keyword(s): GPGPU, Power consuption, CUDA, Nvidia. [bibtex-key = iccs09] [bibtex-entry]


  7. N. El Mrabet and C. Negre. Finite field multiplication combining AMNS and DFT approach for pairing cryptography. In Proceedings of Australasian Conference on Information Security and Privacy (ACISPP 09), 2009. Note: (to appear). [bibtex-key = EMNAcisp09] [bibtex-entry]


  8. Bernard Goossens, Philippe Langlois, and David Parello. Processor simulation: a new way for the performance analysis of numerical algorithms. In B. M. Brown, E. Kaltofen, S. Oishi, and S. M. Rump, editors, Computer-assisted Proofs -- tools, methods and applications, Dagstuhl Seminar 9471, November 2009. [bibtex-key = GoLP09] [bibtex-entry]


  9. A. Hasan and C. Negre. Subquadratic Space Complexity Multiplier for a Class of Finite Fields Using Toeplitz Matrix Approach. In ARITH 19, 19th IEEE Symposium on Computer Arithmetic, 2009. Note: (to appear). [bibtex-key = HNArith09] [bibtex-entry]


  10. Philippe Langlois. Performance analysis of some accurate and validated algorithms. In International Workshop on Verified Numerical Computations and its Applications, Miyako, Japon, March 2009. Note: (Invited speaker). [bibtex-key = Lang09] [bibtex-entry]


  11. M. Martel. Program Transformation for Numerical Precision. In ACM Workshop on Partial Evaluation and Program Manipulation, PEPM'09, pages 101-109, 2009. ACM Press. [bibtex-key = Mar09] [bibtex-entry]


  12. David Parello, Mourad Bouache, and Bernard Goossens. Improving cycle-level modular simulation by vectorization. In Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'09), Held in conjunction with the 4th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC), Paphos Cyprus, pages 63-68, 2009. [bibtex-key = PaBoGo09] [bibtex-entry]


  13. David Parello, Mourad Bouache, and Bernard Goossens. Improving multi/many core cycle-level simulation. In Workshop on Massively Multiprocessor and Multicore Computers, Rocquencourt, January 2009. [bibtex-key = PaBoGo09b] [bibtex-entry]


  14. A. Yun Zhu, W. Taha, C. Cartwright, M. Martel, and J. Siek. In Pursuit of Real Answers. In 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009. IEEE Press. Note: To appear (10 pages). [bibtex-key = Zal09] [bibtex-entry]


  15. S. Collange, Y. Dandass, M. Daumas, and D. Defour. Using Graphics Processors for Parallelizing Hash-based Data Carving. Technical report, HAL-CCSD, 2009. [bibtex-key = CoDaDaDe08] [bibtex-entry]


  16. S. Collange, D. Defour, and D. Parello. Barra, a Modular Functional GPU Simulator for GPGPU. Technical report hal-00359342, HAL-CCSD, January 2009. Note: Submitted to SAMOS'09. [bibtex-key = CodePaRR08] [bibtex-entry]


  17. Arnault Ioualalen. Compilation de programmes SCADE avec garantie de la précision numérique. Rapport de stage de master 2, spécialité mathématiques, DALI, Université de Perpignan Via Domitia, July 2009. [bibtex-key = Ioua09] [bibtex-entry]


2008

  1. S. Collange, M. Daumas, and D. Defour. Etat de l'intégration de la virgule flottante dans les processeurs graphiques. Revue des sciences et technologies de l'information, 27/6:719-733, 2008. [doi:doi:10.3166/tsi.27.719-733] [bibtex-key = CoDaDe08] [bibtex-entry]


  2. Sylvain Collange, Marc Daumas, and David Defour. Line-by-line spectroscopic simulations on graphics processing units. Computer Physics Communications, 178:135-143, January 2008. [WWW] [doi:doi:10.1016/j.cpc.2007.08.013] Keyword(s): Radiative heat transfer, Line-by-line, Simulation, Graphics processing unit, GPU, Parallelism, Data parallel. [bibtex-key = CoDaDeCPC07] [bibtex-entry]


  3. Jean-Guillaume Dumas,, Pascal Giorgi,, and Clément Pernet,. Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK Packages. ACM Trans. Math. Softw., 35(3):1-42, 2008. [doi:http://doi.acm.org/10.1145/1391989.1391992] [bibtex-key = 1391992] [bibtex-entry]


  4. Jean-Claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, and Nathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics. In Proc. SPIE, volume 7074, pages 1-10, August 2008. [bibtex-key = BaLM08] [bibtex-entry]


  5. Olivier Bouissou and Matthieu Martel. A Hybrid Denotational Semantics for Hybrid Systems. In 17th European Symposium on Programming (ESOP), number 4960 of Lecture Notes in Computer Science, pages 63-77, 2008. [bibtex-key = BM08a] [bibtex-entry]


  6. Olivier Bouissou and Matthieu Martel. Abstract Interpretation of the Physical Inputs of Embedded Programs. In Verification, Model Checking, and Abstract Interpretation (VMCAI), 9th International Conference, number 4905 of Lecture Notes in Computer Science, pages 37-51, 2008. [bibtex-key = BM08b] [bibtex-entry]


  7. Alexandre Chapoutot and Matthieu Martel. Static Analysis of Simulink Programs. In SLA++P'08, Model-driven High-level Programming of embedded Systems, 2008. [bibtex-key = CM08] [bibtex-entry]


  8. Sylvain Collange, Marc Daumas, David Defour, and Regis Olivès. Fonctions élémentaires sur GPU exploitant la localité de valeurs. In SympA, pages 1-11, February 2008. [bibtex-key = CoDaDeOlSYMPA08] [bibtex-entry]


  9. Sylvain Collange, Jorge Flóres, and David Defour. A GPU interval library based on Boost interval. In RNC9, Real Numbers and Computers, pages 61-72, Jully 2008. [bibtex-key = CoFlDeRNC08] [bibtex-entry]


  10. A. Hasan and C. Negre. Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation. In Proceedings of WAIFI 2008, Sienna, Italy, volume 5130 of LNCS, pages 88-102, 2008. [bibtex-key = WAIFI08] [bibtex-entry]


  11. K.-H. Kim and C. Negre. Point Multiplication on Supersingular Elliptic Curves Defined over Fields of Characteristic 2 and 3. In SECRYPT'08, Porto, Portugal, pages 373-376, 2008. [bibtex-key = KNSecrypt08] [bibtex-entry]


  12. Philippe Langlois and Nicolas Louvet. Accurate solution of triangular linear system. In 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso (TX), USA, September 2008. [bibtex-key = LaLo08b] [bibtex-entry]


  13. Philippe Langlois and Nicolas Louvet. Compensated Horner algorithm in K times the working precision. In J.D. Brugera and M. Daumas, editors, RNC-8, Real Numbers and Computer Conference, Santiago de Compostela, Spain, pages 157-166, July 2008. [bibtex-key = LaLo08] [bibtex-entry]


  14. Matthieu Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. In International Workshop on Numerical Abstractions for Software Verification, 2008. Note: (Invited paper). [bibtex-key = Mar08] [bibtex-entry]


  15. C. Negre and T. Plantard. Efficient Modular Arithmetic in Adapted Modular Number System using Lagrange Representation. In Proceedings of Australasian Conference on Information Security and Privacy (ACISPP 08), volume 5107 of LNCS, pages 463-477, 2008. [bibtex-key = bap-lagrange-ACISP08] [bibtex-entry]


  16. Y.Li and C. Negre. An efficient multiplication algorithm using binomial residue representation. In SECRYPT'08, Porto, Portugal, pages 319-324, 2008. [bibtex-key = LNsecrypt08] [bibtex-entry]


  17. Philippe Langlois. Compensated Algorithms and Validated Bounds. SWIM 08, Montpellier, June 2008. [bibtex-key = La08] [bibtex-entry]


2007

  1. Nicolas Louvet. Algorithmes compensés en arithmétique flottante : précision, validation, performances. Doctorat en Informatique, Université de Perpignan Via Domitia, November 2007. [bibtex-key = LouvPhD] [bibtex-entry]


  2. Stef Graillat and Philippe Langlois. Real and complex pseudozero sets for polynomials with applications. Theor. Inform. Appl., 41(1):45-56, 2007. [bibtex-key = GrLa06a] [bibtex-entry]


  3. C Negre. Efficient parallel multiplier in shifted polynomial basis. Journal of Systems Architecture, 53(2-3):109-116, 2007. [bibtex-key = parallelespb] [bibtex-entry]


  4. C. Negre. Finite field arithmetic using quasi-normal basis. Finite Fields and Their Applications, 13:635-647, 2007. [bibtex-key = qnb] [bibtex-entry]


  5. O. Bouissou and M. Martel. GRKLib: a Guaranteed Runge-Kutta Library. In Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, 2007. IEEE Conference Proceedings. [bibtex-key = BM07] [bibtex-entry]


  6. A. Chapoutot and M. Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. In 10ième conférence francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pages 261-277, 2007. [bibtex-key = CM07] [bibtex-entry]


  7. Sylvain Collange, Marc Daumas, and David Defour. Graphic processors to speed-up simulations for the design of high performance solar receptors. In IEEE 18th International Conference Application-specific Systems, Architectures and Processors, Montréal Canada, pages 377-382, 2007. IEEE. [WWW] [bibtex-key = COLLANGE:2007:HAL-00135126:3] [bibtex-entry]


  8. Philippe Langlois and Nicolas Louvet. Faithful Horner Algorithm. In SIAM, editor, 6th International Congress on Industrial and Applied Mathematics, Zurich, Switzerland, pages 252, July 2007. Society for Industrial and Applied Mathematics. [bibtex-key = LaLo07c] [bibtex-entry]


  9. Philippe Langlois and Nicolas Louvet. How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm?. In P. Kornerup and J.-M. Muller, editors, ARITH'18, 18th IEEE International Symposium on Computer Arithmetic, number ISBN 0-7695-2854-6, pages 141-149, June 2007. IEEE Computer Society. [bibtex-key = LaLo07b] [bibtex-entry]


  10. Philippe Langlois and Nicolas Louvet. Operator Dependant Compensated Algorithms. In Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, 2007. IEEE Conference Proceedings. Note: 11 pages. [bibtex-key = LaLo07a] [bibtex-entry]


  11. M. Martel. An Overview of Semantics for the Validation of Numerical Programs. In Verification, Model Checking and Abstract Interpretation, VMCAI'05, number 3385 of Lecture Notes in Computer Science, pages 59-77, 2007. Springer-Verlag. [bibtex-key = Mar05] [bibtex-entry]


  12. M. Martel. Semantics-Based Transformation of Arithmetic Expressions. In Static Analysis Symposium, SAS'07, number 4634 of Lecture Notes in Computer Science, pages 298-314, 2007. Springer-Verlag. [bibtex-key = Mar07] [bibtex-entry]


  13. P.Giorgi, C. Negre, and T. Plantard. Subquadratic Binary Field Multiplier in Double Polynomial System. In SECRYPT'07, Barcelona, Spain, pages 229-236, 2007. [bibtex-key = dpssecrypt07] [bibtex-entry]


  14. E. Petit, F. Bodin, and R. Dolbeau. An Hybrid Data Transfer Optimization for GPU. In Proceedings of the Compilers for Parallel Computers workshop (CPC2007), 2007. [bibtex-key = 41] [bibtex-entry]


  15. P.D. Vouzis, M.G. Arnold, S. Collange, and M.V. Kothare. Monte Carlo Logarithmic Number System for Model Predictive Control. In Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on, pages 453-458, 2007. [doi:10.1109/FPL.2007.4380688] Keyword(s): Monte Carlo methods, field-programmable gate arrays, predictive control, FPGA, Monte Carlo, logarithmic number system, Xilinx Virtex-4, model predictive control, numerical anomalies. [bibtex-key = 4380688] [bibtex-entry]


  16. Panagiotis D. Vouzis, Sylvain Collange, and Mark G. Arnold. Cotransformation Provides Area and Accuracy Improvement in an HDL Library for LNS Subtraction. In Euromicro Conference on Digital System Design, Los Alamitos, CA, USA, pages 85-93, 2007. IEEE Computer Society. [doi:http://doi.ieeecomputersociety.org/10.1109/DSD.2007.41] [bibtex-key = DSD07] [bibtex-entry]


  17. P. Vouzis, S. Collange, and M. Arnold. LNS Subtraction Using Novel Cotransformation and/or Interpolation. In IEEE 18th International Conference Application-specific Systems, Architectures and Processors, pages 107-114, July 2007. [doi:10.1109/ASAP.2007.4429966] Keyword(s): digital arithmetic, hardware description languages, interpolationhardware description languages, logarithmic addition, logarithmic number system, logarithmic subtraction. [bibtex-key = 4429966] [bibtex-entry]


  18. Sylvain Collange, Marc Daumas, and David Defour. Graphic processors to speed-up simulations for the design of high performance solar receptors. Technical report hal-00135126, Centre pour la Communication Scientifique Directe, Villeurbanne, France, 2007. [WWW] [bibtex-key = ColDauDef07] [bibtex-entry]


  19. Marc Daumas and Pascal Giorgi. Proof checking for delayed finite field arithmetic using floating point operators. Technical report hal-00135090, HAL-CCSD, March 2007. [WWW] [bibtex-key = DaumasGiorgi2007] [bibtex-entry]


  20. Pascal Giorgi, Christophe Negre, and Thomas Plantard. Subquadratic Binary Field Multiplier in Double Polynomial System. Technical report, HAL-CCSD, April 2007. [WWW] [bibtex-key = GioNegPla2007] [bibtex-entry]


  21. Arnault Ioualalen. Confidentialité dans les DisCSP. Rapport de stage de master 2, spécialité informatique, LIRMM, Université Montpellier 2, June 2007. [bibtex-key = Ioua07] [bibtex-entry]


  22. Philippe Langlois and Nicolas Louvet. More Instruction Level Parallelism Explains the Actual Efficiency of Compensated Algorithms. Technical Report hal-00165020, DALI Research Team, HAL-CCSD, July 2007. Note: (IEEE Trans. Computers, in revision). [WWW] [bibtex-key = LaLo07d] [bibtex-entry]


  23. O. Bouissou and M. Martel. Static Analysis of Embedded Programs with Continuous I/O, 2007. [bibtex-key = BM07b] [bibtex-entry]


2006

  1. Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, and Olivier Temam. Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies. Int. J. Parallel Program., 34(3):261-317, 2006. [doi:http://dx.doi.org/10.1007/s10766-006-0012-3] [bibtex-key = GiVa06] [bibtex-entry]


  2. Bernard Goossens and David Defour. Ordonnancement distribué d'instructions. Technique et Science Informatiques, 25(7):827-844, 2006. [bibtex-key = GosDef06] [bibtex-entry]


  3. Stef Graillat. A note on structured pseudospectra. J. Comput. Appl. Math., 191(1):68-76, 2006. [bibtex-key = gr05a] [bibtex-entry]


  4. J.-C.Bajard, L. Imbert, and C. Negre. Arithmetic Operations in Finite Fields of Medium Prime Characteristic using Lagrange Representation. IEEE trans. comp., 55(9):1167-1177, sept 2006. [bibtex-key = ffa-lagrange-ieee2006] [bibtex-entry]


  5. M. Martel. Semantics of roundoff error propagation in finite precision computations. Journal of Higher Order and Symbolic Computation, pp 7-30, 2006. [bibtex-key = Mar06] [bibtex-entry]


  6. O. Bouissou and M. Martel. A Runge-Kutta Method for Computing Guaranteed Solutions of ODEs. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN'06, Duisburg, Germany, 2006. [bibtex-key = BM06] [bibtex-entry]


  7. Sylvain Collange, Jérémie Detrey, and Florent de Dinechin. Floating Point or LNS: Choosing the Right Arithmetic on an Application Basis. In Euromicro Conference on Digital System Design, Los Alamitos, CA, USA, pages 197-203, 2006. IEEE Computer Society. [doi:http://doi.ieeecomputersociety.org/10.1109/DSD.2006.54] [bibtex-key = 10.1109/DSD.2006.54] [bibtex-entry]


  8. Guillaume Da Graça and David Defour. Implementation of float-float operators on graphics hardware. In RNC7, pages 23-32, July 2006. [bibtex-key = GracaConf2006] [bibtex-entry]


  9. Marc Daumas, Guillaume Da Graça, and David Defour. Caractéristiques arthmétiques des processeurs graphiques. In SympA, pages 86-95, october 2006. [bibtex-key = DauGraDefConf2006] [bibtex-entry]


  10. Wayne Eberly,, Mark Giesbrecht,, Pascal Giorgi,, Arne Storjohann,, and Gilles Villard,. Solving sparse rational linear systems. In ISSAC '06: Proceedings of the 2006 international symposium on Symbolic and algebraic computation, New York, NY, USA, pages 63-70, 2006. ACM. [doi:http://doi.acm.org/10.1145/1145768.1145785] [bibtex-key = 1145785] [bibtex-entry]


  11. E. Goubault, M. Martel, and S. Putot. Some future challenges in the validation of control systems. In European Congress on Embedded Real Time Software (ERTS), 2006. [bibtex-key = GMP06] [bibtex-entry]


  12. Stef Graillat and Philippe Langlois. Pseudozero Set of Interval Polynomials. In Proceedings of the 21st Annual ACM Symposium on Applied Computing, volume 2, pages 1655-1659, April 2006. Association for Computing Machinery. [bibtex-key = GrLa06b] [bibtex-entry]


  13. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Accurate dot products with FMA. In G. Hanrot and P. Zimmermann, editors, RNC-7, Real Numbers and Computer Conference, Nancy, France, pages 141-142, July 2006. [bibtex-key = GrLL06c] [bibtex-entry]


  14. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Choosing a twice more accurate dot product implementation. In International Conference of Numerical Analysis and Applied Mathematics 2006, Hersonnisos, Crete, Greece, pages 498-499, September 2006. [bibtex-key = GrLL06d] [bibtex-entry]


  15. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Fused Multiply and Add Implementations of the Compensated Horner scheme. In P. Hertling, C.M. Hoffmann, W. Luther, and N. Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl Seminar 6021, January 2006. [bibtex-key = GrLL06b] [bibtex-entry]


  16. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Improving the compensated Horner scheme with a Fused Multiply and Add. In Proceedings of the 21st Annual ACM Symposium on Applied Computing, volume 2, pages 1323-1327, April 2006. Association for Computing Machinery. [bibtex-key = GrLL06a] [bibtex-entry]


  17. Philippe Langlois. Compensated Algorithms in Floating Point Arithmetic. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 2006. Note: (Invited plenary speaker). [bibtex-key = Lang06] [bibtex-entry]


  18. Philippe Langlois, Stef Graillat, and Nicolas Louvet. Compensated Horner Scheme. In Bruno Buchberger, Shin'ichi Oishi, Michael Plum, and Sigfried M. Rump, editors, Algebraic and Numerical Algorithms and Computer-assisted Proofs, number 05391 of Dagstuhl Seminar Proceedings, pages 1-29, 2006. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany. [WWW] [bibtex-key = langloisetal:DSP:2006:442] [bibtex-entry]


  19. Philippe Langlois and Nicolas Louvet. Accurate Polynomial Evaluation in Floating Point Arithmetic. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN'06, Duisburg, Germany, September 2006. [bibtex-key = LaLo06b] [bibtex-entry]


  20. C. Negre. Finite Field Multiplication in Lagrange Represenation Using Fast Fourrier Transform. In SECRYPT'06,Setúbal,Portugal, pages 320-323, August 2006. [bibtex-key = lagrange-fft-secrypt06] [bibtex-entry]


  21. C. Negre. Parallel Multiplication in GF($2^n$) using Condensed Matrix Representation. In SECRYPT'06, Setúbal,Portugal, pages 254-259, August 2006. [bibtex-key = binaryfield-cmr-secrypt06] [bibtex-entry]


  22. David Parello, Mourad Bouache, Bernard Goossens, and Ali El Moussaoui. Comment répartir les ressources du chemin de données ?. In Proceedings of Perpi'2006 - Conférences conjointes RenPar'17 / SympA'2006 / CFSE'5 / JC'2006., Canet en Roussillon, pages 12-23, 2006. [bibtex-key = PaBoGo09c] [bibtex-entry]


  23. E. Petit and F. Bodin. Extracting speculative threads using traces for SoC with ASTEX. In Proceedings of Compilers for Parallel Computers workshop (CPC2006), pages 30-44, 2006. [bibtex-key = 73] [bibtex-entry]


  24. Eric Petit, Francois Bodin, Guillaume Papaure, and Florence Dru. ASTEX: a hot path based thread extractor for distributed memory system on a chip. In SC'06: Proceedings of the 2006 ACM/IEEE conference on Supercomputing, New York, NY, USA, pages 141, 2006. ACM. [doi:http://doi.acm.org/10.1145/1188455.1188602] [bibtex-key = 39] [bibtex-entry]


  25. Eric Petit, Sebastien Matz, and Francois Bodin. Partitioning Programs for Automatically Exploiting GPU. In Poster at the General-Purpose GPU Computing: Practice and Experience workshop hosted at SC06, 2006. [bibtex-key = A] [bibtex-entry]


  26. Eric Petit, Guillaume Papaure, and François Bodin. ASTEX: a Hot Path Based Thread Extractor for Distributed Memory System on a Chip. In ACACES 2006 poster session, 2006. [bibtex-key = B] [bibtex-entry]


  27. Eric Petit, Guillaume Papaure, Florence Dru, and François Bodin. ASTEX: a Hot Path Based Thread Extractor for Distributed Memory System On a Chip. In High-Performance Embedded Architecture and Compilation Industrial Workshop (HiPEAC), 2006. [bibtex-key = 40] [bibtex-entry]


  28. Stef Graillat. Pseudozero Set of Multivariate Polynomials. Research Report 02, Équipe de recherche DALI, Laboratoire LP2A, Université de Perpignan Via Domitia, France, 52 avenue Paul Alduy, 66860 Perpignan cedex, France, February 2006. [bibtex-key = graillat06] [bibtex-entry]


  29. C. Negre and T. Plantard. Prime Field Multiplication in Adapted Modular Number System Using Lagrange Representation. Research Report ccsd-00079454, version 2, DALI, 2006. [bibtex-key = bap-lagrange-asia06] [bibtex-entry]


  30. A. Chapoutot and M. Martel. Abstract Frequency Analysis of Synchronous Systems, 2006. [bibtex-key = CM06] [bibtex-entry]


  31. Bernard Goossens. How does the datapath scale with the superscalar degree?. Invited talk, Intel Nyzhnyi-Novgorod and SSCC, Akademgorodok, Novosibirsk, August 2006. [bibtex-key = Go06a] [bibtex-entry]


  32. Bernard Goossens. What are the registers for?. Invited talk, Intel Nyzhnyi-Novgorod and SSCC, Akademgorodok, Novosibirsk, August 2006. [bibtex-key = Go06b] [bibtex-entry]


2005

  1. Stef Graillat. Fiabilité des algorithmes numériques : pseudo-solutions struturées et précision. Doctorat en Informatique, Université de Perpignan Via Domitia, November 2005. [bibtex-key = GraiPhD] [bibtex-entry]


  2. Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, and Nathalie Revol. A New Range-Reduction Algorithm. IEEE Trans. Computers, 54(3):331-339, 2005. [bibtex-key = BriDefKor05] [bibtex-entry]


  3. Bernard Goossens and David Defour. The instruction register file micro-architecture. Future Generation Comp. Syst., 21(4):767-773, 2005. [bibtex-key = DefGos04] [bibtex-entry]


  4. Stef Graillat. A note on a nearest polynomial with a given root. SIGSAM Bull., 39(2):53-60, 2005. [bibtex-key = gr05b] [bibtex-entry]


  5. Albert Cohen, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, and Nicolas Vasilache. Facilitating the search for compositions of program transformations. In ICS '05: Proceedings of the 19th annual international conference on Supercomputing, Cambridge, Massachusetts, pages 151-160, 2005. ACM Press. [doi:http://doi.acm.org/10.1145/1088149.1088169] [bibtex-key = CoGiPa05] [bibtex-entry]


  6. A. Costan, E. Goubault, S. Gaubert, M. Martel, and S. Putot. A policy iteration algorithm for computing fixed points in static analysis of programs. In Computer Aided Verification, CAV'05, number 3576 of Lecture Notes in Computer Science, pages 462-475, 2005. Springer-Verlag. [bibtex-key = Cal05] [bibtex-entry]


  7. David Defour. Collapsing dependent floating point operations. In IMACS World Congress Scientific Computation, Applied Mathematics and Simulation, Paris, France, pages 1-10, July 2005. [bibtex-key = Defour2005] [bibtex-entry]


  8. Bernard Goossens and David Defour. Ordonnancement dynamique distribué. In SympA, pages 1-10, 2005. [bibtex-key = GosDef05] [bibtex-entry]


  9. Philippe Langlois and Nicolas Louvet. Fast and Extra Precise Substitution.In CSC05: Second International Workshop on Combinatorial Scientific Computing, June 2005. Toulouse, France. [bibtex-key = LaLo05b] [bibtex-entry]


  10. Philippe Langlois and Nicolas Louvet. Solving Triangular Systems More Accurately and Efficiently. In Proceedings of the 17th IMACS World Congress, Paris, volume CD-ROM, pages 1-10, July 2005. [bibtex-key = LaLo05] [bibtex-entry]


  11. M. Martel. Towards an abstraction of the physical environment of embedded systems. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'05, 2005. [bibtex-key = Mar05b] [bibtex-entry]


  12. C. Negre. Exponentiation to the power p in GF($p^k$) using Variants of Montgomery Modular Arithmetic. In Proceedings of Nordsec 2005, Tartu Estonia, pages 71-83, October 2005. [bibtex-key = expp] [bibtex-entry]


  13. C. Negre. Quadrinomial Modular Multiplication using Modified Polynomial Basis. In Proceedings of ITCC 2005, Las Vegas USA, volume 1 of LNCS, pages 550-555, April 2005. [bibtex-key = quad-mp] [bibtex-entry]


  14. C. Negre. Scalar Multiplication on Elliptic Curves Defined over Fields of Small Odd Characteristic. In Indocrypt 2005, Bangalore India, volume 3797 of LNCS, pages 389-402, December 2005. [bibtex-key = multp] [bibtex-entry]


  15. J.-C. Bajard, L. Imbert, and C. Negre. Arithmetic Operations in Finite Fields of Medium Prime Characteristic using the Lagrange Representation. Technical report 05028, LIRMM, October 2005. [bibtex-key = lagrange-ieeetc] [bibtex-entry]


  16. J.-C. Bajard, C. Negre, and T. Plantard. Double Polynomial Basis Representation For Binary Field Arithmetic. Technical report 5, DALI, July 2005. [bibtex-key = dps] [bibtex-entry]


  17. Stef Graillat. Applications of fast and accurate summation in computational geometry. Research Report 03, Équipe de recherche DALI, Laboratoire LP2A, Université de Perpignan Via Domitia, France, 52 avenue Paul Alduy, 66860 Perpignan cedex, France, May 2005. [bibtex-key = graillat05b] [bibtex-entry]


  18. Stef Graillat. Structured Condition Number and Backward Error for Eigenvalue Problems. Research Report 01, Équipe de recherche DALI, Laboratoire LP2A, Université de Perpignan Via Domitia, France, 52 avenue Paul Alduy, 66860 Perpignan cedex, France, January 2005. [bibtex-key = graillat05a] [bibtex-entry]


  19. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Compensated Horner Scheme. Research Report 4, DALI Research Team, Université de Perpignan, France, July 2005. [bibtex-key = GrLL05] [bibtex-entry]


  20. C. Negre. Finite Field Arithmetic using Quasi-Normal Basis. Technical report 02, DALI, 2005. [bibtex-key = qnbrr] [bibtex-entry]


  21. Françoise Tisseur and Stef Graillat. Structured Condition Numbers and Backward Errors in Scalar Product Spaces. Numerical Analysis Report No. 473, Manchester Centre for Computational Mathematics, Manchester, England, September 2005. [bibtex-key = tigr05] [bibtex-entry]


  22. Stef Graillat. Pseudozero set of multivariate polynomials. Note: Poster, 8th International Workshop on Computer Algebra in Scientific Computing, Kalamata, Greece, September 12-16, 2005. [bibtex-key = posterSG] [bibtex-entry]


2004

  1. C. Negre. Opérateurs Arithmétiques pour la Cryptographie Basée sur les Courbes Elliptiques. PhD thesis, Université Montpellier II, 2004. [bibtex-key = theseCN] [bibtex-entry]


  2. David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, and Paul Zimmermann. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numerical Algorithms, 37(1-4):367-375, 2004. [bibtex-key = DefHan03] [bibtex-entry]


  3. Philippe Langlois. More accuracy at fixed precision. J. Comp. Appl. Math., 162(1):57-77, January 2004. [bibtex-key = Lang04] [bibtex-entry]


  4. Stef Graillat. Computation of pseudozero abscissa. In Dana Petcu and others, editors, Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, pages 176-187, September 2004. [bibtex-key = Gr:04a] [bibtex-entry]


  5. Stef Graillat and Philippe Langlois. A comparison of real and complex pseudozero sets for polynomials with real coefficients. In Christiane Frougny and others, editors, RNC-6, Real Numbers and Computer Conference, Schloss Dagstuhl, Germany, pages 103-112, November 2004. [bibtex-key = GrLa04d] [bibtex-entry]


  6. Stef Graillat and Philippe Langlois. Approximate Polynomial Problems and Associated Tools. In 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoka, Japan, October 2004. [bibtex-key = GrLa04e] [bibtex-entry]


  7. Stef Graillat and Philippe Langlois. Pseudozero set decides on polynomial stability. In Proceedings of the Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, pages 1-11, July 2004. Note: (CD-ROM, papers/537.pdf). [bibtex-key = GrLa04c] [bibtex-entry]


  8. Philippe Langlois. Automatic Enhancement of Floating Point Accuracy. In 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoka, Japan, October 2004. [bibtex-key = Lang04b] [bibtex-entry]


  9. David Parello, Olivier Temam, Albert Cohen, and Jean-Marie Verdun. Towards a Systematic, Pragmatic and Architecture-Aware Program Optimization Process for Complex Processors. In SC '04: Proceedings of the 2004 ACM/IEEE conference on Supercomputing, Baltimore, MD, USA, pages 1-15, 2004. IEEE Computer Society. [doi:http://dx.doi.org/10.1109/SC.2004.61] [bibtex-key = PaTeCo04] [bibtex-entry]


  10. David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, and Paul Zimmermann. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Research report 5406, INRIA, 2004. [WWW] [bibtex-key = DefHan03b] [bibtex-entry]


  11. Stef Graillat and Philippe Langlois. Computation of stability radius for polynomials. Preprint No31, Laboratoire MANO, January 2004. [bibtex-key = GrLa04a] [bibtex-entry]


  12. Stef Graillat and Philippe Langlois. More on pseudozeros for univariate polynomials. Preprint No32, Laboratoire MANO, January 2004. Note: (Submitted). [bibtex-key = GrLa04b] [bibtex-entry]


  13. Florent de Dinechin, David Defour, and Christophe Lauter. Fast correct rounding of elementary functions in double precision using double-extended arithmetic. Technical report RR-5137, INRIA, March 2004. Note: Also available as LIP report 2004-10. [bibtex-key = DinDefLau2004Inria] [bibtex-entry]


  14. Florent de Dinechin, David Defour, and Christophe Lauter. Fast correct rounding of elementary functions in double precision using double-extended arithmetic. Technical report RR2004-10, LIP, École Normale Supérieure de Lyon, March 2004. Note: Also available as INRIA report RR-5137. [bibtex-key = DinDefLau2004LIP] [bibtex-entry]


  15. Philippe Langlois. Pour déclarer un rapport de recherche DALI. Research Report, September 2004. [bibtex-key = Lang04z] [bibtex-entry]


2003

  1. David Defour. Fonctions élémentaires: algorithmes et implémentations efficaes pour l'arrondi correct en double précision. PhD thesis, École Normale Supérieure de Lyon, Lyon, France, 2003. [bibtex-key = Def03] [bibtex-entry]


  2. Marc Daumas and Philippe Langlois. Additive symmetries: the non-negative case. Theoret. Comput. Sci., 291(2):143-157, January 2003. Note: Http://dx.doi.org/10.1016/S0304-3975(02)00223-2. [bibtex-key = DaLa:03] [bibtex-entry]


  3. David Defour and Florent de Dinechin. Software Carry-Save: A Case Study for Instruction-Level Parallelism. In PaCT, pages 207-214, 2003. [bibtex-key = russie02] [bibtex-entry]


  4. B. Goossens. The Instruction Register File. In V. Malyshkin, editor, , volume LNCS 2763, Nijnyi-Novgorod, Russia, pages 467-481, september 2003. PaCT-7, Springer-Verlag. [bibtex-key = G03] [bibtex-entry]


  5. Stef Graillat and Philippe Langlois. Testing polynomial primality with pseudozeros. In Jean-Claude Bajard and others, editors, RNC-5, Real Numbers and Computer Conference, Lyon, France, pages 121-137, September 2003. [bibtex-key = GrLa:03] [bibtex-entry]


  6. Stef Graillat and Philippe Langlois. Testing polynomial primality with pseudozeros. In Jean-Claude Bajard and others, editors, RNC-5, Real Numbers and Computer Conference, Lyon, France, pages 121-137, September 2003. Note: (Slides available at URL = rlhttp://webdali.univ-perp.fr/ langlois). [bibtex-key = GrLa03] [bibtex-entry]



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Thu May 13 12:44:47 2010
Author: langlois.


This document was translated from BibTEX by bibtex2html