Title :
Distritrack: Automated Average-Case Analysis
Author_Institution :
Nat. Univ. of Ireland, Cork
Abstract :
MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from this, a tool called Distritrack has been built to perform the analysis of MOQA programs, adhering strictly to the language specification.
Keywords :
program diagnostics; specification languages; Distritrack; MOQA program; automated average-case analysis; average-case execution time analysis; language specification; program analysis; Computer science; Costs; Data structures; Embedded system; Flow graphs; Java; Performance analysis; Real time systems; Terminology; Timing;
Conference_Titel :
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location :
Edinburgh
Print_ISBN :
978-0-7695-2883-0
DOI :
10.1109/QEST.2007.16
