Download now Free registration required
The Average-Case Execution Time Tool (ACETT) removes barriers to (semi-)automated average-case analysis. This is the result of an intensive investigation into a main open problem on bridging Programming Languages (Semantics) and Timing (Complexity) stated at the IFIP2000 conference on exploring new frontiers of Theoretical Informatics. The authors believe that the techniques which emerged and drastically improved (semi-)automated average-case time analysis may be of interest to the Real-Time community and would like to share their findings in order to obtain valuable feedback from the community. The main goal of this paper is to summarize the findings of [Sch04] for the RT-community.
- Format: PDF
- Size: 105.4 KB