Discrete-Time Signal Processing, 2009. ,
GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation, Journal of Symbolic Computation, vol.7, issue.1, pp.31-48, 1989. ,
DOI : 10.1016/S0747-7171(89)80004-5
Efficient and accurate computation of upper bounds of approximation errors, Theoretical Computer Science, vol.412, issue.16, pp.1523-1543, 2011. ,
DOI : 10.1016/j.tcs.2010.11.052
URL : https://hal.archives-ouvertes.fr/ensl-00445343
Basic algorithms in real algebraic geometry and their complexity: from Sturm's theorem to the existential theory of reals, Expositions in Mathematics. de Gruyter Lectures in Real Geometry, 1996. ,
DOI : 10.1515/9783110811117.1
Users' manual for the Sollya tool, Release 6 ,
Computation of transfer-function matrices of generalized state-space models, International Journal of Control, vol.27, issue.6, 1989. ,
DOI : 10.1109/TAC.1981.1102763
Wordlength optimization for linear digital signal processing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.22, issue.10, pp.1432-1442, 2003. ,
DOI : 10.1109/TCAD.2003.818119
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.4543
A Unifying Framework for Finite Wordlength Realizations, IEEE Transactions on Circuits and Systems I: Regular Papers, vol.54, issue.8, pp.1765-1774, 2007. ,
DOI : 10.1109/TCSI.2007.902408
URL : https://hal.archives-ouvertes.fr/hal-01317352
Reliable Fixed-Point Implementation of Linear Data-Flows, 2016 IEEE International Workshop on Signal Processing Systems (SiPS), 2016. ,
DOI : 10.1109/SiPS.2016.24
URL : https://hal.archives-ouvertes.fr/hal-01347637
Roundoff noise analysis of two efficient digital filter structures, IEEE Transactions on Signal Processing, vol.54, issue.2, pp.790-795, 2006. ,
DOI : 10.1109/TSP.2005.861895
On the Generalized DFIIt Structure and its State???Space Realization in Digital Filter Implementation, IEEE Transactions on Circuits and Systems I: Regular Papers, vol.51, issue.4, pp.769-778, 2004. ,
DOI : 10.1109/TCSI.2004.823652
Sensitivity-based pole and input-output errors of linear filters as indicators of the implementation deterioration in fixedpoint context, EURASIP Journal on Advances in Signal Processing, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01146526
Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis, 2015 23rd European Signal Processing Conference (EUSIPCO), pp.1118-1122, 2015. ,
DOI : 10.1109/EUSIPCO.2015.7362557
URL : https://hal.archives-ouvertes.fr/hal-01175663
Comparison of peak and RMS gains for discrete-time systems, Systems & Control Letters, vol.9, issue.1, pp.1-6, 1987. ,
DOI : 10.1016/0167-6911(87)90002-8
On computing the worst-case peak gain of linear systems, Systems & Control Letters, vol.19, 1992. ,
Reliable evaluation of the worstcase peak gain matrix in multiple precision, Computer Arithmetic (ARITH), 2015 IEEE 22nd Symposium on, pp.96-103, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01083879
Reliability in computing: The role of interval methods in scientific computing, ch. Algorithms for Verified Inclusions Theory and Practice, pp.109-126, 1988. ,
On the theory of filter amplifiers, Wireless Engineer, vol.7, pp.536-541, 1930. ,
Application of elliptic functions to problems about functions with least and greatest deviation from zero, Zap. Imp. Akad. Nauk. St. Petersburg, vol.30, issue.5, p.1877 ,
Synthesis of linear communication networks, 1958. ,
Approximation Methods for Electronic Filter Design, 1974. ,
Parametrizations in Control, Estimation and Filtering Probems, 1993. ,
Magnitude squared design of recursive filters with the Chebyshev norm using a constrained rational Remez algorithm, Proceedings of IEEE 6th Digital Signal Processing Workshop, pp.23-26, 1994. ,
DOI : 10.1109/DSP.1994.379882