Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems |
| |
Authors: | Sven Verdoolaege Martin Palkovič Maurice Bruynooghe Gerda Janssens Francky Catthoor |
| |
Affiliation: | (1) Dept. of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium;(2) IMEC, Leuven, Belgium;(3) Katholieke Universiteit Leuven, Leuven, Belgium |
| |
Abstract: | The application of loop and data transformations to array and loop intensive programs is crucial to obtain a good performance. Designers often apply these transformations manually or semi-automatically. For the class of static affine programs, automatic methods exist for proving the correctness of these transformations. Realistic multimedia systems, however, often contain constructs that fall outside of this class. We present an extension of a widening based approach to handle the most relevant of these constructs, viz. accesses to array slices, data dependent accesses and data dependent assignments, and report on some experiments with non-trivial applications. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|