Publications

63 entries « 1 of 2 »

2024

Hilaire, T.

From filters/controllers to code – Contributions to Fixed-Point arithmetic implementations under accuracy constraint Miscellaneous

Habilitation à Diriger des Recherches (HDR) – Sorbonne Université, 2024.

BibTeX

2023

Ferro, Quentin; Graillat, Stef; Hilaire, Thibault; Jézéquel, Fabienne

Precision Auto-Tuning of High-Performance Neural Networks Proceedings Article

In: European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), minisymposium ''Mixed Precision Computations in Theory and Practice'', Lisbon, Portugal, 2023.

BibTeX

Ferro, Quentin; Graillat, Stef; Hilaire, Thibault; Jézéquel, Fabienne

Precision auto-tuning using stochastic arithmetic Proceedings Article

In: 10th International Congress on Industrial and Applied Mathematics (ICIAM), minisymposium ``Exploring Arithmetic and Data Representation Beyond the Standard in HPC'', Tokyo, Japan, 2023.

BibTeX

2022

Ferro, Quentin; Graillat, Stef; Hilaire, T.; Jézéquel, Fabienne; Lewandowski, Basile

Neural Network Precision Tuning Using Stochastic Arithmetic Proceedings Article

In: NSV'22, 15th International Workshop on Numerical Software Verification,, Haifa, Israel, 2022.

Links | BibTeX

2021

Jézéquel, F.; Hoseininasab, S.; Hilaire, T.

Numerical validation of half precision simulations Proceedings Article

In: 9th World Conference on Information Systems and Technologies, WorldCist'21, 2021.

Abstract | BibTeX

2020

Boldo, S.; Gallois-Wong, D.; Hilaire, T.

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm Proceedings Article

In: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), pp. 9-16, 2020.

Abstract | Links | BibTeX

Volkova, A.; Hilaire, T.; Lauter, C.

Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters Journal Article

In: IEEE Transactions on Computers, vol. 69, no. 4, pp. 489-504, 2020, ISSN: 2326-3814.

Abstract | Links | BibTeX

2019

Hilaire, T.; Ouzia, H.; Lopez, B.

Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers Proceedings Article

In: 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH), 2019.

BibTeX

Volkova, A.; Istoan, M.; Dinechin, F. De; Hilaire, T.

Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study Journal Article

In: IEEE Transactions on Computers, vol. 68, no. 4, pp. 597-608, 2019, ISSN: 0018-9340.

Links | BibTeX

2018

Gallois-Wong, Diane; Boldo, Sylvie; Hilaire, Thibault

A Coq Formalization of Digital Filters Proceedings Article

In: Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, pp. 87–103, 2018.

Abstract | BibTeX

2017

Volkova, Anastasia; Hilaire, Thibault; Lauter, Christoph Q.

Rigorous determination of recursive filter Fixed-Point Implementation with input signal frequency specifications Proceedings Article

In: Asilomar Conference on Signals, Systems and Computers, 2017.

Abstract | BibTeX

Qureshi, F.; Takala, J.; Volkova, A.; Hilaire, T.

Multiplierless unified architecture for mixed radix-2/3/4 FFTs Proceedings Article

In: 2017 25th European Signal Processing Conference (EUSIPCO), pp. 1334-1338, 2017, ISSN: 2076-1465.

Abstract | Links | BibTeX

Volkova, A.; Lauter, C.; Hilaire, T.

Reliable Verification of Digital Implemented Filters Against Frequency Specifications Proceedings Article

In: 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH), pp. 180-187, 2017, ISSN: 1063-6889.

Abstract | BibTeX

Hilaire, T.; Volkova, A.

Error analysis methods for the fixed-point implementation of linear systems Conference

Proc. IEEE Workshop on Signal Processing Systems (SiPS), 2017.

BibTeX

2016

Volkova, A.; Lauter, C.; Hilaire, T.

Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic Proceedings Article

In: Proceedings of the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, 2016.

BibTeX

Hilaire, T.; Volkova, A.; Ravoson, M.

Reliable fixed-point implementation of linear data-flows Proceedings Article

In: Proc. IEEE Workshop on Signal Processing Systems (SiPS), 2016.

Abstract | BibTeX

2015

Volkova, A.; Hilaire, T.

Fixed-Point implementation of Lattice Wave Digital Filter: comparison and error analysis Proceedings Article

