-
Discovering Linear Restraint for Software Validation
JP Eyo, R Izevbizua - 2012 - core.ac.uk
Software is constantly being validated on test techniques which consist in enumerative
execution of the application a high number of times. It is not realistic to achieve 100% coverage ...
用於類比電路仿真器的波動數位濾波器之硬體最佳化方法
MLIN LI - 2019 - ir.lib.ncu.edu.tw
... In order to minimize hardware resource, integer linear programming algorithm is used to
obtain the minimum number of required adaptors, The affine arithmetic model is also applied to ...
Robust optimisation using uncertainty analysis
G Manson - Proceedings of the 25th International Modal Analysis ... - researchgate.net
... There are alternative arithmetics (such as affine arithmetic [9] which go some way to alleviating
these problems) but, in the current work, interval arithmetic will give exact ranges for the ...
Multi agent systems for circuit tolerance and sensitivity analysis
M De Santo, N Femia, M Molinara... - ISCAS 2001. The 2001 ..., 2001 - ieeexplore.ieee.org
In this work we investigate the applicability of the multi agent paradigm to the realization of a
distributed software system for circuit Tolerance and Sensitivity Analysis (TSA). A Multi ...
In Pursuit of Real Answers
AY Zhu, W Taha, R Cartwright... - ... Software and Systems, 2009 - ieeexplore.ieee.org
... Affine arithmetic improves the precision of interval arithmetic [10]. Compared to usual ...
Recently, an abstract domain based on affine arithmetic has been proposed in [16]. Modal arith...