Mots-clés

Identifiants chercheur

  • IdHAL : guillaume-revy

Réseaux sociaux

    Export Publications

    Exporter les publications affichées :

    Widget extérieur

    Nombre de documents

    27

    Publications de Guillaume Revy


    http://perso.univ-perp.fr/guillaume.revy/


    Article dans une revue3 documents

    • Hugues De Lassus Saint-Geniès, David Defour, Guillaume Revy. Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2058-2071. 〈10.1109/TC.2017.2703870〉. 〈lirmm-01844332〉
    • Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy. Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. Journal of Systems Architecture, Elsevier, 2016, 〈10.1016/j.sysarc.2016.11.010〉. 〈lirmm-01279628〉
    • Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy. Computing floating-point square roots via bivariate polynomial evaluation. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.214-227. 〈10.1109/TC.2010.152〉. 〈ensl-00559236〉

    Communication dans un congrès15 documents

    • Hugues De Lassus Saint-Geniès, Nicolas Brunie, Guillaume Revy. Meta-implementation of vectorized logarithm function in binary floating-point arithmetic. ASAP: Application-specific Systems, Architectures and Processors, Jul 2018, Milan, Italy. 29th IEEE International Conference Application-specific Systems, Architectures and Processors, 2018, ASAP 2018. 〈https://asap18.necst.it〉. 〈lirmm-01840853〉
    • Guillaume Revy. Automated design of floating-point logarithm functions on integer processors. ARITH 23, Jul 2016, Silicon Valley, Santa Clara, CA, United States. 23th IEEE International Symposium on Computer Arithmetic, 〈http://arith23.gforge.inria.fr/〉. 〈lirmm-01276677〉
    • Hugues De Lassus Saint-Geniès, Guillaume Revy. Performances de schémas d'évaluation polynomiale sur architectures vectorielles. ComPAS: Conférence en Parallélisme, Architecture et Système, Jul 2016, Lorient, France. 2016, 〈http://compas2016.sciencesconf.org〉. 〈lirmm-01324740〉
    • Hugues De Lassus Saint-Geniès, David Defour, Guillaume Revy. Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriques. ComPAS: Conférence en Parallélisme, Architecture et Système, Jun 2015, Lille, France. 2015, 〈http://compas15.lifl.fr/pages/programme.html〉. 〈lirmm-01136772〉
    • Hugues De Lassus Saint-Geniès, David Defour, Guillaume Revy. Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation. 26th IEEE International Conference Application-specific Systems, Architectures and Processors (ASAP 2015), Jul 2015, Toronto, Canada. IEEE, pp.74-81, 2015, 〈10.1109/ASAP.2015.7245712〉. 〈hal-01134232v2〉
    • Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy. Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.141-148, 2014, 〈10.1109/SYNASC.2014.27〉. 〈lirmm-00814338v2〉
    • Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy. Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication. PECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. 4th International Conference on Pervasive and Embedded Computing and Communication Systems, 2014, 〈10.5220/0004884802040214〉. 〈lirmm-00860383〉
    • Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy. Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. IEEE, 6th Conference on Design and Architectures for Signal and Image Processing, pp.1-8, 2014, 〈10.1109/DASIP.2014.7115609〉. 〈lirmm-01212806〉
    • Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy. Approach based on instruction selection for fast and certified code generation. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2012. 〈lirmm-00813055〉
    • Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy. How to Square Floats Accurately and Efficiently on the ST231 Integer Processor. ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. Computer Arithmetic (ARITH), 2011 20th IEEE Symposium on, pp.77-81, 2011, 〈http://www.ac.usc.es/arith20/〉. 〈10.1109/ARITH.2011.19〉. 〈ensl-00644147〉
    • Christophe Mouilleron, Guillaume Revy. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. IEEE, Computer Arithmetic (ARITH), 2011 20th IEEE Symposium on, pp.233-242, 2011, 〈http://www.ac.usc.es/arith20/〉. 〈10.1109/ARITH.2011.39〉. 〈ensl-00531721〉
    • Florent De Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy. Multiplicative square root algorithms for FPGAs. International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. IEEE, pp.14, 2010, 〈10.1109/FPL.2010.112〉. 〈ensl-00475779v2〉
    • Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, et al.. Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. ACM, pp.1-9, 2010, 〈10.1145/1837210.1837212〉. 〈ensl-00549467〉
    • Claude-Pierre Jeannerod, Guillaume Revy. Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores. Asilomar Conference on Signals, Systems, and Computers, Nov 2009, United States. IEEE Signal Processing Society, 2009. 〈ensl-00391185v2〉
    • Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, Gilles Villard. A new binary floating-point division algorithm and its software implementation on the ST231 processor. ARITH: Computer Arithmetic, Jun 2009, Portland, OR, United States. Computer Arithmetic, 2009. ARITH 2009. 19th IEEE Symposium on, pp.95-103, 2009, 〈10.1109/ARITH.2009.19〉. 〈hal-00993090〉

    Poster2 documents

    • Hugues De Lassus Saint-Geniès, David Defour, Guillaume Revy. Error-free Tables for Trigonometric Function Evaluation. ARCHI: Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées, Jun 2015, Lille, France. 8e édition de l’école thématique Archi, 2015, 〈http://www.cristal.univ-lille.fr/archi15/〉. 〈lirmm-01273490〉
    • Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, et al.. Design of Fixed-Point Embedded Systems (defis) French ANR Project. DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.365-366, 2012, 〈http://www.ecsi.org/dasip2012〉. 〈hal-00822487〉

    Autre publication1 document

    • Mohamed Amine Najahi, Guillaume Revy. Les nombres réels sur un processeur entier. Hors-Série Recherche n°4, Université de Perpignan Via Domitia. 2014. 〈lirmm-01333809〉

    Pré-publication, Document de travail5 documents

    • Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy. Computing floating-point square roots via bivariate polynomial evaluation. LIP research report RR2008-38. 2010. 〈ensl-00335792v2〉
    • Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy. How to square floats accurately and efficiently on the ST231 integer processor. 2010. 〈ensl-00532829〉
    • Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, Gilles Villard. A new binary floating-point division algorithm and its software implementation on the ST231 processor. LIP research report RR2008-39. 2009. 〈ensl-00335892v2〉
    • Florent De Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy. Racines carrées multiplicatives sur FPGA. RRLIP2009-19. 10 pages. 2009. 〈ensl-00388064〉
    • Guillaume Revy. Analyse et implantation d'algorithmes rapides pour l'évaluation polynomiale sur les nombres flottants. 32 pages. 2006. 〈ensl-00119498〉

    Thèse1 document

    • Guillaume Revy. Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation. Modeling and Simulation. Université de Lyon; Ecole normale supérieure de lyon - ENS LYON, 2009. English. 〈tel-00469661〉