41 search results - page 1 / 9 » Sensitivity Analysis Using a Fixed Point Interval Iteration |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
FCCM
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
SAS
1994
Springer
14 years 2 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
ESOP
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
FCCM
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...