| Name : R-RESTK
| |
| Version : 1.0.0
| Vendor : obs://build_opensuse_org/devel:languages:R
|
| Release : lp153.1.5
| Date : 2024-06-14 11:41:17
|
| Group : Development/Libraries/Other
| Source RPM : R-RESTK-1.0.0-lp153.1.5.src.rpm
|
| Size : 0.03 MB
| |
| Packager : (none)
| |
| Summary : An Implementation of the RESTK Algorithm
|
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.
< 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).
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/R:/autoCRAN/openSUSE_Leap_15.3/x86_64 |
