Browsing by Author "Kodamballi, Shashidhar"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Publication An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs
Journal article2003, Journal of Universal Computer Science, (9) 3, p.248-269Publication Automatic functional verification of memory oriented global source code transformations
Proceedings paper2003, 8th Annual IEEE International Workshop on High Level Design Validation and Test, 12/11/2003, p.31-36