The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

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

Version: 1.0.0
Imports: purrr
Suggests: knitr, rmarkdown
Published: 2023-08-22
DOI: 10.32614/CRAN.package.RESTK
Author: Sergi Vilardell [aut, cre]
Maintainer: Sergi Vilardell <sergi.vilardell at bsc.es>
License: GPL-3
NeedsCompilation: no
CRAN checks: RESTK results

Documentation:

Reference manual: RESTK.pdf

Downloads:

Package source: RESTK_1.0.0.tar.gz
Windows binaries: r-devel: RESTK_1.0.0.zip, r-release: RESTK_1.0.0.zip, r-oldrel: RESTK_1.0.0.zip
macOS binaries: r-release (arm64): RESTK_1.0.0.tgz, r-oldrel (arm64): RESTK_1.0.0.tgz, r-release (x86_64): RESTK_1.0.0.tgz, r-oldrel (x86_64): RESTK_1.0.0.tgz

Linking:

Please use the canonical form https://CRAN.R-project.org/package=RESTK to link to this page.

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.