Compositional Analysis of Floating-Point Linear Numerical Filters
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 199-212
- https://doi.org/10.1007/11513988_21
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Modeling, Optimization and Computation for Software VerificationPublished by Springer Nature ,2005
- The ASTREÉ AnalyzerPublished by Springer Nature ,2005
- Static Analysis of Digital FiltersPublished by Springer Nature ,2004
- Relational Abstract Domains for the Detection of Floating-Point Run-Time ErrorsPublished by Springer Nature ,2004
- Ten methods to bound multiple roots of polynomialsJournal of Computational and Applied Mathematics, 2003
- Linear analysis and optimization of stream programsPublished by Association for Computing Machinery (ACM) ,2003
- Roundoff noise analysis of state-space digital filters implemented on floating-point digital signal processorsIEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 1997
- Floating point arithmetic and digital filtersIEEE Transactions on Signal Processing, 1992
- Digital Filters and Signal ProcessingPublished by Springer Nature ,1989
- On the Interaction of Roundoff Noise and Dynamic Range in Digital Filters*Bell System Technical Journal, 1970