Title: Experience with widening based equivalence checking in realistic multimedia systems
Authors: Verdoolaege, Sven ×
Palkovic, Martin
Bruynooghe, Maurice
Janssens, Gerda
Catthoor, Francky #
Issue Date: 2010
Publisher: Kluwer Academic Publishers
Series Title: Journal of Electronic Testing vol:26 issue:2 pages:279-292
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.
ISSN: 0923-8174
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Associated Section of ESAT - INSYS, Integrated Systems
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
slides.pdfRelated presentation Published 1258KbAdobe PDFView/Open
jetta.pdfPaper Published 270KbAdobe PDFView/Open
handouts4.psHandouts of related presentation Published 900KbPostscriptView/Open


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

© Web of science