Browsing by Author "Janssens, Gerda"
Now showing 1 - 9 of 9
- 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 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 Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
Oral presentation2002, International Workshop on Compilers Meets Compiler Verification - COCVPublication 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