Supporting Timing Analysis by Automatic Bounding of Loop Iterations.

Christopher A. Healy Mikael Sjödin Viresh Rustagi David B. Whalley Robert van Engelen Supporting Timing Analysis by Automatic Bounding of Loop Iterations. 129-156 2000 18 Real-Time Systems 2/3 db/journals/rts/rts18.html#HealySRWE00 http://dx.doi.org/10.1023/A:1008189014032