1 Doktorant (Forschungsleitung (Direction de recherche) / Co-Betreuung)

• FERRO Quentin : Precision Auto-Tuning and Numerical Validation

2 Doktoren 2014 - 2017

Publikationen 2005-2023

• 2023
  • Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel : “Performance of precision auto-tuned neural networks”, MCSoC 2023 (16^th IEEE International Symposium on Embedded Multicore/Manycore Systems-on-Chip), special session POAT (Performance Optimization and Auto-Tuning of Software on Multicore/Manycore Systems), Singapore, Singapore (2023)
  • Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel : “Precision Auto-Tuning of High-Performance Neural Networks”, European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), minisymposium "Mixed Precision Computations in Theory and Practice", Lisbon, Portugal (2023)
  • Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel : “Precision auto-tuning using stochastic arithmetic”, 10^th International Congress on Industrial and Applied Mathematics (ICIAM), minisymposium ``Exploring Arithmetic and Data Representation Beyond the Standard in HPC”, Tokyo, Japan (2023)
• 2022
  • Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel, B. Lewandowski : “Neural Network Precision Tuning Using Stochastic Arithmetic”, RAIM 2022 : 13^es Rencontres Arithmétique de l'Informatique Mathématique, Nantes, France (2022)
  • Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel, B. Lewandowski : “Neural Network Precision Tuning Using Stochastic Arithmetic”, NSV'22, 15^th International Workshop on Numerical Software Verification,, Haifa, Israel (2022)
  • Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel, B. Lewandowski : “Neural Network Precision Tuning Using Stochastic Arithmetic”, Sparse Days conference, Saint-Girons, France (2022)
• 2021
  • F. Jézéquel, S. Sadat Hoseininasab, Th. Hilaire : “Numerical validation of half precision simulations”, RAIM (Rencontres Arithmétiques de l'Informatique Mathématique), Paris, France (2021)
  • F. Jézéquel, S. Sadat Hoseininasab, Th. Hilaire : “Numerical validation of half precision simulations”, 1^st Workshop on Code Quality and Security (CQS 2021) in conjunction with WorldCIST'21 (9^th World Conference on Information Systems and Technologies), Terceira Island, Azores, Portugal (2021)
• 2020
  • S. Boldo, D. Gallois‑Wong, Th. Hilaire : “A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm”, ARITH 2020 - IEEE 27^th Symposium on Computer Arithmetic, Portland, United States, pp. 9-16, (IEEE) (2020)
  • A. Volkova, Th. Hilaire, Ch. Lauter : “Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters”, IEEE Transactions on Computers, vol. 69 (4), pp. 489-504, (Institute of Electrical and Electronics Engineers) (2020)
• 2019
  • Th. Hilaire, H. Ouzia, B. Lopez : “Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers”, ARITH 2019 - IEEE 26^th Symposium on Computer Arithmetic, Kyoto, Japan, pp. 175-182, (IEEE) (2019)
  • A. Volkova, M. Istoan, F. De Dinechin, Th. Hilaire : “Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study”, IEEE Transactions on Computers, vol. 68 (4), pp. 597-608, (Institute of Electrical and Electronics Engineers) (2019)
• 2018
  • 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 (2018)
  • F. Qureshi, A. Volkova, Th. Hilaire, J. Takala : “Multiplierless Processing Element for Non-Power-of-Two FFTs”, (2018)
• 2017
  • Th. Hilaire, A. Volkova : “Error analysis methods for the fixed-point implementation of linear systems”, 2017 IEEE International Workshop on Signal Processing Systems (SiPS), Lorient, France, (IEEE) (2017)
  • F. Qureshi, J. Takala, A. Volkova, Th. Hilaire : “Multiplierless Unified Architecture for Mixed Radix−2/3/4 FFTs”, 25^th European Signal Processing Conference, EUSIPCO 2017,, Kos island, Greece (2017)
  • A. Volkova, Ch. Lauter, Th. Hilaire : “Reliable verification of digital implemented filters against frequency specifications”, 24^th IEEE Symposium on Computer Arithmetic (ARITH 24), London, United Kingdom (2017)
• 2016
  • Th. Hilaire, A. Volkova, M. Ravoson : “Reliable fixed-point implementation of linear data-flows”, IEEE International Workshop on Signal Processing Systems (SiPS), Dallas, United States (2016)
  • A. Volkova, Ch. Lauter, Th. Hilaire : “Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic”, 17^th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Uppsala, Sweden (2016)
• 2015
  • A. Volkova, Th. Hilaire : “FIXED-POINT IMPLEMENTATION OF LATTICE WAVE DIGITAL FILTER: COMPARISON AND ERROR ANALYSIS”, 23^rd European Signal Processing Conference, EUSIPCO 2015, Nice, France (2015)
  • A. Volkova, Th. Hilaire, Ch. Lauter : “Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision”, ARITH 22 - 22^nd IEEE Symposium on Computer Arithmetic, Lyon, France, pp. 96-103, (IEEE) (2015)
  • A. Volkova, Th. Hilaire, Ch. Lauter : “Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure”, 2015 49^th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, United States, pp. 737-741, (IEEE) (2015)
• 2014
  • B. Lopez, Th. Hilaire, L.‑S. Didier : “Formatting bits to better implement signal processing algorithms”, 4^th international Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), Lisbon, Portugal, pp. 104-111, (ScitePress) (2014)
• 2013
  • Th. Hilaire, B. Lopez : “Reliable implementation of linear filters with fixed-point arithmetic”, Signal Processing Systems (SiPS), Taipei, Taiwan, Province of China, pp. 401-406 (2013)
