Show simple item record

Functional equivalence checking for verification of transformations on array-intensive programs

dc.contributor.authorKodamballi, Shashi
dc.date.accessioned2021-10-16T02:37:51Z
dc.date.available2021-10-16T02:37:51Z
dc.date.issued2005
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/10718
dc.sourceIIOimport
dc.titleFunctional equivalence checking for verification of transformations on array-intensive programs
dc.typeOral presentation
dc.source.peerreviewno
dc.source.conferenceSIGDA PhD Forum at Design Automation Conference (DAC)
dc.source.conferencedate13/06/2005
dc.source.conferencelocationAnaheim, CA USA
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