Browsing by Author "Bacellar, L."

Now showing items 1-1 of 1

    • Input-dependency analysis for hard real-time software 

      Gustafsson, J.; Lisper, B.; Kirner, Raimund; Puschner, P. (IEEE COMPUTER SOC, 2004)
      The execution time of soft-ware for hard real-time systems must be predictable. Further safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy ...