Simple analysis of partial worst-case execution paths on general control flow graphs
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |
MOQA is a new domain-specific programming language to design software for which the average-case time analysis of its programs is guaranteed to be modular. Time in this context refers to a broad notion of cost, which can be used to estimate the actual ...