Browsing by Author "Bruynooghe, Maurice"
Now showing 1 - 10 of 10
- Results Per Page
- Sort Options
Publication A practical dynamic single assignment transformation
Journal article2007, ACM Trans. Design Automation for Embedded Systems - TODAES, (12) 4Publication Advanced copy propagation for arrays
Publication Automatic functional verification of memory oriented global source code transformations
Proceedings paper2003, 8th Annual IEEE International Workshop on High Level Design Validation and Test, 12/11/2003, p.31-36Publication Experience with widening based equivalence checking in realistic multimedia systems
Proceedings paper2009, IEEE International High Level Design Validation and Test Workshop - HLDVT, 4/11/2009, p.122-129Publication Experience with widening based equivalence checking in realistic multimedia systems
Journal article2010, Journal of Electronic Testing, (26) 2, p.279-292Publication Experiences with enumeration of integer projections of parametric polytopes
Proceedings paper2005, Compiler Construction, 14th International Conference. Proceedings, 4/04/2005, p.91-105Publication Functional equivalence checking for verification of algebraic transformations on array-intensive source code
Proceedings paper2005-03, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition - DATE, 7/03/2005, p.1310-1315Publication Multi-dimensional incremental loop fusion for data locality
Proceedings paper2003, IEEE 14th International Conference on Application-Specific Systems, Architectures, and Processors - ASSAP, 24/06/2003, p.14-24Publication Two-phase global loop transformations
Proceedings paper2003, Program Acceleration through Application and Architecture driven Code Transformations - PA3CT, 22/09/2003, p.85-87Publication Verification of source code transformations by program equivalence checking
Proceedings paper2005-04, Compiler Construction, 14th International Conference, 2/04/2005, p.221-236