IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking
→
Browsing Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking by Subject

Browsing Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking by Subject

Now showing items 1-5 of 5

Subject
Arithmetic Transformation [1]
Array Data Dependence Graph (ADDG) [1]
Finite State Machine with Datapath (FSMD) [1]
Loop Transformation [1]
Recurrence [1]

Now showing items 1-5 of 5

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login