kirancodes.me
To Proof Maintenance & Beyond!

4,951 papers · page 63 of 248

Global optimization of numerical programs via prioritized stochastic algebraic transformations

Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang + 2 more

Numerical code is often applied in the safety-critical, but resource-limited areas. Hence, it is crucial for it to be correct and efficient, both of which are difficult to ensure. On one hand, accumulated rounding errors in numerical programs can cause system failures. On the oth…