Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips.