DALI: Digits Architectures Logiciels Informatique

Conference papers

titre

Deterministic OpenMP and the LBP Parallelizing Manycore Processor

auteur

Bernard Goossens, Kenelm Louetsi, David Parello

article

PaCT 2021 - 16th International Conference on Parallel Computing Technologies, Victor Malyshkin, Sep 2021, Kaliningrad, Russia. pp.26-40, ⟨10.1007/978-3-030-86359-3_3⟩

Accès au texte intégral et bibtex

titre

CORSIKA 8 -- Contributions to the 37th International Cosmic Ray Conference in Berlin Germany (ICRC 2021)

auteur

Jean-Marco Alameddine, Johannes Albrecht, Jaime Alvarez-Muniz, Antonio Augusto Alves, Luisa Arrabito, Dominik Baack, Konrad Bernlöhr, Marcus Bleicher, Johan Bregeon, Mathieu Carrere, Hans Dembinski, Hannah Elfner, Dominik Elsässer, Ralph Engel, Hu Fan, Anatoli Fedynitch, Dieter Heck, Tim Huege, Karl-Heinz Kampert, Nikolaos Karastathis, Lukas Nellen, Maximilian Nöthe, David Parello, Tanguy Pierog, Maria Pokrandt, Anton Poctarev, Remy Prechelt, Maximilian Reininghaus, Wolfgang Rhode, Felix Riehn, Maximilian Sackel, Alexander Sandrock, Pranav Sampathkumar, Michael Schmelling, André Schmidt, Günter Sigl, Jan Soedingrekso, Bernhard Spaan, Donglian Xu, Juan Ammerman-Yebra, Enrique Zas, Ralf Ulrich

article

ICRC 2021 - 37th International Cosmic Ray Conference, Jul 2021, Berlin, Germany

Accès au bibtex

titre

A C++ Cherenkov photons simulation in CORSIKA 8

auteur

Matthieu Carrère, Luisa Arrabito, Johan Bregeon, David Parello, Philippe Langlois, George Vasileiadis

article

CHEP 2021 - 25th International Conference on Computing in High-Energy and Nuclear Physics, May 2021, Online, France. pp.#03011, ⟨10.1051/epjconf/202125103011⟩

Accès au texte intégral et bibtex

Conference papers

titre

Numerical Accuracy Stuff: Tools. . . and Prerequisites

auteur

Philippe Langlois

article

CTAOptSim General Workshop, Dec 2018, Montpellier, France

Accès au texte intégral et bibtex

titre

Meta-implementation of vectorized logarithm function in binary floating-point arithmetic

auteur

Hugues de Lassus Saint-Geniès, Nicolas Brunie, Guillaume Revy

article

ASAP 2018 - 29th IEEE International Conference Application-specific Systems, Architectures and Processors, Jul 2018, Milan, Italy. pp.1-8, ⟨10.1109/ASAP.2018.8445102⟩

Accès au texte intégral et bibtex

Conference papers

titre

Efficient Leak Resistant Modular Exponentiation in RNS

auteur

Andrea Lesavourey, Christophe Negre, Thomas Plantard

article

ARITH: Computer Arithmetic, Jul 2017, London, United Kingdom. pp.156-163, ⟨10.1109/ARITH.2017.39⟩

Accès au texte intégral et bibtex

titre

Asynchronous Power Flow on Graphic Processing Units

auteur

Manuel Marin, David Defour, Federico Milano

article

PDP: Parallel, Distributed and network-Based Processing, Mar 2017, St Petersburg, Russia

Accès au texte intégral et bibtex

titre

Reproducible Parallel Simulations in HPC

auteur

Chemseddine Chohra, Philippe Langlois, Rafife Nheilli, David Parello

article

CSE: Computational Science and Engineering, Feb 2017, Altanta, Georgia, United States

Accès au texte intégral et bibtex

Conference papers

titre

Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs

auteur

Roman S Iakymchuk, Stef S Graillat, David Defour, Enrique S Quintana-Ortí

article

The Numerical Reproducibility at Exascale (NRE16) workshop held as part of the Supercomputing Conference (SC16), Nov 2016, Salt Lake City, UT, United States

Accès au texte intégral et bibtex

titre

First improvements toward a reproducible Telemac-2D

auteur

