NDLI: RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations

Please wait, while we are loading the content...

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Table of Contents

Committees and Reviewers

Self-Organizing Context Aware Agent Systems

What is Hybrid Symbolic-Numeric Computation?

Symbol Elimination in Program Analysis

Hybrid Fuzzy Rule-Based Classification

Computational Tools for Mathematical Collaboration

What can Symbolic Computation Contribute to Mathematics?

A Theory and an Algorithm of Approximate Gröbner Bases

Tracking Method for Reparametrized Geometrical Constraint Systems

Long Integers and Polynomial Evaluation with Estrin's Scheme

On Kahan's Rules for Determining Branch Cuts

A Computer Aided Software for Nonlinear Digital Control

Optimal Inequality Factor for Ehrlich-Aberth's Method

On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of Nodes

A Method for Submodelling Inside Transient Flows

Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++

Project Duration Assessment Model Based on Modified Shortest Path Algorithm and Superposition

Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm

Proof Techniques for Synthesis of Sorting Algorithms

Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach

RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations

Using the Executable Semantics for CFG Extraction and Unfolding

Psychologically Inspired, Rule-Based Outlier Detection in Noisy Data

Integration of Association Rule Detection with Rule-Based Ontological Support for Product Recommendation

Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet Systems

Part of Speech Tagging for Romanian Text-to-Speech System

Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars

A Supervised Learning Process to Elicit Fraud Cases in Online Auction Sites

Mapping a Relational Database into a RDF Repository

A GIS Integrated Solution for Traffic Management

A Reinforcement Learning Approach for Solving the Fragment Assembly Problem

Towards Extracting Semantic Information from Texts

A Genetic Approximation of Closest String via Rank Distance

Cellular Genetic Algorithm with Communicating Grids for a Delivery Problem

Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs

The Runner -- Recommender System of Workout and Nutrition for Runners

A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear Systems

Short Text Categorization via Coherence Constraints

Using Exploratory Data Analysis for Fraud Elicitation through Supervised Learning

Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent Vehicles

Searching Simulation Scenarios on the Grid with ELSIGExplorer

Pattern Detection Model for Monitoring Distributed Systems

Metric Denotational Semantics for Parallel Rewriting of Multisets

A Distributed Approach for Solving Systems of Nonlinear Equations

Grid Based Services and Tools for Hydrological Model Processing and Visualization

A Data Dissemination Algorithm for Opportunistic Networks

Parallel Migration Models Applied to Competitive Differential Evolution

Multi-agent Resource Allocation Algorithm Based on the XSufferage Heuristic for Distributed Systems

An Upper Bound on Checking Test Complexity for Almost All Cographs

Nominal Semantics of the pi I-calculus

On the Complexity of Szilard Languages of Matrix Grammars

On a Non-periodic Shrinking Generator

Trust Model for Virtual Organizations

Multi-agent Stock Trading Algorithm Model

Enhancing Objects' Autonomy through the Classification of Objects' Interactions

Software Framework for Agent-Based Games and Simulations

Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental Simulations

Dealing with Class Noise in Large Training Datasets for Malware Detection

Lorenz Equilibrium: Concept and Evolutionary Detection

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007)

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)

RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations

Content Provider	IEEE Xplore Digital Library
Author	Martel, M.
Copyright Year	2011
Abstract	This article introduces Range Lab, a simple tool to validate the accuracy of floating-point or fixed-point computations. Given intervals for the inputs, Range Lab computes the range of the outputs of simple functions with conditionals and loops as well as a range for the round off errors arising during the computation. Hence the user not only obtains the range of the result of the computation in the computer arithmetic but also a bound on the difference between the computer result and the result in infinite precision. Range Lab is based on static analysis by abstract interpretation and, in this article, we describe the techniques implemented in the tool. In particular, Range Lab uses a hybrid numerical-formal evaluation technique used to limit the wrapping effect in interval computations.
Starting Page	118
Ending Page	122
File Size	196404
Page Count	5
File Format	PDF
ISBN	9781467302074
DOI	10.1109/SYNASC.2011.52
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-09-26
Publisher Place	Romania
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computers fixed-point arithmetic Accuracy Semantics floating-point arithmetic Digital arithmetic Roundoff errors Software numerical stability Equations Formal verification
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in