Speeding up Static Probabilistic Timing Analysis

Suzana Milutinovic, Jaume Abella, Damien Hardy, Eduardo Quiñones, Isabelle Puaut, Francisco J. Cazorla. Speeding up Static Probabilistic Timing Analysis. In Luís Miguel Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte, editors, Architecture of Computing Systems - ARCS 2015 - 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings. Volume 9017 of Lecture Notes in Computer Science, pages 236-247, Springer, 2015. [doi]