Calculating WCET estimates from timed traces (Q255292)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Calculating WCET estimates from timed traces
scientific article

    Statements

    Calculating WCET estimates from timed traces (English)
    0 references
    0 references
    0 references
    9 March 2016
    0 references
    WCET
    0 references
    worst-case execution time
    0 references
    IPET
    0 references
    implicit path-enumeration technique
    0 references
    ILP
    0 references
    integer linear programming
    0 references
    timing analysis
    0 references
    measurement
    0 references
    context-sensitive
    0 references
    scenarios
    0 references
    0 references
    0 references
    0 references

    Identifiers