@inbook{2ee80490b2664df0914458187419d748,
title = "A tool for average and worst-case execution time analysis",
abstract = "We have developed a new programming paradigmwhich, for conforming programs, allows the averagecase execution time (ACET) to be obtained automatically by a static analysis. This is achieved by tracking the data structures and their distributions that will exist during all possible executions of a program. This new programming paradigm is calledMOQA and the tool which performs the static analysis is called Distritrack. In this paper we give an overview of both MOQA and Distritrack. We then discuss the possibility of extending Distritrack for static worst-case execution time (WCET) analysis ofMOQA programs using the tight tracking of data structures already being performed.",
author = "David Hickey and Diarmuid Early and Michel Schellekens",
year = "2008",
language = "English",
isbn = "9783939897101",
series = "OpenAccess Series in Informatics",
booktitle = "8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008",
note = "8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008 ; Conference date: 01-07-2008 Through 01-07-2008",
}