Gruppo di ricerca : PEQUAN - Performance and Quality of Algorithms for Numerical applications
Responsabile del gruppo di ricerca : Stef Graillat Site Jussieu 26-00/313
Corresponsabile : Fabienne Jézéquel Site Jussieu 26-00/309
Presentazione breve
The domain of the PEQUAN team deals with computer arithmetic and scientific computing.
The team has developed the CADNA library based on a probabilistic approach of round-off error propagation.
The skills of the team cover:
- the development of numerical algorithms using floating point or fixed point arithmetic and their numerical validation,
- the performance optimization of numerical applications on
various architectures (multicore processors, GPUs, computing grids,
supercomputers,...),
- the numeration systems and the associated algorithms in relationship with cryptology or signal processing,
- the problems related to image assimilation.
Computer arithmetic, Rounding errors, Numerical validation, Numerical quality, Heterogeneous and multimodal data, Distributed numerical computing, Asynchronous numerical algorithms, Reliable results, Symbolic/numerical algorithms, Arithmetic operators for cryptography.
Selected publications
- P. Fortin, R. Habel, F. Jézéquel, J.‑L. Lamotte, N. Scott : “Numerical validation and performance optimization on GPUs of an application in atomic physics”, chapter in Designing Scientific Applications on GPUs, R. Couturier (Ed.), pp. 369-414, (Chapman & Hall/CRC) [Fortin 2013d]
- S. Graillat, F. Jézéquel, Sh. Wang, Y. Zhu : “Stochastic Arithmetic in Multiprecision”, Mathematics in Computer Science, vol. 5 (4), pp. 359-375, (ISBN: 1661-8270) [Graillat 2011]
- S. Graillat, V. Ménissier‑Morain : “Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic”, Information and Computation n°216, pp. 57-71, (ISBN: 0890-5401) [Graillat 2012]
- P. Fortin, E. Athanassoula, J.‑Ch. Lambert : “Comparisons of different codes for galactic N-body simulations”, Astronomy and Astrophysics - A&A, vol. 531, pp. a120, (ISBN: 0004-6361) [Fortin 2011a]
- D. Béréziat, I. Herlin : “Solving Ill-posed Image Processing problems using Data Assimilation”, Numerical Algorithms, vol. 56 (2), pp. 219-252 [Béréziat 2011]
- Th. Hilaire, Ph. Chevrel, James F. Whidborne : “Finite Wordlength Controller Realizations using the Specialized Implicit Form”, International Journal of Control, vol. 83 (2), pp. 330-346 [Hilaire 2010]
- J.‑C. Bajard, Ch. Negre, Th. Plantard : “Subquadratic space complexity binary field multiplier using double polynomial representation”, IEEE Transactions on Computers, vol. 59 (12), pp. 1585-1597 [Bajard 2010]
Tutti…
Contatti
Fabienne.Jezequel (at) nulllip6.fr
09/07/2017
- 
Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
http://www-pequan.lip6.fr