get_min_maxk

<code>get_min_maxk</code> get the minimum maxk from a set of maxks and tightness

RESTK

Implementation of the RESTK algorithm based on Markov's Inequality from Vilardell, Sergi, Serra, Isabel, Mezzetti, Enrico, Abella, Jaume, Cazorla, Francisco J. and Del Castillo, J. (2022). "Using Markov's Inequality with Power-Of-k Function for Probabilistic WCET Estimation". In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs) 231 20:1-20:24. <doi:10.4230/LIPIcs.ECRTS.2022.20>. This work has been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No. 772773).

Sergi Vilardell

An Implementation of the RESTK Algorithm

get_min_maxk function

<dl><dt>samp_tightness</dt>
<dd>tightness from a given sample and maxk</dd>
<dt>k_seq</dt>
<dd>sequence of maxk to evaluate</dd></dl>

Arguments

Get the minimum maxk — get_min_maxk

<dl>

<dt>samp_tightness</dt>
<dd>tightness from a given sample and maxk</dd>


<dt>k_seq</dt>
<dd>sequence of maxk to evaluate</dd>

</dl>

get_min_maxk: Get the minimum maxk

Description

Usage

Value

Arguments

Examples