Sciweavers

Share
DATE
2009
IEEE
112views Hardware» more  DATE 2009»
9 years 10 months ago
Finite Precision bit-width allocation using SAT-Modulo Theory
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
Adam B. Kinsman, Nicola Nicolici
books