Simic, Stella
Simic, Stella
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
Bit-precise Verification of Numerical Properties in Fixed-point Programs
2022 Simic, Stella
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
2021 Simic, S.; Inverso, O.; Tribastone, M.
Tight Error Analysis in Fixed-Point Arithmetic
2020 Simic, S.; Bemporad, A.; Inverso, O.; Tribastone, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Bit-precise Verification of Numerical Properties in Fixed-point Programs | 28-lug-2022 | Simic, Stella | |
| Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic | 1-gen-2021 | Simic, S.; Inverso, O.; Tribastone, M. | |
| Tight Error Analysis in Fixed-Point Arithmetic | 1-gen-2020 | Simic, S.; Bemporad, A.; Inverso, O.; Tribastone, M. |