Other packages > Find by keyword >

RESTK  

An Implementation of the RESTK Algorithm
View on CRAN: Click here


Download and install RESTK package within the R console
Install from CRAN:
install.packages("RESTK")

Install from Github:
library("remotes")
install_github("cran/RESTK")

Install by package version:
library("remotes")
install_version("RESTK", "1.0.2")



Attach the package and use:
library("RESTK")
Maintained by
Sergi Vilardell
[Scholar Profile | Author Map]
All associated links for this package
First Published: 2023-08-22
Latest Update: 2025-03-12
Description:
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. . 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).
How to cite:
Sergi Vilardell (2023). RESTK: An Implementation of the RESTK Algorithm. R package version 1.0.2, https://cran.r-project.org/web/packages/RESTK. Accessed 07 Mar. 2026.
Previous versions and publish date:
1.0.0 (2023-08-22 20:20), 1.0.1 (2025-03-12 16:50)
Other packages that cited RESTK R package
View RESTK citation profile
Other R packages that RESTK depends, imports, suggests or enhances
Complete documentation for RESTK
Functions, R codes and Examples using the RESTK R package
Full RESTK package functions and examples
Downloads during the last 30 days

Today's Hot Picks in Authors and Packages

testDriveR  
Teaching Data for Statistics and Data Science
Provides data sets for teaching statistics and data science courses. It includes a sample of data f ...
Download / Learn more Package Citations See dependency  
lmSubsets  
Exact Variable-Subset Selection in Linear Regression
Exact and approximation algorithms for variable-subset selection in ordinary linear regression mode ...
Download / Learn more Package Citations See dependency  
portalr  
Create Useful Summaries of the Portal Data
Download and generate summaries for the rodent, plant, ant, and weather data from the Portal Projec ...
Download / Learn more Package Citations See dependency  
SAMtool  
Stock Assessment Methods Toolkit
Simulation tools for closed-loop simulation are provided for the 'MSEtool' operating model to inform ...
Download / Learn more Package Citations See dependency  
nextGenShinyApps  
Craft Exceptional 'R Shiny' Applications and Dashboards with Novel Responsive Tools
Nove responsive tools for designing and developing 'Shiny' dashboards and applications. The scripts ...
Download / Learn more Package Citations See dependency  
ReviewR  
A Light-Weight, Portable Tool for Reviewing Individual Patient Records
A portable Shiny tool to explore patient-level electronic health record data and perform chart revi ...
Download / Learn more Package Citations See dependency  

26,264

R Packages

223,360

Dependencies

70,376

Author Associations

26,265

Publication Badges

© Copyright since 2022. All right reserved, rpkg.net.  Based in Cambridge, Massachusetts, USA