-
Analog circuit sizing based on formal methods using affine arithmetic
A Lemke, L Hedrich, E Barke - Proceedings of the 2002 IEEE/ACM ..., 2002 - dl.acm.org
... Using formal methods based on affine arithmetic, we calculate guaranteed bounds on the
... variations, we define a novel affine-arithmetic Newton operator that gives a significant im...
Affine arithmetic and applications to real-number proving
MM Moscato, CA Muñoz, AP Smith - International Conference on ..., 2015 - Springer
... Among them, affine arithmetic provides tighter estimations by taking into account linear
correlations between operands. This paper presents a formalization of affine arithmetic, written in ...
Robust symbolic regression with affine arithmetic
CL Pennachin, M Looks... - Proceedings of the 12th ..., 2010 - dl.acm.org
... affine arithmetic to improve both the performance and the robustness of genetic programming
for symbolic regression. During evolution, we use affine arithmetic ... affine arithmetic with an ...