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]
|
