Title: Experience with widening based equivalence checking in realistic multimedia systems
Authors: Verdoolaege, Sven
Palkovic, Martin
Bruynooghe, Maurice
Janssens, Gerda
Catthoor, Francky
Issue Date: Dec-2009
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW572
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.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section
Associated Section of ESAT - INSYS, Integrated Systems

Files in This Item:
File Description Status SizeFormat
CW572.pdfDocument Published 296KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.