In: Proc. European Signal Processing Conference (EUSIPCO'15), 2015.

Abstract | BibTeX

Volkova, Anastasia; Hilaire, Thibault; Lauter, Christoph Q.

Determining Fixed-Point Formats for a Digital Filter Implementation using the Worst-Case Peak-Gain measure Proceedings Article

In: Asilomar Conference on Signals, Systems and Computers, 2015.

Abstract | BibTeX

Volkova, Anastasia; Hilaire, Thibault; Lauter, Christoph Q.

Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision Proceedings Article

In: 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. 2015, Lyon, France, 2015.

Abstract | BibTeX

2014

Lopez, Benoit; Hilaire, Thibault; Didier, Laurent-Stéphane

Formatting bits to better implement signal processing algorithms Proceedings Article

In: 4th international Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), Lisbon, Portugal, 2014.

Abstract | BibTeX

2013

Hilaire, T.; Lopez, B.

Reliable Implementation of Linear Filters with Fixed-Point Arithmetic Conference

Proc. IEEE Workshop on Signal Processing Systems (SiPS), 2013.

Abstract | BibTeX

2012

Lopez, Benoit; Hilaire, Thibault; Didier, Laurent-Stéphane

Sum-of-products Evaluation Schemes with Fixed-Point arithmetic, and their application to IIR filter implementation Proceedings Article

In: Conference on Design and Architectures for Signal and Image Processing (DASIP), Karlsruhe, Germany, 2012.

BibTeX

Menard, D.; Rocher, R.; Sentieys, O.; Simon, N.; Didier, L-S.; Hilaire, T.; Lopez, B.; Goubault, E.; Putot, S.; Vedrine, F; Najahi, A.; Revy, G.; Fangain, L; Samoyeau, C.; Lemonnier, F; Clienti, C.

Design of Fixed-point Embedded Systems (DEFIS) Proceedings Article

In: Chips, ECSI - European Electronic; Initiative, Systems (Ed.): 2012 Conference on Design and Architectures for Signal and Image Processing (DASIP), Karlsruhe, Germany, October 23 - 25, 2012, pp. 365-366, ECSI - European Electronic Chips and Systems design Initiative, 2012, ISSN: 1966-7116.

Abstract | BibTeX

Hilaire, Thibault; Chevrel, Philippe

Réalisations optimales pour l'implantation de systèmes LTI paramétrés Proceedings Article

In: Septième Conférence Internationale Francophone d'Automatique, Grenoble, 2012.

BibTeX

Hilaire, Thibault; Chapoutot, Alexandre

Interval-based Robustness of Linear Parametrized Filters Proceedings Article

In: Proceedings of the 15'th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012, 2012.

BibTeX

2011

Bajard, J. C.; Didier, L. S.; Hilaire, T.

ρ-Direct Form Transposed and Residue Number Systems for Filter implementations Proceedings Article

In: Circuits and Systems (MWSCAS), 2011 IEEE 54th International Midwest Symposium on, 2011.

Abstract | BibTeX

Hilaire, T.

Le problème d'implantation emphoptimale de filtres Miscellaneous

Présentation équipe Arénaire (LIP, ENS Lyon), 2011.

BibTeX

Hilaire, T.

Implantation "optimale" en virgule fixe d'algorithmes de traitement du signal Miscellaneous

Rencontres Arithmétique-Informatique-Mathématique (RAIM-2011), 2011.

BibTeX

Hilaire, T.

Towards Tools and Methodology for the Fixed-Point Implementation of Linear Filters Proceedings Article

In: Digital Signal Processing Workshop and IEEE Signal Processing Education Workshop (DSP/SPE), 2011 IEEE, pp. 488-493, 2011.

Abstract | BibTeX

Hilaire, T.; Chevrel, P.

Sensitivity-based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context Journal Article

In: EURASIP Journal on Advances in Signal Processing, 2011, (special issue on Quantization of VLSI Digital Signal Processing Systems).

Abstract | BibTeX

Feng, Y.; Chevrel, P.; Hilaire, T.

Generalised modal realisation as a practical and efficient tool for FWL implementation Journal Article

In: International Journal of Control, vol. 84, no. 1, pp. 66-77, 2011.

Abstract | BibTeX

2010

Sluciak, O.; Hilaire, T.; Rupp, M.

A General Formalism for the Analysis of Distributed Algorithms Conference

Acoustics Speech and Signal Processing (ICASSP), 2010 IEEE International Conference on, 2010.