Rafife Nheili, Philippe Langlois, Christophe Denis

article

XXIIIrd TELEMAC-MASCARET User Conference , Oct 2016, Paris, France

Accès au texte intégral et bibtex

titre

Towards Fast, Accurate and Reproducible LU Factorization

auteur

Roman Iakymchuk, David Defour, Stef Graillat

article

SCAN 2016, 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2016, Uppsala, Sweden. pp.59-60

Accès au bibtex

titre

Parallel experiments with RARE-BLAS

auteur

Chemseddine Chohra, Philippe Langlois, David Parello

article

SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.135-138, ⟨10.1109/SYNASC.2016.032⟩

Accès au texte intégral et bibtex

titre

Reproducible, Accurately Rounded and Efficient BLAS

auteur

Chemseddine Chohra, Philippe Langlois, David Parello

article

Euro-Par: Parallel Processing Workshops., Aug 2016, Grenoble, France. pp.609-620, ⟨10.1007/978-3-319-58943-5_49⟩

Accès au texte intégral et bibtex

titre

Efficient Randomized Regular Modular Exponentiation using Combined Montgomery and Barrett Multiplications

auteur

Andrea Lesavourey, Christophe Negre, Thomas Plantard

article

ICETE: International Joint Conference on e-Business and Telecommunications, Jul 2016, Lisbon, Portugal. pp.368-375, ⟨10.5220/0005998503680375⟩

Accès au texte intégral et bibtex

titre

Enhanced Digital Signature using RNS Digit Exponent Representation

auteur

Thomas Plantard, Jean-Marc Robert

article

WAIFI: Workshop on the Arithmetic of Finite Fields, Department of Mathematics of Ghent University, Jul 2016, Gand, Belgium. pp.177-192, ⟨10.1007/978-3-319-55227-9_13⟩

Accès au texte intégral et bibtex

titre

Automated design of floating-point logarithm functions on integer processors

auteur

Guillaume Revy

article

23rd IEEE Symposium on Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.172-180, ⟨10.1109/ARITH.2016.28⟩

Accès au texte intégral et bibtex

titre

Recovering numerical reproducibility in hydrodynamic simulations

auteur

Philippe Langlois, Rafife Nheili, Christophe Denis

article

ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.63-70, ⟨10.1109/ARITH.2016.27⟩

Accès au texte intégral et bibtex

titre

Performances de schémas d'évaluation polynomiale sur architectures vectorielles

auteur

Hugues de Lassus Saint-Geniès, Guillaume Revy

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Lab-STICC, Jul 2016, Lorient, France

Accès au texte intégral et bibtex

titre

Reproducible and Accurate Algorithms for Numerical Linear Algebra

auteur

Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat

article

PP: Parallel Processing for Scientific Computing, Apr 2016, Paris, France

Accès au bibtex

titre

Parallel Locality and Parallelization Quality

auteur

Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune

article

PMAM: Programming Models and Applications for Multicores and Manycores, Mar 2016, Barcelona, Spain. pp.59-68, ⟨10.1145/2883404.2883410⟩

Accès au texte intégral et bibtex

Conference papers

titre

Cas d’études de calculs parallèles numériquement reproductibles

auteur

Philippe Langlois, Chemseddine Chohra, Rafife Nheili

article

Retour d'expéRiences sur la Recherche Reproductible, MISC/CaSciModOT, Dec 2015, Orléans, France

Accès au texte intégral et bibtex

titre

ExBLAS: Reproducible and Accurate BLAS Library

auteur

Roman Iakymchuk, Caroline Collange, David Defour, Stef Graillat

article

NRE: Numerical Reproducibility at Exascale, Nov 2015, Austin, TX, United States

Accès au texte intégral et bibtex

titre

Automatic Source-to-Source Error Compensation of Floating-Point Programs

auteur

Laurent Thévenoux, Philippe Langlois, Matthieu Martel

article

Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩

Accès au texte intégral et bibtex

titre

Measuring predictability of Nvidia’s GPU warp and block schedulers: Application to the summation problem

auteur

David Defour

article

MCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2015, Turin, Italy. pp.17-24, ⟨10.1109/MCSoC.2015.9⟩

Accès au bibtex

titre

Reproducible floating-point atomic addition in data-parallel environment

auteur

