logodali DALI

Publications and
Research Reports


BACK TO INDEX

Publications of year 2007

Thesis

  1. Nicolas Louvet. Algorithmes compensés en arithmétique flottante : précision, validation, performances. Doctorat en Informatique, Université de Perpignan Via Domitia, November 2007.
    @PhDThesis{ LouvPhD,
    author = {Nicolas Louvet},
    title = {Algorithmes compens\'es en arithm\'etique flottante : pr\'ecision, validation, performances},
    school = {Universit\'e de Perpignan Via Domitia},
    year = {2007},
    key = {ap},
    type = {Doctorat en Informatique},
    optaddress = {},
    month = {nov},
    optnote = {},
    optannote = {} 
    }
    


Articles in journal or book chapters

  1. Stef Graillat and Philippe Langlois. Real and complex pseudozero sets for polynomials with applications. Theor. Inform. Appl., 41(1):45-56, 2007.
    @Article{ GrLa06a,
    author = {Stef Graillat and Philippe Langlois},
    title = {Real and complex pseudozero sets for polynomials with applications},
    journal = j-tia,
    year = 2007,
    key = {acl},
    volume = {41},
    number = {1},
    pages = {45--56} 
    }
    


  2. C Negre. Efficient parallel multiplier in shifted polynomial basis. Journal of Systems Architecture, 53(2-3):109-116, 2007.
    @Article{ parallelespb,
    author = "C Negre",
    title = "Efficient parallel multiplier in shifted polynomial basis",
    journal = "Journal of Systems Architecture",
    volume = "53",
    number = "2-3",
    pages = "109--116",
    year = "2007",
    key = "acl" 
    }
    


  3. C. Negre. Finite field arithmetic using quasi-normal basis. Finite Fields and Their Applications, 13:635-647, 2007.
    @Article{ qnb,
    author = "C. Negre",
    title = "Finite field arithmetic using quasi-normal basis",
    journal = "Finite Fields and Their Applications",
    volume = "13",
    pages = "635--647",
    publisher = "Elsevier",
    year = "2007",
    key = "acl" 
    }
    


Conference articles

  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.
    @InProceedings{ BM07,
    author = {O.~Bouissou and M.~Martel},
    title = {{GRKL}ib: a Guaranteed {Runge}-{Kutta} Library},
    booktitle = {Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany},
    publisher = {IEEE Conference Proceedings},
    isbn = {0-7695-2821-X},
    key = {ACTI},
    year = {2007} 
    }
    


  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.
    @InProceedings{ CM07,
    author = {Chapoutot, A. and Martel, M.},
    title = {Diff{\'e}rentiation automatique et formes de Taylor en analyse statique de programmes num{\'e}riques},
    booktitle = {10i{\`e}me conf{\'e}rence francophone sur les Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels (AFADL)},
    key = {ACTN},
    pages = {261--277},
    year = {2007} 
    }
    


  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]
    @InProceedings{ COLLANGE:2007:HAL-00135126:3,
    title = {{G}raphic processors to speed-up simulations for the design of high performance solar receptors},
    author = {{C}ollange, {S}ylvain and {D}aumas, {M}arc and {D}efour, {D}avid},
    booktitle = {{IEEE} 18th {I}nternational {C}onference {A}pplication-specific {S}ystems, {A}rchitectures and {P}rocessors },
    publisher = {{IEEE} },
    pages = {377--382 },
    address = {{M}ontr{\'e}al {C}anada },
    arxivid = {cs/0703028 },
    year = {2007},
    url = {http://hal.archives-ouvertes.fr/hal-00135126/en/},
    key = {ACTI} 
    }
    


  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.
    @InProceedings{ LaLo07c,
    author = {Philippe Langlois and Nicolas Louvet},
    title = {Faithful {Horner} Algorithm},
    key = "com",
    booktitle = {6th International Congress on Industrial and Applied Mathematics, Zurich, Switzerland},
    pages = {252},
    year = {2007},
    editor = {SIAM},
    month = jul,
    publisher = pub-siam 
    }
    


  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.
    @InProceedings{ LaLo07b,
    author = {Philippe Langlois and Nicolas Louvet},
    title = {How to Ensure a Faithful Polynomial Evaluation with the Compensated {Horner} Algorithm?},
    key = "acti",
    booktitle = {ARITH'18, 18th IEEE International Symposium on Computer Arithmetic},
    pages = "141--149",
    year = {2007},
    editor = {P. Kornerup and J.-M. Muller},
    number = {ISBN 0-7695-2854-6},
    month = jun,
    publisher = {IEEE Computer Society} 
    }
    


  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.
    @InProceedings{ LaLo07a,
    author = {Philippe Langlois and Nicolas Louvet},
    title = {Operator Dependant Compensated Algorithms},
    booktitle = {Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany},
    key = "acti",
    publisher = {IEEE Conference Proceedings},
    isbn = {0-7695-2821-X},
    year = {2007},
    optmonth = {},
    note = {11 pages} 
    }
    


  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.
    @InProceedings{ Mar05,
    author = {Martel, M.},
    title = {An Overview of Semantics for the Validation of Numerical Programs},
    booktitle = {Verification, Model Checking and Abstract Interpretation, VMCAI'05},
    number = {3385},
    series = {Lecture Notes in Computer Science},
    pages = {59--77},
    publisher = {Springer-Verlag},
    key = {ACTI},
    year = {2007} 
    }
    


  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.
    @InProceedings{ Mar07,
    author = {Martel, M.},
    title = {Semantics-Based Transformation of Arithmetic Expressions},
    booktitle = {Static Analysis Symposium, SAS'07},
    number = {4634},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer-Verlag},
    key = {ACTI},
    pages = {298--314},
    year = {2007} 
    }
    


  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.
    @InProceedings{ dpssecrypt07,
    author = "P.Giorgi and C. Negre and T. Plantard",
    title = "Subquadratic Binary Field Multiplier in Double Polynomial System",
    booktitle = "SECRYPT'07, Barcelona, Spain",
    year = "2007",
    pages = "229--236",
    isbn = {978-989-8111-12-8},
    key = "acti" 
    }
    


  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.
    @InProceedings{ 41,
    author = {E. Petit and F. Bodin and R. Dolbeau},
    title = {An Hybrid Data Transfer Optimization for GPU},
    booktitle = {Proceedings of the Compilers for Parallel Computers workshop (CPC2007)},
    year = {2007},
    location = {Lisbon, Portugal},
    key = {com} 
    }
    


  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.
    @InProceedings{ 4380688,
    title = {Monte {Carlo} Logarithmic Number System for Model Predictive Control},
    author = {Vouzis, P.D. and Arnold, M.G. and Collange, S. and Kothare, M.V.},
    booktitle = {Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on},
    year = {2007},
    pages = {453--458},
    keywords = {Monte Carlo methods, field-programmable gate arrays, predictive control, FPGA, Monte Carlo, logarithmic number system, Xilinx Virtex-4, model predictive control, numerical anomalies},
    doi = {10.1109/FPL.2007.4380688},
    issn = {},
    key = {ACTI} 
    }
    


  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]
    @InProceedings{ DSD07,
    author = {Panagiotis D. Vouzis and Sylvain Collange and Mark G. Arnold},
    title = {Cotransformation Provides Area and Accuracy Improvement in an {{HDL}} Library for {{LNS}} Subtraction},
    booktitle = {Euromicro Conference on Digital System Design},
    year = {2007},
    isbn = {0-7695-2978-X},
    pages = {85--93},
    doi = {http://doi.ieeecomputersociety.org/10.1109/DSD.2007.41},
    publisher = {IEEE Computer Society},
    address = {Los Alamitos, CA, USA},
    key = {ACTI} 
    }
    


  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.
    @InProceedings{ 4429966,
    title = {LNS Subtraction Using Novel Cotransformation and/or Interpolation},
    author = {Vouzis, P. and Collange, S. and Arnold, M.},
    booktitle = {{IEEE} 18th {I}nternational {C}onference {A}pplication-specific {S}ystems, {A}rchitectures and {P}rocessors},
    month = {jul},
    year = {2007},
    pages = {107--114},
    keywords = {digital arithmetic, hardware description languages, interpolationhardware description languages, logarithmic addition, logarithmic number system, logarithmic subtraction},
    doi = {10.1109/ASAP.2007.4429966},
    key = {ACTI} 
    }
    


Internal reports

  1. 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]
    @TechReport{ ColDauDef07,
    author = {Sylvain Collange and Marc Daumas and David Defour},
    title = {Graphic processors to speed-up simulations for the design of high performance solar receptors},
    institution = {Centre pour la Communication Scientifique Directe},
    year = 2007,
    number = {hal-00135126},
    address = {Villeurbanne, France},
    url = {http://hal.archives-ouvertes.fr/hal-00135126},
    key = {AP} 
    }
    


  2. 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]
    @TechReport{ DaumasGiorgi2007,
    author = {Marc Daumas and Pascal Giorgi},
    title = {Proof checking for delayed finite field arithmetic using floating point operators},
    institution = {HAL-CCSD},
    year = 2007,
    number = {hal-00135090},
    month = {mar},
    url = {http://hal.archives-ouvertes.fr/hal-00135090/en} 
    }
    


  3. Pascal Giorgi, Christophe Negre, and Thomas Plantard. Subquadratic Binary Field Multiplier in Double Polynomial System. Technical report, HAL-CCSD, April 2007. [WWW]
    @TechReport{ GioNegPla2007,
    author = {Pascal Giorgi and Christophe Negre and Thomas Plantard},
    title = {Subquadratic Binary Field Multiplier in Double Polynomial System},
    institution = {HAL-CCSD},
    year = 2007,
    mdnumber = {hal-00140082},
    month = {apr},
    url = {http://hal.archives-ouvertes.fr/hal-00135090/en} 
    }
    


  4. Arnault Ioualalen. Confidentialité dans les DisCSP. Rapport de stage de master 2, spécialité informatique, LIRMM, Université Montpellier 2, June 2007.
    @TechReport{ Ioua07,
    author = {Arnault Ioualalen},
    title = {Confidentialit{\'e} dans les DisCSP},
    institution = {LIRMM, Universit{\'e} Montpellier 2},
    year = 2007,
    type = {Rapport de stage de master 2, sp{\'e}cialit{\'e} informatique},
    month = jun,
    key = ap 
    }
    


  5. 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]
    @TechReport{ LaLo07d,
    author = {Philippe Langlois and Nicolas Louvet},
    title = {More Instruction Level Parallelism Explains the Actual Efficiency of Compensated Algorithms},
    institution = inst-dali,
    year = {2007},
    key = {ap},
    type = {Technical Report},
    number = {hal-00165020},
    address = {HAL-CCSD},
    pdf = "http://hal.archives-ouvertes.fr/action/open_file.php?url=http://hal.archives-ouvertes.fr/docs/00/16/50/20/PDF/hal.pdf&docid=165020",
    url = "http://hal.archives-ouvertes.fr/hal-00165020",
    month = jul,
    pages = {11},
    note = {(IEEE Trans. Computers, in revision)},
    optannote = {} 
    }
    


Miscellaneous

  1. O. Bouissou and M. Martel. Static Analysis of Embedded Programs with Continuous I/O, 2007.
    @Misc{ BM07b,
    author = {O.~Bouissou and M.~Martel},
    title = {Static Analysis of Embedded Programs with Continuous I/O},
    booktitle = {10th International Conference on Hybrid Systems: Computation and Control},
    key = {AFF},
    year = {2007} 
    }
    



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