Keywords

Researcher identifiers

  • IdHAL : guillaume-revy

Social networks

    Export Publications

    Export the displayed publications:

    External widget

    Number of documents

    28

    Publications of Guillaume Revy


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


    Journal articles3 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, 2017, 76, pp.133-148. ⟨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⟩

    Conference papers16 documents

    • Luisa Arrabito, Konrad Bernlöhr, Johan Bregeon, Gernot Maier, Philippe Langlois, et al.. Performance optimization of the air shower simulation program for the Cherenkov Telescope Array. CHEP: Computing in High Energy and Nuclear Physics, Jul 2018, Sofia, Bulgaria. ⟨lirmm-02057548⟩
    • 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. ⟨lirmm-01840853⟩
    • Guillaume Revy. Automated design of floating-point logarithm functions on integer processors. ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.172-180, ⟨10.1109/ARITH.2016.28⟩. ⟨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, Lab-STICC, Jul 2016, Lorient, France. ⟨lirmm-01324740⟩
    • Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy. Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation. ASAP: Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩. ⟨hal-01134232v2⟩
    • 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. ⟨lirmm-01136772⟩
    • 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. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩. ⟨lirmm-01212806⟩
    • 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. ⟨10.5220/0004884802040214⟩. ⟨lirmm-00860383⟩
    • 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. pp.141-148, ⟨10.1109/SYNASC.2014.27⟩. ⟨lirmm-00814338v2⟩
    • 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. ⟨lirmm-00813055⟩
    • Christophe Mouilleron, Guillaume Revy. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.233-242, ⟨10.1109/ARITH.2011.39⟩. ⟨ensl-00531721⟩
    • 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. pp.77-81, ⟨10.1109/ARITH.2011.19⟩. ⟨ensl-00644147⟩
    • 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〉
    • 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. pp.14, ⟨10.1109/FPL.2010.112⟩. ⟨ensl-00475779v2⟩
    • 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. pp.95-103, ⟨10.1109/ARITH.2009.19⟩. ⟨hal-00993090⟩
    • 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. ⟨ensl-00391185v2⟩

    Poster communications2 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⟩

    Other publications1 document

    • Mohamed Amine Najahi, Guillaume Revy. Les nombres réels sur un processeur entier. 2014. ⟨lirmm-01333809⟩

    Preprints, Working Papers, ...5 documents

    • Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy. Computing floating-point square roots via bivariate polynomial evaluation. 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. 2009. ⟨ensl-00335892v2⟩
    • Florent de Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy. Racines carrées multiplicatives sur FPGA. 2009. ⟨ensl-00388064⟩
    • Guillaume Revy. Analyse et implantation d'algorithmes rapides pour l'évaluation polynomiale sur les nombres flottants. 2006. ⟨ensl-00119498⟩

    Theses1 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⟩