Publication | Closed Access

Supporting Timing Analysis by Automatic Bounding of Loop Iterations