A. Chapoutot, L.‑S. Didier, F. Villers : “A Statistical Inference Model for the Dynamic Range of LTI Systems”, 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Novosibirsk, Russian Federation, pp. 25-26 [Chapoutot 2012a]
A. Chapoutot, Th. Hilaire, Ph. Chevrel : “Interval-based Robustness of Linear Parametrized Filters”, SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russian Federation, pp. cf. cdrom [Chapoutot 2012c]
F. De Dinechin, L.‑S. Didier : “Table-based division by small integer constants”, 8th International Symposium on Applied Reconfigurable Computing (ARC), vol. 7199, Lecture Notes in Computer Science, Hong Kong, Hong Kong, pp. 53-63, (Springer) [De Dinechin 2012]
Ch. Denis, S. Montan : “Numerical Verification of Industrial Numerical Codes”, Congrès National de Mathématiques Appliquées et Industrielles, vol. 35, ESAIM: Proceedings, Guidel, France, pp. 107-113 [Denis 2012]
S. Dubuisson, Ch. Gonzales : “An Optimized {DBN}-Based Mode-Focussing Particle Filter”, International Conference on Computer Vision and Pattern Recognition (CVPR'12), Providence, United States, pp. 1934-1939 [Dubuisson 2012a]
S. Dubuisson, Ch. Gonzales : “Min-Space Integral Histogram”, European Conference on Computer Vision (ECCV'12), vol. 7573, Lecture Notes in Computer Science, Florence, Italy, pp. 188-201 [Dubuisson 2012c]
P. Fortin, M. Gouicem, S. Graillat : “Solving the Table Maker's Dilemma by reducing divergence on GPU”, Proceedings of the 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russian Federation, pp. 45-46 [Fortin 2012a]
P. Fortin, M. Gouicem, S. Graillat : “Towards solving the Table Maker's Dilemma on GPU”, 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Garching, Germany, pp. 407-415, (IEEE Computer Society) [Fortin 2012b]
I. Herlin, D. Béréziat, E. Huot : “Image Assimilation and Motion Estimation of Geophysical Fluids”, International Environmental Modelling and Software Society (iEMSs) 2012 International Congress on Environmental Modelling and SoftwareManaging Resources of a Limited Planet: Pathways and Visions under Uncertainty, Leipzig, Germany, pp. 2325-2332, (iEMSs) [Herlin 2012a]
I. Herlin, D. Béréziat, N. Mercier, S. Zhuk : “Divergence-Free Motion Estimation”, ECCV 2012 - European Conference on Computer Vision, vol. 7575, Lecture Notes in Computer Science, Florence, Italy, pp. 15-27, (Springer) [Herlin 2012c]
Ch. Lauter, Olga A. Kupriianova : “The libieee754 compliance library for the IEEE 754-2008 standard”, Proceedings of the 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012, Novosibirsk, Russian Federation [Lauter 2012a]
N. Scott, M. Penny Scott, F. Jézéquel : “Ixaru's extended frequency dependent quadrature rules for Slater integrals: parallel computation issues”, symposium on ``Numerical methods and computational procedures for special problems in physics and chemistry'', part of the International Conference of Numerical Analysis and Applied Mathematics (ICNAAM), vol. 1479, AIP Conference Proceedings, Kos, Greece, pp. 1208-1211, (American Institute of Physics) [Scott 2012]