Quantifying Timing Leaks and Cost Optimisation

Alessandra Di Pierro Chris Hankin Herbert Wiklicky Quantifying Timing Leaks and Cost Optimisation http://arxiv.org/abs/0807.3879 2008 CoRR abs/0807.3879 db/journals/corr/corr0807.html#abs-0807-3879 informal publication