Title: Functional equivalence checking for verification of algebraic transformations on array-intensive source code
Authors: Shashidhar, K. C. ×
Bruynooghe, Maurice
Catthoor, Francky
Janssens, Gerda #
Issue Date: 2005
Publisher: IEEE
Host Document: Proceedings of the Design, Automation and Test in Europe, 2005 pages:1310-1315
Conference: Design, Automation and Test in Europe location:Munich, Germany date:March 7-11, 2005
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Associated Section of ESAT - INSYS, Integrated Systems
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
date05.pdf Published 119KbAdobe PDFView/Open


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

© Web of science