This paper presents a new efficient algorithm that can obtain a safe parametric estimate of the WCET of a program. This algorithm is evaluated on a large set of ...

This paper presents a new algorithm that can obtain a safe parametric estimate of the WCET of a program.

Abstract—Static WCET analysis is a process dedicated to derive a safe upper bound of the worst-case execution time of a program. In many real-time systems, ...

This paper presents a new efficient algorithm that can obtain a safe parametric estimate of the WCET of a program.

Using a parameter integer programming technique, the parametric WCET of the loop is estimated by maximizing the sum of the overall worst case execution times of ...

This paper presents a new efficient algorithm that can obtain a safe parametric estimate of the WCET of a program. This algorithm is evaluated on a large set of ...

This paper presents a new efficient algorithm that can obtain a safe parametric estimate of the WCET of a program. This algorithm is evaluated on a large set of ...

An Efficient Algorithm for Parametric WCET Calculation. Overview of attention for article published in this source, August 2009. Altmetric Badge. Mentioned by.

A parametric WCET analysis derives the upper bound as a formula rather than a constant. This paper presents a new algorithm that can obtain a safe parametric ...

Jan 10, 2024 · Linear flow constraints are the basis for IPET-based WCET calculation methods. ... An efficient algorithm for parametric wcet calculation. Journal ...