Show simple item record

Functional equivalence checking for verification of algebraic transformations on array-intensive source code

dc.contributor.authorKodamballi, Shashi
dc.contributor.authorBruynooghe, Maurice
dc.contributor.authorCatthoor, Francky
dc.contributor.authorJanssens, Gerda
dc.date.accessioned2021-10-16T02:38:06Z
dc.date.available2021-10-16T02:38:06Z
dc.date.issued2005-03
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/10719
dc.sourceIIOimport
dc.titleFunctional equivalence checking for verification of algebraic transformations on array-intensive source code
dc.typeProceedings paper
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.source.peerreviewno
dc.source.beginpage1310
dc.source.endpage1315
dc.source.conferenceProceedings of the Design, Automation and Test in Europe Conference and Exhibition - DATE
dc.source.conferencedate7/03/2005
dc.source.conferencelocationMünchen Germany
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record