Static Probabilistic Timing Analysis for Multi-path Programs.

Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis

Browse the full RTSS paper archive.