Publications

Found 2 results
Filters: Author is Davis, Robert  [Clear All Filters]
2015
S. Altmeyer, Cucu-Grosjean, L., and Davis, R., “Static probabilistic timing analysis for real-time systems using random replacement caches”, Real-Time Systems, vol. 51, pp. 77-123, 2015.
2014
S. Altmeyer and Davis, R., “On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis”, in Proceedings Design, Automation and Test in Europe, Dresden, 2014.