RESTK is an implementation of the algorithm to upper-bound extremely high quantiles using Markov's inequality to the power-of-k for probabilistic WCET.
Further details can be found in this publication: https://drops.dagstuhl.de/opus/volltexte/2022/16337/
Contact:
Sergi Vilardell (sergi.vilardell@bsc.es)
License:
GPL License (Version 3.0)
Primary tabs
