Exposés

  • Emmanuel Agullo (Inria, LaBRI)
    On rounding error resilience, maximal attainable accuracy and parallel performance of the pipelined Conjugate Gradients method for large-scale linear systems in PETSc
    [pdf]

  • Paulo Ricardo Arantes Gilz (CNRS, LAAS)
    Model predictive control for spacecraft rendezvous hovering phases based on validated Chebyshev series approximations of the transition matrices
    [pdf]

  • Florent Bréhard (ENS Lyon, LIP)
    Validation par une méthode de Newton de l'approximation de solutions d'EDO linéaires par des séries de Chebyshev tronquées
    [pdf]

  • Nicolas Brunie (Kalray)
    Modified FMA for exact low precision product accumulation
    [pdf]
  • Yohan Chatelain (UVSQ, Li-Parad)
    Verificarlo : un outil pour détecter les instabilités numériques à l'aide de l'arithmétique de Monte Carlo
    [pdf]

  • David Defour (UPVD, LIRMM)
    FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
    [lien]

  • Jérémie Detrey (Inria, LORIA)
    Factoring integers with ECM on the Kalray MPPA-256
    processor
    [pdf]

  • Florian Faissole (Inria, LRI)
    Erreurs d'arrondi des méthodes d'intégration numérique explicites
    [pdf]
  • Silviu Filip (University of Oxford, Mathematical Institute)
    A lattice basis reduction approach for the design of quantized FIR filters
    [pdf]
  • Bill Hart (Technische Universität Kaiserslautern)
    Basic arithmetic in Flint and Nemo
    [pdf]

  • Roman Iakymchuk (KTH Royal Institute of Technology)
    Hierarchical approach for deriving a reproducible LU factorization
    [pdf]

  • Laurent Imbert (CNRS, LIRMM)
    Randomized mixed-radix scalar multiplication
    [pdf]

  • Clothilde Jeangoudoux (UPMC, LIP6)
    MPDI : une bibliothèque arithmétique décimale multiple-précision par intervalles
    [pdf]

  • Mioara Joldes (CNRS, LAAS)
    Validated numerics for robust space mission design
    [pdf]

  • Romain Lebreton (UM2, LIRMM)
    Conversions simultanées entre représentation classique et modulaire à l'aide d'algèbre linéaire
    [pdf]

  • Victor Magron (CNRS Verimag)
    Enclosures of roundoff errors using SDP
    [pdf]

  • Pierre Roux (ONERA)
    Validating semidefinite programming solvers for polynomial invariants
    [pdf] [pdf+démo]

  • Nick Trefethen(University of Oxford)
    A demonstration of Chebfun
    [site web]

  • Yohann Uguen (INSA Lyon)
    Bridging high-level synthesis and application-specific arithmetic: the case study of floating-point summations
    [pdf]

  • Anastasia Volkova (UPMC, LIP6)
    Reliable verification of digital implemented filters against frequency specifications
    [pdf]
e
Personnes connectées : 1