Effective floating-point analysis via weak-distance minimization

Z Fu, Z Su - Proceedings of the 40th ACM SIGPLAN Conference on …, 2019 - dl.acm.org
This work studies the connection between the problem of analyzing floating-point code and
that of function minimization. It formalizes this connection as a reduction theory, where the …
被引用次数：14 相关文章
[PDF] itu.dk

[PDF][PDF] Effective Floating-Point Analysis via Weak-Distance Minimization

Z Fu, Z Su - Proceedings of the 40th ACM SIGPLAN Conference on …, 2019 - pure.itu.dk
This work studies the connection between the problem of analyzing floating-point code and
that of function minimization. It formalizes this connection as a reduction theory, where the …
[PDF] zhoulaifu.com

[PDF][PDF] Effective Floating-Point Analysis via Weak-Distance Minimization

Z Fu, Z Su - 2019 - zhoulaifu.com
This work studies the connection between the problem of analyzing floating-point code and
that of function minimization. It formalizes this connection as a reduction theory, where the …
[PDF] core.ac.uk

[PDF][PDF] Effective Floating-Point Analysis via Weak-Distance Minimization

Z Fu, Z Su - 2019 - core.ac.uk
This work studies the connection between the problem of analyzing floating-point code and
that of function minimization. It formalizes this connection as a reduction theory, where the …
[PDF] itu.dk

[PDF][PDF] Effective Floating-Point Analysis via Weak-Distance Minimization

Z Fu, Z Su - 2019 - pure.itu.dk
This work studies the connection between the problem of analyzing floating-point code and
that of function minimization. It formalizes this connection as a reduction theory, where the …
[PDF] zhoulaifu.com

[PDF][PDF] Effective Floating-Point Analysis via Weak-Distance Minimization

Z Fu, Z Su - 2019 - zhoulaifu.com
This work studies the connection between the problem of analyzing floating-point code and
that of function minimization. It formalizes this connection as a reduction theory, where the …