Browsing by author "Bruynooghe, M."
Now showing items 1-9 of 9
-
Advanced signal propagation
Vanbroekhoven, Peter; Janssens, G.; Bruynooghe, M.; Corporaal, Henk; Catthoor, Francky (2003-06) -
An access regularity criterion and regularity improvement heuristics for data transfer optimization by global loop transformations
Verdoolaege, Sven; Danckaert, Koen; Catthoor, Francky; Bruynooghe, M.; Janssens, G. (2003-03) -
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 verification of algebraic transformations
Kodamballi, Shashi; Bruynooghe, M.; Catthoor, Francky; Janssens, G. (2004) -
Enumeration of integer projections of parametric prototypes
Verdoolaege, S.; Bruynooghe, M.; Catthoor, Francky; Janssens, G. (2004) -
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
Shashidhar, K.C.; Bruynooghe, M.; Catthoor, Francky; Janssens, Gerda (2002) -
On the problem of verification of source code transformations: a case study
Fu, Q.; Bruynooghe, M.; Janssens, G.; Catthoor, Francky (2004) -
Storage size reduction by in-place mapping of arrays
Troncon, R.; Bruynooghe, M.; Janssens, G.; Catthoor, Francky (2002) -
Transformation to dynamic single assignment using a simple data flow analysis
Vanbroekhoven, P.; Janssens, G.; Bruynooghe, M.; Corporaal, Henk; Catthoor, Francky (2005-11)