PEQUAN - Documentos de conferencias

Búsqueda
Publicaciones
Research reports

equipos actuales : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Publicaciones PEQUAN	2021	2022	2023	2024	2025	Total
Libros	0	0	0	0	0	0
Libros editados	0	0	0	0	0	0
Artículos de revistas	9	5	9	6	8	37
Capítulos de libros	0	0	0	0	0	0
Documentos de conferencias	8	10	9	13	4	44
Habilitaciones	0	0	0	0	0	0
Tesis	0	1	1	3	0	5

LIP6

M. Ceberio, A. Contreras, C. Jeangoudoux, F. Larribe : “Constraints over Intervals for Specification Based Automatic Software Test Generation”, 18^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), 18^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Book of Abstracts, Tokyo, Japan, pp. 54-55 [Ceberio 2018]
P. Eberhart, B. Landreau, J. Brajard, P. Fortin, F. Jézéquel : “Improving CADNA Performance on GPUs”, 19^th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC) in conjunction with the 32^nd International Parallel and Distributed Processing Symposium (IPDPS), Vancouver, Canada, pp. 1016-1025, (IEEE) [Eberhart 2018]
G. Favelier, Ch. Gueunet, A. Gyulassy, J. Kitware, J. Levine, J. Lukasczyk, D. Sakurai, M. Soler, J. Tierny, W. Usher, Q. Wu : “Topological Data Analysis Made Easy with the Topology ToolKit”, IEEE VIS Tutorials, Berlin, Germany [Favelier 2018a]
D. Gallois‑Wong, S. Boldo, Th. Hilaire : “A Coq formalization of digital filters”, CICM 2018 - 11^th Conference on Intelligent Computer Mathematics, Intelligent Computer Mathematics, Hagenberg, Austria, pp. 87-103 [Gallois-Wong 2018]
S. Graillat, F. Jézéquel : “Tight interval inclusions with compensated algorithms”, 18^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), 18^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Book of Abstracts, Tokyo, Japan, pp. 86-87 [Graillat 2018b]
S. Graillat, F. Jézéquel, R. Picot, F. Févotte, B. Lathuilière : “Numerical validation in quadruple precision using stochastic arithmetic”, TNC'18. Trusted Numerical Computations, vol. 8, Kalpa Publications in Computing, Krakow, Poland, pp. 38-53, (EasyChair) [Graillat 2018d]
E. Huot, D. Béréziat, A. Zébiri : “Prévision de la pluie à court terme par assimilation d’images radar”, Colloque scientifique international «Observation et prévision des pluies, impacts sur les crues», Tunis, Tunisia [Huot 2018]
C. Jeangoudoux, Ch. Lauter : “A Correctly Rounded Mixed-Radix Fused-Multiply-Add”, 2018 IEEE 25^th Symposium on Computer Arithmetic (ARITH), Amherst, MA, United States, (IEEE) [Jeangoudoux 2018]
M. Soler, M. Plainchault, B. Conche, J. Tierny : “Lifted Wasserstein Matcher for Fast and Robust Topology Tracking”, IEEE Symposium on Large Data Analysis and Visualization, Berlin, Germany [Soler 2018a]
M. Soler, M. Plainchault, B. Conche, J. Tierny : “Topologically Controlled Lossy Compression”, IEEE Pacific Conference on Visualisation, Kobe, Japan, pp. 46-55, (IEEE) [Soler 2018b]
A. Volkova : “FiXiF toolbox : validated numerics for sound digital filter implementations”, 18^th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Tokyo, Japan [Volkova 2018]