Browsing by author "Kodamballi, Shashidhar"
Now showing items 1-2 of 2
-
An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs
Kodamballi, Shashidhar; Bruynooghe, M.; Catthoor, Francky; Janssens, G. (2003) -
Automatic functional verification of memory oriented global source code transformations
Kodamballi, Shashidhar; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda (2003)