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