Profiles

jean-michel muller

CNRS, Ecole Normale Supérieure de Lyon, INRIA, Université de Lyon

Verified email at ens-lyon.fr

Cited by 6823

Computer arithmetic floating-point arithmetic arithmetic algorithms

Claude-Pierre Jeannerod

Researcher at Inria (ENS de Lyon, France)

Verified email at ens-lyon.fr

Cited by 2044

Symbolic Computation Structured Matrices Floating-Point Arithmetic Accuracy Analysis

Jason Riedy

Principle Member of Technical Staff, AMD

Verified email at acm.org

Cited by 2020

high-performance computing linear algebra graph analysis floating-point arithmetic honeybees

Frederic Goualard

LS2N UMR CNRS 6004

Verified email at univ-nantes.fr

Cited by 1092

floating-point arithmetic interval arithmetic constraint programming

Alexandru Amaricai

Assistant Professor of Computer Engineering, University Politehnica of Timisoara

Verified email at cs.upt.ro

Cited by 484

Floating point arithmetic FPGA Design

Fredrik Brosser

Chalmers University of Technology

Verified email at brosser.se

Cited by 128

Reconfigurable Computing FPGA Floating Point Arithmetic

Hugues de Lassus Saint-Geniès

SiFive, Inc

Verified email at sifive.com

Cited by 33

floating-point arithmetic high-performance computing optimization

Séthy A. MONTAN

EDF R&D / UPMC / LIP6

Verified email at lip6.fr

Cited by 29

HPC Numerical validation floating point arithmetic

El-Mehdi EL ARAR

INRIA

Verified email at inria.fr

Cited by 19

Stochastic rounding Floating-point arithmetic Rounding errors Numerical linear algebra

Mak Andrlon

School of Computing and Information Systems, The University of Melbourne

Verified email at student.unimelb.edu.au

Cited by 17

automated reasoning floating-point arithmetic software verification

1 - 10