Package: RESTK 1.0.1

Sergi Vilardell

RESTK: An Implementation of the RESTK Algorithm

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).

Authors:Sergi Vilardell [aut, cre]

RESTK_1.0.1.tar.gz
RESTK_1.0.1.tar.gz(r-4.5-noble)RESTK_1.0.1.tar.gz(r-4.4-noble)
RESTK_1.0.1.tgz(r-4.4-emscripten)RESTK_1.0.1.tgz(r-4.3-emscripten)
RESTK.pdf |RESTK.html✨
RESTK/json (API)

# Install 'RESTK' in R:
install.packages('RESTK', repos = 'https://cloud.r-project.org')

On CRAN:

Conda:

This package does not link to any Github/Gitlab/R-forge repository. No issue tracker or development information is available.

1.00 score 150 downloads 9 exports 7 dependencies

Last updated 21 days agofrom:f0577efc41. Checks:3 OK. Indexed: yes.

TargetResultLatest binary
Doc / VignettesOKMar 12 2025
R-4.5-linuxOKMar 12 2025
R-4.4-linuxOKMar 12 2025

Exports:compute_maxkestimate_quantiles_maxkget_min_maxklinear_adjustRESTKRESTK_trainingRESTK_validationsample_quantile_estimationtightness

Dependencies:cligluelifecyclemagrittrpurrrrlangvctrs

Citation

To cite package ‘RESTK’ in publications use:

Vilardell S (2025). RESTK: An Implementation of the RESTK Algorithm. R package version 1.0.1, https://CRAN.R-project.org/package=RESTK.

Corresponding BibTeX entry: 

  @Manual{,
    title = {RESTK: An Implementation of the RESTK Algorithm},
    author = {Sergi Vilardell},
    year = {2025},
    note = {R package version 1.0.1},
    url = {https://CRAN.R-project.org/package=RESTK},
  }