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/10084Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Dutta, Sudakshina | - |
| dc.date.accessioned | 2021-11-03T14:26:05Z | - |
| dc.date.available | 2021-11-03T14:26:05Z | - |
| dc.date.issued | 2018-07 | - |
| dc.identifier.govdoc | NB16102 | - |
| dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/10084 | - |
| dc.language.iso | en_US | en_US |
| dc.publisher | IIT Kharagpur | en_US |
| dc.subject | Verification | en_US |
| dc.subject | Dependence graph | en_US |
| dc.subject | Conict access graph | en_US |
| dc.subject | Equivalence tree | en_US |
| dc.subject | Equivalence checking | en_US |
| dc.title | Validation of Optimizing and Parallelizing Transformations using Dependence Graph Abstraction | en_US |
| dc.type | Thesis | en_US |
| 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.