Skip to content

RESTK

1.0.2

An Implementation of the RESTK Algorithm

0packages depend
3.8Kdownloads / year
test coverage
13/13checks pass

Overview

About
Maintained by Sergi VilardellFirst published 2023-08-223 releasesCRAN page ↗

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

Install

Health

CRAN checks
13OK
Slowest check: 53 s · r-release-windows-x86_64
Code health
None
Tests · ratio 0.00
not tracked
Coverage
100%
Documentation · exports
1
Dependencies · direct
Check history
  • OK2026-08-05
    13 OK · 0 NOTE · 0 WARNING · 0 ERROR · 0 FAILURE
  • NOTE2026-08-01
    12 OK · 1 NOTE · 0 WARNING · 0 ERROR · 0 FAILURE
  • OK2026-03-10
    14 OK · 0 NOTE · 0 WARNING · 0 ERROR · 0 FAILURE

Documentation

Documentation
READMENoVignettesNopkgdown siteNoNEWSNoCode of conductNoContributing guideNo
Examples that run
100%
Documented parameters
100%
Return-value docs
100%
References docs
0%

Downloads

3.8K
CRAN downloads in the past year
Rank #9,949 · ~11/day · ~320/mo
Daily download trend is not available in this view yet.
16830 days
95090 days
3.8K1 year
Compare downloads with other packages →
Also on102 r2u11 autocran

Dependencies

Declared dependencies
3 external dependencies (excludes base and recommended)
Depends (0)
none
Imports (1)
LinkingTo (0)
none
Suggests (2)
Enhances (0)
none
Reverse dependencies
0direct
0indirect

Nothing depends on this yet.

Code & Tests

People & History

People (1)
Maintainer (1)
Author, Maintainer
Authors (1)
Author, Maintainer
Package Timeline

3 releases. Pick two to compare their code metrics. R releases are shown for context.

  • R
    R 4.6.0 released · 2026-04-24
  • 1.0.2Latest
    2026-01-12 · current release · diff ↗
  • R
    R 4.5.0 released · 2025-04-11
  • 1.0.1
    2025-03-12 · diff ↗
  • R
    R 4.4.0 released · 2024-04-24
  • 1.0.0
    2023-08-22
  • R
    R 4.3.0 released · 2023-04-21

Package metadata

First published
2023-08-22
Total releases
3 / 3 yrs
License
GPL-3 OSI
Download size
5.6 KB
Installed size
not tracked yet
With dependencies
not tracked yet

Cite

Cite this package

Run in R for the authors' preferred citation:

citation("RESTK")
Vilardell, S. (2026). RESTK: An Implementation of the RESTK Algorithm (Version 1.0.2) [Computer software]. https://doi.org/10.32614/CRAN.package.RESTK

This is what citation() produces when a package has no citation file of its own. If it prints something else, use that.

Cite the R Observatory

For a number measured here: a download total, a coverage figure, an archival date.

APA

Balamuta, J. J. (2026). R Observatory: Metrics for RESTK version 1.0.2 [Data set]. HJJB, LLC. Data release v2026-08-22. https://doi.org/10.5281/zenodo.21843040

From data release v2026-08-22, which the citation names so these numbers can be found later. More on citing and the projects behind them.

Report a problem with this page →

Privacy choices

These apply to this browser and are stored on this device only. Nothing about your choice is sent to us.

Read the privacy policy