FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963928453> ?p ?o ?g. }

• W2963928453 abstract "State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy as they do not take into account the magnitude of the computed values. Relative errors, which compute errors relative to the value's magnitude, are thus preferable. While today's tools do report relative error bounds, these are merely computed via absolute errors and thus not necessarily tight or more informative. Furthermore, whenever the computed value is close to zero on part of the domain, the tools do not report any relative error estimate at all. Surprisingly, the quality of relative error bounds computed by today's tools has not been systematically studied or reported to date. In this paper, we investigate how state-of-the-art static techniques for computing sound absolute error bounds can be used, extended and combined for the computation of relative errors. Our experiments on a standard benchmark set show that computing relative errors directly, as opposed to via absolute errors, is often beneficial and can provide error estimates up to six orders of magnitude tighter, i.e. more accurate. We also show that interval subdivision, another commonly used technique to reduce over-approximations, has less benefit when computing relative errors directly, but it can help to alleviate the effects of the inherent issue of relative error estimates close to zero." @default.
• W2963928453 created "2019-07-30" @default.
• W2963928453 creator A5017214514 @default.
• W2963928453 creator A5053069388 @default.
• W2963928453 date "2017-10-01" @default.
• W2963928453 modified "2023-09-27" @default.
• W2963928453 title "On sound relative error bounds for floating-point arithmetic" @default.
• W2963928453 cites W1493060511 @default.
• W2963928453 cites W1518247129 @default.
• W2963928453 cites W1824011918 @default.
• W2963928453 cites W1849426162 @default.
• W2963928453 cites W1986969990 @default.
• W2963928453 cites W1999470254 @default.
• W2963928453 cites W2021344963 @default.
• W2963928453 cites W2061091230 @default.
• W2963928453 cites W2080575293 @default.
• W2963928453 cites W2080794684 @default.
• W2963928453 cites W2081368694 @default.
• W2963928453 cites W2103953062 @default.
• W2963928453 cites W2122738744 @default.
• W2963928453 cites W2127145687 @default.
• W2963928453 cites W2130920933 @default.
• W2963928453 cites W2131798279 @default.
• W2963928453 cites W2147177731 @default.
• W2963928453 cites W2251636819 @default.
• W2963928453 cites W2287505824 @default.
• W2963928453 cites W2295915207 @default.
• W2963928453 cites W2299696796 @default.
• W2963928453 cites W2410059737 @default.
• W2963928453 cites W2610467942 @default.
• W2963928453 doi "https://doi.org/10.23919/fmcad.2017.8102236" @default.
• W2963928453 hasPublicationYear "2017" @default.
• W2963928453 type Work @default.
• W2963928453 sameAs 2963928453 @default.
• W2963928453 citedByCount "14" @default.
• W2963928453 countsByYear W29639284532018 @default.
• W2963928453 countsByYear W29639284532019 @default.
• W2963928453 countsByYear W29639284532020 @default.
• W2963928453 countsByYear W29639284532021 @default.
• W2963928453 countsByYear W29639284532023 @default.
• W2963928453 crossrefType "proceedings-article" @default.
• W2963928453 hasAuthorship W2963928453A5017214514 @default.
• W2963928453 hasAuthorship W2963928453A5053069388 @default.
• W2963928453 hasBestOaLocation W29639284532 @default.
• W2963928453 hasConcept C10138342 @default.
• W2963928453 hasConcept C11413529 @default.
• W2963928453 hasConcept C114614502 @default.
• W2963928453 hasConcept C121332964 @default.
• W2963928453 hasConcept C122383733 @default.
• W2963928453 hasConcept C126691448 @default.
• W2963928453 hasConcept C1276947 @default.
• W2963928453 hasConcept C13280743 @default.
• W2963928453 hasConcept C134306372 @default.
• W2963928453 hasConcept C162324750 @default.
• W2963928453 hasConcept C177264268 @default.
• W2963928453 hasConcept C185798385 @default.
• W2963928453 hasConcept C191252586 @default.
• W2963928453 hasConcept C199360897 @default.
• W2963928453 hasConcept C201236551 @default.
• W2963928453 hasConcept C203739276 @default.
• W2963928453 hasConcept C205649164 @default.
• W2963928453 hasConcept C2778067643 @default.
• W2963928453 hasConcept C33923547 @default.
• W2963928453 hasConcept C34388435 @default.
• W2963928453 hasConcept C41008148 @default.
• W2963928453 hasConcept C45374587 @default.
• W2963928453 hasConcept C61005703 @default.
• W2963928453 hasConcept C84211073 @default.
• W2963928453 hasConceptScore W2963928453C10138342 @default.
• W2963928453 hasConceptScore W2963928453C11413529 @default.
• W2963928453 hasConceptScore W2963928453C114614502 @default.
• W2963928453 hasConceptScore W2963928453C121332964 @default.
• W2963928453 hasConceptScore W2963928453C122383733 @default.
• W2963928453 hasConceptScore W2963928453C126691448 @default.
• W2963928453 hasConceptScore W2963928453C1276947 @default.
• W2963928453 hasConceptScore W2963928453C13280743 @default.
• W2963928453 hasConceptScore W2963928453C134306372 @default.
• W2963928453 hasConceptScore W2963928453C162324750 @default.
• W2963928453 hasConceptScore W2963928453C177264268 @default.
• W2963928453 hasConceptScore W2963928453C185798385 @default.
• W2963928453 hasConceptScore W2963928453C191252586 @default.
• W2963928453 hasConceptScore W2963928453C199360897 @default.
• W2963928453 hasConceptScore W2963928453C201236551 @default.
• W2963928453 hasConceptScore W2963928453C203739276 @default.
• W2963928453 hasConceptScore W2963928453C205649164 @default.
• W2963928453 hasConceptScore W2963928453C2778067643 @default.
• W2963928453 hasConceptScore W2963928453C33923547 @default.
• W2963928453 hasConceptScore W2963928453C34388435 @default.
• W2963928453 hasConceptScore W2963928453C41008148 @default.
• W2963928453 hasConceptScore W2963928453C45374587 @default.
• W2963928453 hasConceptScore W2963928453C61005703 @default.
• W2963928453 hasConceptScore W2963928453C84211073 @default.
• W2963928453 hasLocation W29639284531 @default.
• W2963928453 hasLocation W29639284532 @default.
• W2963928453 hasOpenAccess W2963928453 @default.
• W2963928453 hasPrimaryLocation W29639284531 @default.
• W2963928453 hasRelatedWork W122373347 @default.
• W2963928453 hasRelatedWork W2032140442 @default.
• W2963928453 hasRelatedWork W2054870455 @default.
• W2963928453 hasRelatedWork W2075472361 @default.

• next