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.2 |
| Imports: | purrr |
| Suggests: | knitr, rmarkdown |
| Published: | 2026-01-12 |
| 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 |
| Reference manual: | RESTK.html , RESTK.pdf |
| Package source: | RESTK_1.0.2.tar.gz |
| Windows binaries: | r-devel: RESTK_1.0.2.zip, r-release: RESTK_1.0.2.zip, r-oldrel: RESTK_1.0.2.zip |
| macOS binaries: | r-release (arm64): RESTK_1.0.2.tgz, r-oldrel (arm64): RESTK_1.0.2.tgz, r-release (x86_64): RESTK_1.0.2.tgz, r-oldrel (x86_64): RESTK_1.0.2.tgz |
| Old sources: | RESTK archive |
Please use the canonical form https://CRAN.R-project.org/package=RESTK to link to this page.
Need a high-speed mirror for your open-source project?
Contact our mirror admin team at info@clientvps.com.
This archive is provided as a free public service to the community.
Proudly supported by infrastructure from VPSPulse , RxServers , BuyNumber , UnitVPS , OffshoreName and secure payment technology by ArionPay.