ALGORITHM FOR THE ANALYSIS OF EXACTICTY OF BANERJEE TEST
Journal Title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY - Year 2013, Vol 10, Issue 3
Abstract
In compiler theory, the Banerjee test is a dependence test. The Banerjee test assumes that all loop indices are independent, however in reality, this is often not true. The Bannerjee test is a conservative test. That is, it will not break a dependence that does not exist.This means that the only thing the test can guarantee is the absence of dependence.This paper proposes an innovative algorithm which allows precise determination of information about dependences and can act in situation where certain cycling limits are known.
Authors and Affiliations
Monica Iuliana Ciaca, Loredana Mocean, Alexandru Vancea
Keywords
Related Articles
- EP ID EP650182
- DOI 10.24297/ijct.v10i3.3271
- Views 82
- Downloads 0
Representation of cloud ecosystem using engineering methodologies
Cloud Computing has fascinated massive consideration for business in spite of lot of technologies and business models in the market. The operational particulars within the cloud are not coherent enough to customers. Henc...
Secret Sharing Approach in Multi-database System
Secret sharing schemes are ideal for storing highly sensitive data. A secret is divided into many parts and every participant gets his unique part. If we combine all of these parts and try regenerating the secret then i...
A REVIEW ON MULTISCALE TEXTURE FEATURES USING STEERABLE PYRAMIDS
As a result of recent advancements in digital storage technology, it is now possible to create large and extensive databases of digital imagery. These collections may contain millions of images and terabytes of data. For...
A Comparative Evaluation of approaches for Model Testability
Design for testability is a very importantissue in software engineering. It becomes crucial in the case of Model Based Testing where models are generally not tested before using as input of Model Based Testing. The quali...
A Petri Net approach for representing Orthogonal Variability Models
The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and...