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 114
- Downloads 0
Multi-Valued Autoencoders and Classification of Large-Scale Multi-Class Problem
Two-layered neural networks are well known as autoencoders (AEs) in order to reduce the dimensionality of data. AEs are successfully employed as pre-trained layers of neural networks for classification tasks. Most of the...
A Privacy-Preserving Roaming Authentication Scheme for Ubiquitous Networks
A privacy-preserving roaming authentication scheme (PPRAS) for ubiquitous networks is proposed, in which a remote mobile user can obtain the service offered by a foreign agent after being authenticated. In order to prote...
A Survey of Automated Text Simplification
Text simplification modifies syntax and lexicon to improve the understandability of language for an end user. This survey identifies and classifies simplification research within the period 1998-2013. Simplificatio...
Image segmentation by adaptive distance based on EM algorithm
This paper introduces a Bayesian image segmentation algorithm based on finite mixtures. An EM algorithm is developed to estimate parameters of the Gaussian mixtures. The finite mixture is a flexible and powerful pr...
Improving Usable-Security of Web based Healthcare Management System through Fuzzy AHP
Security is an important concern in web application development that is getting massive consideration from academic and IT industry. In addition, due to big share in web based healthcare management system, usable-securit...