Distritrack: Automated average-case analysis

D Hickey - Fourth International Conference on the Quantitative …, 2007 - ieeexplore.ieee.org
MOQA is a language specifically designed to facilitate average-case execution time
analysis. It incorporates some innovative techniques to make this possible. Following on …

Practical programming for static average-case analysis: the MOQA investigation

JM Townley - 2013 - cora.ucc.ie
This work considers the static calculation of a program's average-case time. The number of
systems that currently tackle this research problem is quite small due to the difficulties …

Static average case analysis fork-join framework programs based on MOQA method

A Gao, K Rea, M Schellekens - 2011 Sixth International …, 2011 - ieeexplore.ieee.org
With the advancement of multi-core processors, parallel algorithms especially multithreaded
algorithms, are of increasing importance to developers. The requirement for parallel …

Portable worst-case execution time analysis using Java byte code

G Bernat, A Burns, A Wellings - Proceedings 12th Euromicro …, 2000 - ieeexplore.ieee.org
Addresses the problem of performing worst-case execution time (WCET) analysis of Java
Byte Code (JBC), which may be generated from different compilers and from different source …

min-max heapify: A randomness preserving algorithm

A Gao, A Hennessy, M Schellekens - AIP Conference Proceedings, 2012 - pubs.aip.org
MOQA is a high-level data structuring language, designed to allow for modular static timing
analysis [1, 2, 3]. In essence, MOQA allows the programmer to determine the average …

Software performance tuning with the Apple CHUD tools

R Altherr, R Du Bois, L Hammond… - 2006 IEEE International …, 2006 - ieeexplore.ieee.org
Summary form only given. Many tools have been created to allow software engineers to
analyze the execution of their code. While tools such as gprof often work well, most are not …

METERG: Measurement-based end-to-end performance estimation technique in QoS-capable multiprocessors

JW Lee, K Asanovic - 12th IEEE Real-Time and Embedded …, 2006 - ieeexplore.ieee.org
Multiprocessor systems present serious challenges in the design of real-time systems due to
the wider variation of execution time of an instruction sequence compared to a uniprocessor …

Automated quality analysis of component software for embedded systems

JH Jahnke, J Niere, J Wadsack - Proceedings IWPC 2000. 8th …, 2000 - ieeexplore.ieee.org
The Java programming language has gained increasing importance for the development of
embedded systems. To be cost efficient, such systems have to cope with significant …

Interactive back-annotation of worst-case execution time analysis for Java microprocessors

T Harmon, R Klefstad - … and Real-Time Computing Systems and …, 2007 - ieeexplore.ieee.org
As real-time systems become more prevalent, there is a need to guarantee that these
increasingly complex systems perform as designed. One technique involves a static analysis …

[PDF][PDF] Towards modular average-case timing in real-time languages: an application to real-time Java

M Boubekeur, D Hickey, J Mc Enery… - Proceedings of the 6th …, 2006 - researchgate.net
In certain real-time systems worst-case execution time estimates often lead to a waste of
resources. In hard real-time systems these types of estimates are essential to guarantee …