David Defour, Caroline Collange

article

ACSIS, Sep 2015, Lodz, Poland. pp.721-728, ⟨10.15439/2015F86⟩

Accès au bibtex

titre

Toward a Core Design to Distribute an Execution on a Many-Core Processor

auteur

Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune

article

PaCT: Parallel Computing Technologies, Aug 2015, Petrozavodsk, Russia. pp.390-404, ⟨10.1007/978-3-319-21909-7_38⟩

Accès au texte intégral et bibtex

titre

Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation

auteur

Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy

article

ASAP: Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩

Accès au texte intégral et bibtex

titre

Numerical Reproducibility: Feasibility Issues

auteur

Philippe Langlois, Rafife Nheili, Christophe Denis

article

NTMS: New Technologies, Mobility and Security, Jul 2015, Paris, France. pp.1-5, ⟨10.1109/NTMS.2015.7266509⟩

Accès au texte intégral et bibtex

titre

Parallel Approaches for Efficient Scalar Multiplication over Elliptic Curve

auteur

Christophe Negre, Jean-Marc Robert

article

SECRYPT, Jul 2015, Colmar, France. pp.202-209, ⟨10.5220/0005512502020209⟩

Accès au texte intégral et bibtex

titre

Numerical Reproducibility in open TELEMAC: A Case Study within the Tomawac Library

auteur

Rafife Nheili, Philippe Langlois, Christophe Denis

article

HPCSET: High Performance Computing Simulation in Energy/Transport Domains, Jul 2015, Frankfurt, Germany

Accès au texte intégral et bibtex

titre

Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriques

auteur

Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Jun 2015, Lille, France

Accès au texte intégral et bibtex

titre

Trade-off Approaches for Leak Resistant Modular Arithmetic in RNS

auteur

Christophe Negre, Guilherme Perin

article

ACISP: Australasian Conference on Information Security and Privacy, Jun 2015, Brisbane, Australia. pp.107-124, ⟨10.1007/978-3-319-19962-7_7⟩

Accès au texte intégral et bibtex

titre

Intra-procedural Optimization of the Numerical Accuracy of Programs

auteur

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

article

FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩

Accès au texte intégral et bibtex

titre

Efficient Modular Exponentiation Based on Multiple Multiplications by a Common Operand

auteur

Christophe Negre, Thomas Plantard, Jean-Marc Robert

article

ARITH: Computer Arithmetic, INRIA, Jun 2015, Lyon, France. pp.144-151, ⟨10.1109/ARITH.2015.24⟩

Accès au texte intégral et bibtex

titre

Intra-procedural Optimization of the Numerical Accuracy of Programs

auteur

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

article

FMICS 2015 - 20th International Workshop on Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩

Accès au texte intégral et bibtex

titre

Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation

auteur

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

article

CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩

Accès au bibtex

titre

Reproducible Triangular Solvers for High-Performance Computing

auteur

Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat

article

2015 12th International Conference on Information Technology - New Generations, Apr 2015, Las Vegas, NV, United States. pp.353-358, ⟨10.1109/ITNG.2015.63⟩

Accès au texte intégral et bibtex

titre

An efficient midpoint-radius implementation to handle symmetric fuzzy intervals

auteur

Manuel Marin, David Defour, Federico Milano

article

RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France

Accès au bibtex

titre

Reproducibility and Accuracy for High-Performance Computing

auteur

Roman Iakymchuk, Caroline Collange, David Defour, Stef Graillat

article

RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France

Accès au bibtex

titre

Solutions to ensure the reproducibility of the digital simulation of the effect of waves on the coast

auteur

Rafife Nheili, Philippe Langlois, Christophe Denis

article

RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France

Accès au bibtex

titre

Recent Advances in Parallel Implementations of Scalar Multiplication over Binary Elliptic Curves

auteur

Christophe Negre, Jean-Marc Robert

article

RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, A.Tisserand; D. Menard; S. Duquesne; S. Collange; N. SaintPierre, Apr 2015, Rennes, France

Accès au bibtex

Conference papers

titre

Software Implementation of Parallelized ECSM over Binary and Prime Fields

auteur

Jean-Marc Robert

article

Inscrypt: Information Security and Cryptology, Dec 2014, Beijing, China. pp.445-462, ⟨10.1007/978-3-319-16745-9_24⟩

