DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6201Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Banerjee, Kunal | - |
| dc.date.accessioned | 2016-03-07T07:28:07Z | - |
| dc.date.available | 2016-03-07T07:28:07Z | - |
| dc.date.issued | 2016-02 | - |
| dc.identifier.govdoc | NB15414 | - |
| dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6201 | - |
| dc.language.iso | en | en |
| dc.publisher | IIT, Kharagpur | en |
| dc.subject | Loop Transformation | en |
| dc.subject | Arithmetic Transformation | en |
| dc.subject | Recurrence | en |
| dc.subject | Finite State Machine with Datapath (FSMD) | en |
| dc.subject | Array Data Dependence Graph (ADDG) | en |
| dc.title | Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking | en |
| dc.type | Thesis | en |
| Appears in Collections: | Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| NB15414_Thesis.pdf Restricted Access | 835.45 kB | Adobe PDF | View/Open Request a copy | |
| NB15414_Abstract.pdf | 45.45 kB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.