Browsing by Author "Bruynooghe, M."
Now showing 1 - 9 of 9
- Results Per Page
- Sort Options
Publication Advanced signal propagation
Proceedings paper2003-06, Languages, Compilers, and Tools for Embedded Systems - LCTES, 11/06/2003, p.24-33Publication An access regularity criterion and regularity improvement heuristics for data transfer optimization by global loop transformations
Proceedings paper2003-03, Int. Workshop on Optimisation for DSP and Embedded Systems (ODES) in conj. with Intnl. Symp on Code Generation and Optimization, 1/03/2003Publication An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs
Journal article2003, Journal of Universal Computer Science, (9) 3, p.248-269Publication Automatic verification of algebraic transformations
Proceedings paper2004, Program Acceleration through Application and Architecture driven Code Transformations - PA3CT, 13/09/2004, p.59-61Publication Enumeration of integer projections of parametric prototypes
Proceedings paper2004, Program Acceleration through Application and Architecture driven Code Transformations - PA3CT, 13/09/2004, p.71-73Publication Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
Oral presentation2002, International Workshop on Compilers Meets Compiler Verification - COCVPublication On the problem of verification of source code transformations: a case study
Proceedings paper2004, Program Acceleration through Application and Architecture driven Code Transformation - PA3CT, 13/09/2004, p.95-97Publication Storage size reduction by in-place mapping of arrays
Proceedings paper2002, Verification, Model Checking, and Abstract Interpretation - VMCAI. 3rd international Workshop, 21/01/2002, p.167-181Publication Transformation to dynamic single assignment using a simple data flow analysis
Proceedings paper2005-11, Programming Languages and Systems. APLAS. Proceedings 3rd Asian Symposium, 2/11/2005, p.330-346