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 138
- Downloads 0
Image Retrieval using Visual Phrases
Keypoint based descriptors are widely used for various computer vision applications. During this process, key-points are initially detected from the given images which are later represented by some robust and distinctive...
Communication-Load Impact on the Performance of Processor Allocation Strategies in 2-D Mesh Multicomputer Systems
A number of processor allocation strategies have been proposed in literature. A key performance factor that can highlight the difference between these strategies is the amount of communication conducted between the paral...
Association between JPL Coding Standard Violations and Software Faults: An Exploratory Study
Since the software community has realised the importance of adopting coding standards during the development process for improved software quality, many coding standards have been proposed and used during the software de...
The Fir Digital Filter Design based on Iwpso
The essence of finite impulse response (FIR) digital filter design is the problem of the parameter optimization. Namely the optimal parameters of FIR digital filter are the core of the design. In due to the traditional d...
Cohesion Based Personalized Community Recommendation System
Our life is totally engaged by the progressive growth of online social networking. Because, millions of users are interconnecting with each other using different social media sites like Facebook, Twitter, LinkedIn, Googl...