Year : 2020
Forward and backward static analysis for critical numerical accuracy in floating-point programs
Cite this Research Publication : Thushara M. G. and Dr. Somasundaram K., “Forward and backward static analysis for critical numerical accuracy in floating-point programs”, Computer Science, vol. T. 21 (2), pp. 179–192, 2020.
Publisher : Computer Science
Year : 2019
Static Analysis on Floating-Point Programs Dealing with Division Operations
Cite this Research Publication :
Thushara M. G. and Dr. Somasundaram K., “Static Analysis on Floating-Point Programs Dealing with Division Operations”, International Journal of Advanced Computer Science and Applications, vol. 10, 2019.
Publisher : International Journal of Advanced Computer Science and Applications
Year : 2018
Auto-tagging of Research Publications using Keyword Extraction Technique
Cite this Research Publication : A. Das and Thushara M. G., “Auto-tagging of Research Publications using Keyword Extraction Technique”, Journal of Advanced Research in Dynamical and Control Systems, vol. 10, no. 06-Special Issue, pp. 1168-1172, 2018
Publisher : Journal of Advanced Research in Dynamical and Control Systems
Year : 2018
Analysis of Numerical Accuracy in Floating Point Programs Using Abstract Interpretation
Cite this Research Publication : Thushara M. G., Somasundaram, K., and Jayaraj Poroor, “Analysis of Numerical Accuracy in Floating Point Programs Using Abstract Interpretation”, AFMSS, Springer LNCS (in print), 2018.
Publisher : AFMSS, Springer LNCS (in print)