Browsing by Author "Benini, L"

Now showing items 1-1 of 1

    • Automatic timing model generation by CFG partitioning and model checking 

      Wenzel, I; Rieder, B; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2005)
      We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of ...