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/10084| Title: | Validation of Optimizing and Parallelizing Transformations using Dependence Graph Abstraction |
| Authors: | Dutta, Sudakshina |
| Keywords: | Verification Dependence graph Conict access graph Equivalence tree Equivalence checking |
| Issue Date: | Jul-2018 |
| Publisher: | IIT Kharagpur |
| Gov't Doc #: | NB16102 |
| URI: | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/10084 |
| Appears in Collections: | Validation of Optimizing and Parallelizing Transformations using Dependence Graph Abstraction |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| NB16102_Abstract.pdf | 38.68 kB | Adobe PDF | View/Open | |
| NB16102_Thesis.pdf Restricted Access | 1.21 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.