-
An effective precision analysis method for word length optimization
R Sun, Y Zhang - ... IEEE/ACIS 13th International Conference on ..., 2014 - ieeexplore.ieee.org
In the existing methods, the process of sub-systems' output word lengths determination is
iterative when the system is partitioned. To save time, the proposed static precision analysis ...
SMT for polynomial constraints on real numbers
T Van Khanh, M Ogawa - Electronic Notes in Theoretical Computer Science, 2012 - Elsevier
This paper preliminarily reports an SMT for solving polynomial inequalities over real
numbers. Our approach is a combination of interval arithmetic (over-approximation, aiming to ...
可行域计算的仿射-区间方法
谢永强, 陈建军, 曹鸿钧 - 北京邮电大学学报, 2015 - journal.bupt.edu.cn
... Finite鄄precision error modeling using affine arithmetic[C]椅Acoustics, Speech and Signal
... by a modified affine arithmetic [ J]. Computers and Chemical Engineering, 2013(48): 48鄄57. ...
List of Papers
K Meah, II Donald Hake, A Smith, P Hock, A Walsh... - scholar.archive.org
... A New Affine Arithmetic-based Power Flow Analysis for Weakly Meshed Distribution
Systems under Uncertainty ...
Problem reduction to parameter space
MS Kim, G Elber - The Mathematics of Surfaces IX, 2000 - Springer
... Zhang and Martin [27] apply affine arithmetic to algebraic curve drawing. Their test results
... Thus speeding up the subdivision step of affine arithmetic is a possible way of improving the ...