Browsing by Author "Bruynooghe, M."
Now showing 1 - 9 of 9
- Results per page
- Sort Options
Publication Advanced signal propagation
Proceedings paper2003, 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, 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, Programming Languages and Systems. APLAS. Proceedings 3rd Asian Symposium, 2/11/2005, p.330-346