Calculating WCET estimates from timed traces (Q255292)

From MaRDI portal





scientific article; zbMATH DE number 6552370
Language Label Description Also known as
default for all languages
No label defined
    English
    Calculating WCET estimates from timed traces
    scientific article; zbMATH DE number 6552370

      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