Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

Proceedings - Design Automation Conference

Saved in:

書目詳細資料
Main Authors:	Fang C.F., Rutenbar R.A., P�schel M., Chen T.
其他作者:	DEPARTMENT OF COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2018
主題:	Affine arithmetic Custom floating-point Embedded hardware Probabilistic error bound Static error analysis
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/146343
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Lightweight floating-point arithmetic: Case study of inverse discrete cosine transform
由: Fang F., et al.
出版: (2018)

Symbolic Round-O Error between Floating-Point and Fixed-Point
由: Truong, Hoang Anh, et al.
出版: (2017)

Beating floating point at its own game: Posit arithmetic
由: Gustafson, J.L, et al.
出版: (2020)

A new representation for the error function for the hermite interpolation and sharper pointwise and uniform error bounds for the derivatives
由: Wong, P.J.Y., et al.
出版: (2014)

ARITHMETIC DYNAMICS ON ALGEBRAIC CURVES
由: NG YONG HAO
出版: (2015)

Explicit error bounds for the derivatives of piecewise-hermite interpolation in L2-norm
由: Agarwal, R.P., et al.
出版: (2014)

Explicit error bounds for the derivatives of piecewise-Lidstone interpolation
由: Agarwal, R.P., et al.
出版: (2014)

Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs
由: Fang C.F., et al.
出版: (2018)

Precision contouring control of machine tools
由: Huo, F., et al.
出版: (2014)

B*-tree based variability-aware floorplanning
由: Zhang, W., et al.
出版: (2014)

Quasi-static scheduling of communicating tasks
由: Darondeau, P., et al.
出版: (2013)

Context-based bit plane golomb coder for scalable image coding
由: ZHANG RONG
出版: (2011)

Evaluation of simple performance measures for tuning SVM hyperparameters
由: Duan, K., et al.
出版: (2014)

A radical approach to computation with real numbers
由: Gustafson, J.L
出版: (2020)

Quantitative bounds on resource usage of probabilistic programs
由: CHATTERJEE, Krishnendu, et al.
出版: (2026)

FIXED AND FLOATING POINT PRECISION OPTIMIZED APPROXIMATION ON EMBEDDED AND PARALLEL ARCHITECTURES
由: HO NHUT MINH
出版: (2020)

Minimum recession-compatible subsets of closed convex sets
由: He, Y., et al.
出版: (2013)

Mathematics
由: YANG JING
出版: (2014)

Floating-point error analysis based on affine arithmetic
由: Fang C.F., et al.
出版: (2018)

The upper bound property for solid mechanics of the linearly conforming radial point interpolation method (LC-RPIM)
由: Zhang, G.Y., et al.
出版: (2014)

High performance multiply-accumulate unit for residue number system DSP core
由: Pretthy, A. P.
出版: (2008)

All the stabilizer codes of distance 3
由: Yu, S., et al.
出版: (2014)

Energy-efficient distance-bounding with residual charge computation
由: ZHUANG, Yunhui, et al.
出版: (2020)

Effects of error factors and prior incremental practice on spreadsheet error detection: An experimental study
由: Teo, T.S.H., et al.
出版: (2013)

High precision instrumentation and control
由: YANG RUI
出版: (2013)

Sharp Hermite interpolation error bounds for derivatives
由: Agarwal, R.P.
出版: (2014)

การวางนัยทั่วไปของฟังก์ชันสัมพรรคทางเดียว
由: ประพีร์พัฒน์ เอื้อวิจิตรพจนา
出版: (2014)

Tracking and contour error control in CNC servo systems
由: Ramesh, R., et al.
出版: (2014)

Factorization and independence of arithmetic functions
由: Pattira Ruengsinsub
出版: (2008)

Accuracy Enhancement for High Precision Gantry Stage
由: TEO CHEK SING
出版: (2011)

New Lower Bounds and Constructions for Binary Codes Correcting Asymmetric Errors
由: Fu, F.-W., et al.
出版: (2014)

New tight bounds on the pairwise error probability for unitary space-time modulations
由: Li, R., et al.
出版: (2014)

Static validation of C preprocessor macros
由: SAEBJORNSEN, Andreas, et al.
出版: (2009)

Explicit, closed-form performance analysis in fading via new bound on Gaussian Q-function
由: Fu, H., et al.
出版: (2014)

A novel reduced-basis method with upper and lower bounds for real-time computation of linear elasticity problems
由: Liu, G.R., et al.
出版: (2014)

Tracking error-based static friction compensation for a bi-axial CNC machine
由: Xi, X.-C., et al.
出版: (2014)

Nonparametric density deconvolution by weighted kernel estimators
由: Hazelton, M.L., et al.
出版: (2014)

Using the TypeScript compiler to fix erroneous Node.js snippets
由: REID, Brittany, et al.
出版: (2023)

Highly secured arithmetic hiding based S-Box on AES-128 implementation
由: Pammu, Ali Akbar, et al.
出版: (2017)

Optimal resource cost for error mitigation
由: Takagi, Ryuji
出版: (2022)