logodali DALI

Publications and
Research Reports


BACK TO INDEX

Conference articles

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-entry]


2009

  1. 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-entry]


  2. 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-entry]


  3. 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-entry]


  4. 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-entry]


  5. 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-entry]


  6. 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-entry]


  7. 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-entry]


  8. 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-entry]


  9. 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-entry]


  10. 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-entry]


  11. 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-entry]


2008

  1. 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-entry]


  2. 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-entry]


  3. 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-entry]


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


  5. 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-entry]


  6. 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-entry]


  7. 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-entry]


  8. 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-entry]


  9. 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-entry]


  10. 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-entry]


  11. 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-entry]


  12. 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-entry]


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


2007

  1. 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-entry]


  2. 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-entry]


  3. 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-entry]


  4. 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-entry]


  5. 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-entry]


  6. 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-entry]


  7. 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-entry]


  8. 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-entry]


  9. 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-entry]


  10. 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-entry]


  11. 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-entry]


  12. 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-entry]


  13. 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-entry]


2006

  1. 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-entry]


  2. 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-entry]


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


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


  5. 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-entry]


  6. 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-entry]


  7. 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-entry]


  8. 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-entry]


  9. 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-entry]


  10. 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-entry]


  11. 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-entry]


  12. 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-entry]


  13. 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-entry]


  14. 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-entry]


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


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


  17. 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-entry]


  18. 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-entry]


  19. 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-entry]


  20. 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-entry]


  21. 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-entry]


  22. 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-entry]


2005

  1. 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-entry]


  2. 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-entry]


  3. 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-entry]


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


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


  6. 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-entry]


  7. 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-entry]


  8. 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-entry]


  9. 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-entry]


  10. 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-entry]


2004

  1. 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-entry]


  2. 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-entry]


  3. 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-entry]


  4. 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-entry]


  5. 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-entry]


  6. 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-entry]


2003

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


  2. 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-entry]


  3. 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-entry]


  4. 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-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