Nothing
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).
Getting started
Browse package contents
Package details |
|
|---|---|
| Author | Sergi Vilardell [aut, cre] |
| Maintainer | Sergi Vilardell <sergi.vilardell@bsc.es> |
| License | GPL-3 |
| Version | 1.0.0 |
| Package repository | View on CRAN |
| Installation |
Install the latest version of this package by entering the following in R:
|
Try the RESTK package in your browser
Any scripts or data that you put into this service are public.