Accès au texte intégral et bibtex

titre

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition

auteur

Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy

article

DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩

Accès au texte intégral et bibtex

titre

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic

auteur

Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy

article

SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. pp.141-148, ⟨10.1109/SYNASC.2014.27⟩

Accès au texte intégral et bibtex

titre

Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis

auteur

Chemseddine Chohra, Philippe Langlois, David Parello

article

SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany

Accès au texte intégral et bibtex

titre

Reproducible and Accurate Matrix Multiplication

auteur

Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat

article

SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. pp.126-137, ⟨10.1007/978-3-319-31769-4_11⟩

Accès au texte intégral et bibtex

titre

Efficiency of Reproducible Level 1 BLAS

auteur

Chemseddine Chohra, Philippe Langlois, David Parello

article

SCAN: Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany. pp.99-108, ⟨10.1007/978-3-319-31769-4_8⟩

Accès au texte intégral et bibtex

titre

Reproducible and Accurate Matrix Multiplication for High-Performance Computing

auteur

Caroline Collange, David Defour, Stef Graillat, Roman Iakymchuk

article

SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wuerzburg, Germany. pp.42-43

Accès au texte intégral et bibtex

titre

Power Flow Analysis under Uncertainty using Symmetric Fuzzy Arithmetic

auteur

Manuel Marin, David Defour, Federico Milano

article

PES General Meeting 2014 | Conference & Exposition, Jul 2014, National Harbor, MD, United States. pp.1-5, ⟨10.1109/PESGM.2014.6939274⟩

Accès au texte intégral et bibtex

titre

A Reproducible Accurate Summation Algorithm for High-Performance Computing

auteur

Caroline Collange, David Defour, Stef Graillat, Roman Iakymchuk

article

EX: Exascale Applied Mathematics Challenges and Opportunities, Jul 2014, Chicago, United States

Accès au texte intégral et bibtex

titre

Exécution en parallèle d'un programme

auteur

Djallal Rahmoune, David Parello, Bernard Goossens

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, France

Accès au texte intégral et bibtex

titre

Analyse et réduction du chemin critique dans l'exécution d'une application

auteur

Katarzyna Porada, David Parello, Bernard Goossens

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse

Accès au texte intégral et bibtex

titre

Impact des schedulers sur la prédictibilité dans les GPU

auteur

David Defour

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse

Accès au texte intégral et bibtex

titre

A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic

auteur

Michael François, David Defour, Pascal Berthomé

article

Theory and Applications of Models of Computation, Apr 2014, Chennai, India. pp.229-247, ⟨10.1007/978-3-319-06089-7_16⟩

Accès au bibtex

titre

Algorithmes Parallèles de Multiplication Scalaire Optimisée sur Courbes Elliptiques Binaires

auteur

Jean-Marc Robert

article

C2: Journées Codage et Cryptographie, GT-C2, Mar 2014, Les Sept-Laux, France

Accès au texte intégral et bibtex

titre

FuzzyGPU : a fuzzy arithmetic library for GPU

auteur

Manuel Marin, David Defour

article

PDP: Parallel, Distributed and Network-Based Processing, Feb 2014, Torino, Italy. pp.624-631, ⟨10.1109/PDP.2014.16⟩

Accès au texte intégral et bibtex

titre

Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication

auteur

Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy

article

PECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. ⟨10.5220/0004884802040214⟩

Accès au texte intégral et bibtex

Conference papers

titre

GPUburn: A System to Test and Mitigate GPU Hardware Failures

auteur

Eric Petit, David Defour

article

Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2013, Samos, Greece. pp.263-270, ⟨10.1109/SAMOS.2013.6621133⟩

Accès au texte intégral et bibtex

titre

Impact of Optimized Operations AB,AC and AB+CD in Scalar Multiplication over Binary Elliptic Curve

auteur

Christophe Negre, Jean-Marc Robert

article

AFRICACRYPT: Cryptology in Africa, Jun 2013, Cairo, Egypt. pp.13-30, ⟨10.1007/978-3-642-38553-7_16⟩

Accès au texte intégral et bibtex

titre

Synthesizing Accurate Floating-Point Formulas

auteur

Arnault Ioualalen, Matthieu Martel

article

