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

Proceedings - Design Automation Conference

Saved in:
Bibliographic Details
Main Authors: Fang C.F., Rutenbar R.A., P�schel M., Chen T.
Other Authors: OFFICE OF THE PROVOST
Format: Conference or Workshop Item
Published: 2018
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/146343
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-146343
record_format dspace
spelling sg-nus-scholar.10635-1463432024-04-17T08:51:09Z Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling Fang C.F. Rutenbar R.A. P�schel M. Chen T. OFFICE OF THE PROVOST DEPARTMENT OF COMPUTER SCIENCE Affine arithmetic Custom floating-point Embedded hardware Probabilistic error bound Static error analysis Proceedings - Design Automation Conference 496-501 PDAWD 2018-08-21T05:10:37Z 2018-08-21T05:10:37Z 2003 Conference Paper Fang C.F., Rutenbar R.A., P�schel M., Chen T. (2003). Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling. Proceedings - Design Automation Conference : 496-501. ScholarBank@NUS Repository. 0738100X http://scholarbank.nus.edu.sg/handle/10635/146343 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Affine arithmetic
Custom floating-point
Embedded hardware
Probabilistic error bound
Static error analysis
spellingShingle Affine arithmetic
Custom floating-point
Embedded hardware
Probabilistic error bound
Static error analysis
Fang C.F.
Rutenbar R.A.
P�schel M.
Chen T.
Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
description Proceedings - Design Automation Conference
author2 OFFICE OF THE PROVOST
author_facet OFFICE OF THE PROVOST
Fang C.F.
Rutenbar R.A.
P�schel M.
Chen T.
format Conference or Workshop Item
author Fang C.F.
Rutenbar R.A.
P�schel M.
Chen T.
author_sort Fang C.F.
title Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
title_short Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
title_full Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
title_fullStr Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
title_full_unstemmed Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
title_sort toward efficient static analysis of finite-precision effects in dsp applications via affine arithmetic modeling
publishDate 2018
url http://scholarbank.nus.edu.sg/handle/10635/146343
_version_ 1800913445033345024