Browsing by author "Janssens, Gerda"
Now showing items 1-9 of 9
-
A practical dynamic single assignment transformation
Vanbroekhoven, Peter; Janssens, Gerda; Bruynooghe, Maurice; Catthoor, Francky (2007) -
Advanced copy propagation for arrays
Vanbroekhoven, Peter; Janssens, Gerda; Bruynooghe, Maurice; Corporaal, Henk; Catthoor, Francky (2003) -
Automatic functional verification of memory oriented global source code transformations
Kodamballi, Shashidhar; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda (2003) -
Experience with widening based equivalence checking in realistic multimedia systems
Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky (2010) -
Experience with widening based equivalence checking in realistic multimedia systems
Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky (2009) -
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
Kodamballi, Shashi; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda (2005-03) -
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
Shashidhar, K.C.; Bruynooghe, M.; Catthoor, Francky; Janssens, Gerda (2002) -
Two-phase global loop transformations
Verdoolaege, Sven; Catthoor, Francky; Bruynooghe, Maurice; Janssens, Gerda (2003) -
Verification of source code transformations by program equivalence checking
Kodamballi, Shashi; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda (2005-04)