Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.

Satoshi Kura Natsuki Urabe Ichiro Hasuo

Published in: CoRR (2018)

Keyphrases

probability theory
real time
computer programs
probability distribution
belief networks
significantly higher
static analysis
programming environment
information retrieval
lower bound
moment invariants
power law
randomized algorithm
extreme value theory