       
|
Abstract
| Author | : | Robert A. van Engelen |
| Affiliation | : | Florida State University |
| : | engelen[at]cs*fsu*edu | |
| Other authors | : | Kyle Gallivan Burt Walsh |
| Title | : | Tight Parametric Timing Estimation Using Newton-Gregory Interpolation Formulae |
| Abstract | : | This paper develops new techniques for tight parametric timing estimation based on Newton-Gregory interpolating formulae. Accurate parameterized timing estimation requires the use of symbolic-numeric analysis methods. We use Newton-Gregory interpolating formulae to obtain a symbolic-numeric solution providing polynomial execution cost bounding functions for loop nests with non-rectangular iteration spaces. The computed parametric worst case execution time (WCET) bounds are useful in removing restrictions, such as known loop bounds, on algorithms for important applications such as scheduling for real-time embedded systems. The new technique can be applied to multiple loop nests that may include non-rectangular loops, zero-trip loops, and loops with non-unit strides. |
If this is your presentation and the presented information is not correct, we kindly ask you to update this at your personal cpc page. Remember that this page will only be generated once a day
Back to list