Go home now Header Background Image
Submission Procedure
share: |
Follow us

Gerda Janssens
Department of Computer Science, Katholieke Universiteit Leuven, Belgium

K. C. Shashidhar, M. Bruynooghe, F. Catthoor, G. Janssens:
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs
page 248 - 269
Vol.9 / Issue 3