ASAP: Application-Specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. pp.113-116, ⟨10.1109/ASAP.2013.6567563⟩

Accès au texte intégral et bibtex

titre

Regularity versus Load-Balancing on GPU for treefix computations

auteur

David Defour, Manuel Marin

article

ICCS: International Conference on Computational Science, Jun 2013, Barcelone, Spain. pp.309-318

Accès au texte intégral et bibtex

titre

Towards a Reliable Performance Evaluation of Accurate Summation Algorithms

auteur

Philippe Langlois, Bernard Goossens, David Parello

article

SCE: Computational Science and Engineering, SIAM, Feb 2013, Boston, Ma, United States

Accès au bibtex

titre

Améliorer l'analyse de la performance des algorithmes numériques

auteur

David Parello, Bernard Goossens, Philippe Langlois

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France

Accès au texte intégral et bibtex

titre

Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI

auteur

David Parello, Philippe Langlois, Bernard Goossens

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France

Accès au texte intégral et bibtex

titre

Températures, erreurs matérielles et GPU

auteur

David Defour, Eric Petit

article

ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. pp.1-11

Accès au texte intégral et bibtex

Conference papers

titre

Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach

auteur

Arnault Ioualalen, Matthieu Martel

article

DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8

Accès au texte intégral et bibtex

titre

Algorithmes et Implémentations Optimisées de Calculs Cryptographiques sur les Courbes Elliptiques Binaires

auteur

Jean-Marc Robert

article

C2: Journées Codage et Cryptographie, GT-C2, Oct 2012, Dinard, France

Accès au texte intégral et bibtex

titre

Sardana: an Automatic Tool for Numerical Accuracy Optimization

auteur

Arnault Ioualalen, Matthieu Martel

article

SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4

Accès au texte intégral et bibtex

titre

Approach based on instruction selection for fast and certified code generation

auteur

Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy

article

SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia

Accès au texte intégral et bibtex

titre

Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic

auteur

Philippe Langlois, Matthieu Martel, Laurent Thévenoux

article

SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia

Accès au bibtex

titre

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions

auteur

Arnault Ioualalen, Matthieu Martel

article

SAS: Static Analysis Symposium, Sep 2012, Deauville, France. pp.75-93

Accès au texte intégral et bibtex

titre

Accurate Evaluation of Arithmetic Expressions (Invited Talk)

auteur

Matthieu Martel

article

NSAD: Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. pp.3-16

Accès au texte intégral et bibtex

titre

Towards Faster and Greener Cryptoprocessor for Eta Pairing on Supersingular Elliptic Curve over F_{2^{1223}}

auteur

Adikari Jithra, Anwar Hasan, Christophe Negre

article

Selected Areas in Cryptography, Aug 2012, Windsor, Canada. pp.166-183, ⟨10.1007/978-3-642-35999-6_12⟩

Accès au bibtex

titre

Computing Time for Summation Algorithm: Less Hazard and More Scientific Research

auteur

Bernard Goossens, Philippe Langlois, David Parello, Kathy Porada

article

Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain

Accès au texte intégral et bibtex

Conference papers

titre

RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations

auteur

Matthieu Martel

article

SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. pp.118-122

Accès au texte intégral et bibtex

titre

Improved Three-Way Split Formulas for Binary Polynomial Multiplication

auteur

Murat Cenk, Christophe Negre, Anwar Hasan

article

SAC: Selected Areas in Cryptography, Aug 2011, Toronto, Canada. pp.384-398, ⟨10.1007/978-3-642-28496-0_23⟩

Accès au bibtex

titre

How to Square Floats Accurately and Efficiently on the ST231 Integer Processor

auteur

Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy

article

ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.77-81, ⟨10.1109/ARITH.2011.19⟩

Accès au bibtex

titre

Automatic Generation of Fast and Certified Code for Polynomial Evaluation

auteur

Christophe Mouilleron, Guillaume Revy

article

ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.233-242, ⟨10.1109/ARITH.2011.39⟩

Accès au texte intégral et bibtex

titre

De quoi est fait une trace d'exécution ?

auteur

Bernard Goossens, Ali El Moussaoui, Ke Chen, David Parello

article

SympA: Symposium en Architecture de Machines, Apr 2011, Saint-Malo, France

Accès au texte intégral et bibtex