default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThibault Hilaire
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c25]Thibault Hilaire
, David Ilcinkas, Jérôme Leroux:
A State-of-the-Art Karp-Miller Algorithm Certified in Coq. TACAS (1) 2024: 370-389- 2023
- [c24]Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel:
Performance of precision auto-tuned neural networks. MCSoC 2023: 592-599 - 2022
- [c23]Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski:
Neural Network Precision Tuning Using Stochastic Arithmetic. NSV/FoMLAS@CAV 2022: 164-186 - 2021
- [c22]Fabienne Jézéquel, Sara Sadat Hoseininasab, Thibault Hilaire:
Numerical Validation of Half Precision Simulations. WorldCIST (4) 2021: 298-307 - 2020
- [j8]Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter:
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters. IEEE Trans. Computers 69(4): 489-504 (2020) - [c21]Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire:
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. ARITH 2020: 9-16
2010 – 2019
- 2019
- [j7]Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire:
Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study. IEEE Trans. Computers 68(4): 597-608 (2019) - [c20]Thibault Hilaire, Hacene Ouzia, Benoit Lopez:
Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers. ARITH 2019: 175-182 - 2018
- [c19]Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire:
A Coq Formalization of Digital Filters. CICM 2018: 87-103 - 2017
- [c18]Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire:
Reliable Verification of Digital Implemented Filters Against Frequency Specifications. ARITH 2017: 180-187 - [c17]Fahad Qureshi, Jarmo Takala, Anastasia Volkova, Thibault Hilaire:
Multiplierless unified architecture for mixed radix-2/3/4 FFTs. EUSIPCO 2017: 1334-1338 - [c16]Thibault Hilaire, Anastasia Volkova:
Error analysis methods for the fixed-point implementation of linear systems. SiPS 2017: 1-6 - 2016
- [c15]Thibault Hilaire, Anastasia Volkova, Maminionja Ravoson:
Reliable Fixed-Point Implementation of Linear Data-Flows. SiPS 2016: 92-97 - 2015
- [c14]Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter:
Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. ACSSC 2015: 737-741 - [c13]Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter:
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. ARITH 2015: 96-103 - [c12]Anastasia Volkova, Thibault Hilaire:
Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis. EUSIPCO 2015: 1118-1122 - 2014
- [c11]Benoit Lopez, Thibault Hilaire, Laurent-Stéphane Didier:
Formatting Bits to Better Implement Signal Processing Algorithms. PECCS 2014: 104-111 - 2013
- [c10]Thibault Hilaire, Benoit Lopez:
Reliable implementation of linear filters with fixed-point arithmetic. SiPS 2013: 401-406 - 2012
- [c9]Benoit Lopez, Thibault Hilaire, Laurent-Stéphane Didier:
Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation. DASIP 2012: 1-8 - [c8]Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoit Lopez, Eric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti:
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP 2012: 1-2 - 2011
- [j6]Thibault Hilaire, Philippe Chevrel:
Sensitivity-Based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context. EURASIP J. Adv. Signal Process. 2011 (2011) - [j5]Yu Feng, Philippe Chevrel, Thibault Hilaire:
Generalised modal realisation as a practical and efficient tool for FWL implementation. Int. J. Control 84(1): 66-77 (2011) - 2010
- [j4]Thibault Hilaire, Philippe Chevrel, James F. Whidborne:
Finite wordlength controller realisations using the specialised implicit form. Int. J. Control 83(2): 330-346 (2010) - [c7]Ondrej Sluciak, Thibault Hilaire, Markus Rupp:
A general formalism for the analysis of distributed algorithms. ICASSP 2010: 2890-2893 - [c6]Carolina Reyes, Thibault Hilaire, Steffen Paul, Christoph F. Mecklenbräuker:
Evaluation of the root mean square error performance of the PAST-Consensus algorithm. WSA 2010: 156-160
2000 – 2009
- 2009
- [j3]Thibault Hilaire:
Low-Parametric-Sensitivity Realizations With Relaxed L2-Dynamic-Range-Scaling Constraints. IEEE Trans. Circuits Syst. II Express Briefs 56-II(7): 590-594 (2009) - [j2]Thibault Hilaire:
On the Transfer Function Error of State-Space Filters in Fixed-Point Context. IEEE Trans. Circuits Syst. II Express Briefs 56-II(12): 936-940 (2009) - [c5]Yu Feng, Philippe Chevrel, Thibault Hilaire:
A practical strategy of an efficient and sparse FWL implementation of LTI filters. ECC 2009: 1383-1388 - [c4]Thibault Hilaire:
New L2-dynamic-range-scaling constraints for lowparametric sensitivity realizations. EUSIPCO 2009: 988-992 - 2008
- [c3]Thibault Hilaire, Daniel Ménard, Olivier Sentieys:
Bit accurate roundoff noise analysis of fixed-point linear controllers. CACSD 2008: 607-612 - 2007
- [j1]Thibault Hilaire, Philippe Chevrel, James F. Whidborne:
A Unifying Framework for Finite Wordlength Realizations. IEEE Trans. Circuits Syst. I Regul. Pap. 54-I(8): 1765-1774 (2007) - [c2]Thibault Hilaire, Daniel Ménard, Olivier Sentieys:
Roundoff noise analysis of finite wordlength realizations with the implicit state-space framework. EUSIPCO 2007: 1019-1023 - 2006
- [b1]Thibault Hilaire:
Analyse et synthèse de l'implémentation de lois de contrôle-commande en précision finie- Étude dans le cadre des applications automobiles sur calculateur embarquée -. (Analysis and Synthesis of the Finite Word Length Implementation of linear controllers or filters.- Application to embedded automotive control -). University of Nantes, France, 2006 - 2005
- [c1]Thibault Hilaire, Philippe Chevrel, Yvon Trinquet:
Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework. CDC/ECC 2005: 5192-5197
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