Abstract | BibTeX

Hilaire, T.; Chevrel, P.; Whidborne, J. F.

Finite Wordlength Controller Realizations using the Specialized Implicit Form Journal Article

In: Int. Journal of Control, vol. 83, no. 2, pp. 330-346, 2010.

Abstract | BibTeX

2009

Reyes, C.; Hilaire, T.; Mecklenbräuker, C.

Distributed Projection Approximation Subspace Tracking based on Consensus Propagation Conference

3rd International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP'09), 2009.

Abstract | BibTeX

Hilaire, T.

On the Transfer Function Error of State-Space Filters in Fixed-Point Context Journal Article

In: IEEE Trans. on Circuits & Systems II, vol. 56, no. 12, pp. 936–940, 2009.

Abstract | BibTeX

Hilaire, T.

FWR Toolbox User's Guide (v0.99) Technical Manual

http://fwrtoolbox.gforge.inria.fr/, 2009.

BibTeX

Feng, Y.; Chevrel, P.; Hilaire, T.

A Practical Strategy of an Efficient and Sparse FWL Implementation of LTI Filters Proceedings Article

In: European Control Conference (ECC'09), pp. 1383-1388, 2009.

Abstract | BibTeX

Hilaire, T.

Low Parametric Sensitivity Realizations with relaxed $L_2$-dynamic-range-scaling constraints Journal Article

In: IEEE Trans. on Circuits & Systems II, vol. 56, no. 7, pp. 590–594, 2009.

Abstract | BibTeX

Hilaire, T.

New L2-dynamic-range-scaling Constraints for Low Parametric Sensitivity Realizations Proceedings Article

In: Eusipco'09, pp. 988-992, 2009.

Abstract | BibTeX

2008

Hilaire, T.; Ménard, D.; Sentieys, O.

Bit Accurate Roundoff Noise Analysis of Fixed-Point Linear Controllers Conference

Computer-Aided Control Systems, 2008. CACSD 2008. IEEE International Conference on, 2008.

Abstract | BibTeX

Hilaire, T.

Hardware Fixed-point implementation of filters/controllers Unpublished

2008, (Séminaire d'équipe, Laboratoire de Cryptographie et de sécurité des informations, Université de Tsukuba).

BibTeX

Hilaire, T.

Optimal fixed-point implementation of signal processing algorithms Unpublished

2008, (Séminaire d'équipe, Institute of Communication and Radio-Frequency Engineering, Vienna University of Technology).

BibTeX

Hilaire, T.

Implémentation de filtres/régulateurs - à la recherche d'une réalisation optimale Unpublished

2008, (Séminaire de l'équipe DALI (LIRMM, Université de Perpignan)).

BibTeX

Hilaire, T.; Chevrel, P.

On the compact formulation of the derivation of a transfer matrix with respect to another matrix Technical Report

INRIA no. RR-6760, 2008.

Abstract | BibTeX

Hilaire, T.

Optimal fixed-point implementation of Signal Processing Algorithms Unpublished

2008, (Lecture at University of Hiroshima, Electronic Control Lab.).

Abstract | BibTeX

Hilaire, T.; Chevrel, P.; Whidborne, J. F.

Finite Wordlength Controller Realizations using the Specialized Implicit Form Technical Report

INRIA no. RR-6759, 2008.

Abstract | BibTeX

2007

Hilaire, T.

Implémentation virgule fixe de filtres/régulateurs Unpublished

2007, (Séminaire d'équipe Arénaire, LIP (ENS Lyon)).

BibTeX

Hilaire, T.; Ménard, D.; Sentieys, O.

Roundoff Noise Analysis of Finite Wordlength Realizations with the Implicit State-Space Framework Proceedings Article

In: 15th European Signal Processing Conference (EUSIPCO'07), pp. 1019–1023, 2007.

Abstract | BibTeX

Hilaire, T.; Chevrel, P.; Whidborne, J. F.

A Unifying Framework for Finite Wordlength Realizations Journal Article

In: IEEE Trans. on Circuits and Systems, vol. 8, no. 54, pp. 1765-1774, 2007.

Abstract | BibTeX

Hilaire, T.; Chevrel, P.; Whidborne, J.

Low Parametric Closed-Loop Sensitivity Realizations using Fixed-Point and Floating-Point Arithmetic Proceedings Article

In: Proc. European Control Conference (ECC'07), 2007.

BibTeX

63 entries « 1 of 2 »