From: On the assessment of probabilistic WCET estimates reliability for arbitrary programs
ReVS | ||||
---|---|---|---|---|
\(R^{\prime }_{\mathrm {IL1}}\) | \(R^{\prime }_{\mathrm {DL1}}\) | R ′ | likelihood (R ′) | |
a2time | 78,930 | 1520 | 78,930 | <10−9 |
aifftr | 14,230 | 19,600 | 19,600 | <10−9 |
aifirf | 25,890 | 5400 | 25,890 | <10−9 |
aiifft | 18,030 | 46,230 | 46,230 | <10−9 |
basefp | 72,900 | 1700 | 72,900 | 1.0×10−8 |
bitmnp | 3670 | 4000 | 4000 | 1.7×10−8 |
canrdr | 17,750 | 10,000,000 | 10,000,000 | <10−9 |
idctrn | 65,460 | 58,860 | 65,460 | 1.1×10−9 |