• 2012
  • B. Lopez, Th. Hilaire, L.‑S. Didier : “Sum-of-products Evaluation Schemes with Fixed-Point arithmetic, and their application to IIR filter implementation”, Conference on Design and Architectures for Signal and Image Processing (DASIP), Karlsruhe, Germany (2012)
  • A. Chapoutot, Th. Hilaire, Ph. Chevrel : “Interval-based Robustness of Linear Parametrized Filters”, SCAN'12 - 15^th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russian Federation, pp. cf. cdrom (2012)
  • Th. Hilaire, Ph. Chevrel : “Réalisations optimales pour l’implantation de systèmes LTI paramétrés”, Septième Conférence Internationale Francophone d’Automatique, Grenoble, France (2012)
  • D. Ménard, R. Rocher, O. Sentieys, N. Simon, L.‑S. Didier, Th. Hilaire, B. Lopez, E. Goubault, S. Putot, F. Vedrine, M. Najahi, G. Revy, L. Fangain, Ch. Samoyeau, F. Lemonnier, Ch. Clienti : “Design of Fixed-Point Embedded Systems (defis) French ANR Project”, DASIP: Design and Architectures for Signal and Image Processing, Karlsruhe, Germany, pp. 365-366 (2012)
• 2011
  • J.‑C. Bajard, L.‑S. Didier, Th. Hilaire : “Rho-Direct Form transposed and Residue Number Systems for Filter implementations”, IEEE 54^th International Midwest Symposium on Circuits and Systems (MWSCAS), Seoul, Korea, Republic of, pp. 1-4, (IEEE) (2011)
  • Y. Feng, Ph. Chevrel, Th. Hilaire : “Generalised modal realisation as a practical and efficient tool for FWL implementation”, International Journal of Control, vol. 84 (1), pp. 66-77, (Taylor & Francis) (2011)
  • Th. Hilaire : “Towards Tools and Methodology for the Fixed-Point Implementation of Linear Filters”, IEEE Digital Signal Processing workshop (DSP'11), Sedona, United States, pp. 488-493, (IEEE) (2011)
  • Th. Hilaire, Ph. Chevrel : “Sensitivity-based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context”, EURASIP Journal on Advances in Signal Processing, vol. special issue on Quantization of VLSI Digital Signal Processing Systems, pp. 893760, (SpringerOpen) (2011)
• 2010
  • C. Reyes, Th. Hilaire, S. Paul, Ch. Mecklenbräuker : “Evaluation of the Root Mean Square Error Performance of the PAST-Consensus Algorithm”, 2010 International ITG Workshop on Smart Antennas (WSA), Brême, Germany, pp. 156-160, (IEEE) (2010)
  • 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, (Taylor & Francis) (2010)
• 2009
  • C. Reyes, Th. Hilaire, Ch. Mecklenbräuker : “Distributed Projection Approximation Subspace Tracking based on Consensus Propagation”, 3^rd International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP'09), Aruba, , pp. 340-343, (IEEE) (2009)
  • Th. Hilaire : “On the Transfer Function Error of State-Space Filters in Fixed-Point Context”, IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 56 (12), pp. 936-940, (Institute of Electrical and Electronics Engineers) (2009)
  • Y. Feng, Ph. Chevrel, Th. Hilaire : “A practical strategy of an efficient and simple FWL implementation of LTI filters”, Proceedings of the European Control Conference, ECC'09, Budapest, Hungary, pp. 1383-1388 (2009)
  • Th. Hilaire : “Low Parametric Sensitivity Realizations with relaxed L2-dynamic-range-scaling constraints”, 16 pages (2009)
• 2008
  • Th. Hilaire, D. Ménard, O. Sentieys : “Bit Accurate Roundoff Noise Analysis of Fixed-point Linear Controllers”, Computer-Aided Control Systems, 2008. CACSD 2008. IEEE International Conference on, San Antonio, TX, United States (2008)
  • Th. Hilaire, Ph. Chevrel, J. Whidborne : “Finite Wordlength Controller Realizations using the Specialized Implicit Form”, (2008)
  • Th. Hilaire, Ph. Chevrel, J. Whidborne : “Finite Wordlength Controller Realizations using the Specialized Implicit Form”, 41 pages (2008)
  • Th. Hilaire, Ph. Chevrel : “On the compact formulation of the derivation of a transfer matrix with respect to another matrix”, (2008)
  • Th. Hilaire, Ph. Chevrel : “On the compact formulation of the derivation of a transfer matrix with respect to another matrix”, 13 pages (2008)
• 2007
  • Th. Hilaire, D. Ménard, O. Sentieys : “Roundoff Noise Analysis of Finite Wordlength Realizations with the Implicit State-Space Framework”, 15^th European Signal Processing Conference (EUSIPCO'07), Poznan, Poland (2007)
  • Th. Hilaire, Ph. Chevrel, J.P. Clauzel : “Low parametric sensitivity realization design for FWL implementation of mimo controllers: theory and application to the active control of vehicle longitudinal oscillations”, International Journal of Tomography & Statistics, Special Issue on Control Applications of Optimisation : applications of optimal control, robust control and stabilization, applications in industry, vol. 6, pp. 128-133 (2007)
• 2006
  • Th. Hilaire, Ph. Chevrel, J.P. Clauzel : “Pole Sensitivity Stability Related Measure of FWL Realization with the Implicit State-Space Formalism”, 5^th IFAC Symposium on Robust Control Design, vol. 39 (9), Toulouse, France, pp. 399-404 (2006)
• 2005
  • Th. Hilaire, Ph. Chevrel, Y. Trinquet : “Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework”, Proceedings of the 44^th IEEE Conference on Decision and Control, Séville, Spain (2005)