Static Analysis on Floating-Point Programs Dealing with Division Operations
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2019, Vol 10, Issue 10
Abstract
Numerical accuracy is a critical point in safe computations when it comes to floating-point programs. Given a certain accuracy for the inputs of a program, the static analysis computes a safe approximation of the accuracy on the outputs. This accuracy depends on the propagation of the errors on the data and on the round-off errors on the arithmetic operations performed during the execution. Floating point values disposes a large dynamic range. But the main pitfall is the inaccuracies that occur with floating point computations. Based on the theory of abstract interpretation, in the paper an upper bound to the precision of the results of these computations in program have been demonstrated.
Authors and Affiliations
MG Thushara, K. Somasundaram
Keywords
Related Articles
- EP ID EP665201
- DOI 10.14569/IJACSA.2019.0101058
- Views 109
- Downloads 0
TOWARDS A SEAMLESS FUTURE GENERATION NETWORK FOR HIGH SPEED WIRELESS COMMUNICATIONS
The MIMO technology towards achieving future generation broadband networks design criteria is presented. Typical next generation scenarios are investigated. The MIMO technology is integrated with the OFDM technology for...
A Copula Statistic for Measuring Nonlinear Dependence with Application to Feature Selection in Machine Learning
Feature selection in machine learning aims to find out the best subset of variables from the input that reduces the computation requirement and improves the predictor performance. In this paper, a new index based on empi...
Developing a Dengue Forecasting Model: A Case Study in Iligan City
Dengue is a viral mosquito-borne infection that is endemic and has become a major public health concern in the Philippines. Cases of dengue in the country have been recorded to be increasing, however, it is reported that...
Cancer Classification from DNA Microarray Data using mRMR and Artificial Neural Network
Cancer is the uncontrolled growth of abnormal cells in the body and is a major death cause nowadays. It is notable that cancer treatment is much easier in the initial stage rather than it outbreaks. DNA microarray based...
Teaching Software Testing using Data Structures
Software testing is typically a rushed and neglected activity that is done at the final stages of software development. In particular, most students tend to test their programs manually and very seldom perform adequate t...