Browsing by author "Bruynooghe, Maurice"
Now showing items 1-10 of 10
-
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) -
Experiences with enumeration of integer projections of parametric polytopes
Verdoolaege, Sven; Beyls, Kristof; Bruynooghe, Maurice; Catthoor, Francky (2005) -
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
Kodamballi, Shashi; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda (2005-03) -
Multi-dimensional incremental loop fusion for data locality
Verdoolaege, Sven; Catthoor, Francky; Bruynooghe, Maurice; Janssens, G. (2003) -
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)