FRINK Linked Data Fragments server

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

• W2103953062 abstract "Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and specification language that explicitly includes different types of uncertainties. We then present a compilation algorithm that generates a finite-precision implementation that is guaranteed to meet the desired precision with respect to real numbers. Our compilation performs a number of verification steps for different candidate precisions. It generates verification conditions that treat all sources of uncertainties in a unified way and encode reasoning about finite-precision roundoff errors into reasoning about real numbers. Such verification conditions can be used as a standardized format for verifying the precision and the correctness of numerical programs. Due to their non-linear nature, precise reasoning about these verification conditions remains difficult and cannot be handled using state-of-the art SMT solvers alone. We therefore propose a new procedure that combines exact SMT solving over reals with approximate and sound affine and interval arithmetic. We show that this approach overcomes scalability limitations of SMT solvers while providing improved precision over affine and interval arithmetic. Our implementation gives promising results on several numerical models, including dynamical systems, transcendental functions, and controller implementations." @default.
• W2103953062 created "2016-06-24" @default.
• W2103953062 creator A5008699657 @default.
• W2103953062 creator A5053069388 @default.
• W2103953062 date "2014-01-08" @default.
• W2103953062 modified "2023-10-17" @default.
• W2103953062 title "Sound compilation of reals" @default.
• W2103953062 cites W1493060511 @default.
• W2103953062 cites W1518247129 @default.
• W2103953062 cites W1521746323 @default.
• W2103953062 cites W1541662587 @default.
• W2103953062 cites W1608230613 @default.
• W2103953062 cites W1672773028 @default.
• W2103953062 cites W1760358305 @default.
• W2103953062 cites W1824011918 @default.
• W2103953062 cites W1974368544 @default.
• W2103953062 cites W1977336460 @default.
• W2103953062 cites W1979693894 @default.
• W2103953062 cites W1986969990 @default.
• W2103953062 cites W1999990426 @default.
• W2103953062 cites W2020209480 @default.
• W2103953062 cites W2031326024 @default.
• W2103953062 cites W2038705805 @default.
• W2103953062 cites W2058064470 @default.
• W2103953062 cites W2080794684 @default.
• W2103953062 cites W2091723900 @default.
• W2103953062 cites W2096654515 @default.
• W2103953062 cites W2098156778 @default.
• W2103953062 cites W2107220315 @default.
• W2103953062 cites W2111990577 @default.
• W2103953062 cites W2114052185 @default.
• W2103953062 cites W2114614628 @default.
• W2103953062 cites W2115612093 @default.
• W2103953062 cites W2121050107 @default.
• W2103953062 cites W2131275552 @default.
• W2103953062 cites W2154687874 @default.
• W2103953062 cites W2161761474 @default.
• W2103953062 cites W2169004268 @default.
• W2103953062 cites W2226528584 @default.
• W2103953062 cites W3100198463 @default.
• W2103953062 cites W3105930569 @default.
• W2103953062 cites W4230556465 @default.
• W2103953062 cites W4237997615 @default.
• W2103953062 doi "https://doi.org/10.1145/2535838.2535874" @default.
• W2103953062 hasPublicationYear "2014" @default.
• W2103953062 type Work @default.
• W2103953062 sameAs 2103953062 @default.
• W2103953062 citedByCount "109" @default.
• W2103953062 countsByYear W21039530622013 @default.
• W2103953062 countsByYear W21039530622014 @default.
• W2103953062 countsByYear W21039530622015 @default.
• W2103953062 countsByYear W21039530622016 @default.
• W2103953062 countsByYear W21039530622017 @default.
• W2103953062 countsByYear W21039530622018 @default.
• W2103953062 countsByYear W21039530622019 @default.
• W2103953062 countsByYear W21039530622020 @default.
• W2103953062 countsByYear W21039530622021 @default.
• W2103953062 countsByYear W21039530622022 @default.
• W2103953062 countsByYear W21039530622023 @default.
• W2103953062 crossrefType "proceedings-article" @default.
• W2103953062 hasAuthorship W2103953062A5008699657 @default.
• W2103953062 hasAuthorship W2103953062A5053069388 @default.
• W2103953062 hasBestOaLocation W21039530622 @default.
• W2103953062 hasConcept C11413529 @default.
• W2103953062 hasConcept C134306372 @default.
• W2103953062 hasConcept C167315692 @default.
• W2103953062 hasConcept C169590947 @default.
• W2103953062 hasConcept C191252586 @default.
• W2103953062 hasConcept C199360897 @default.
• W2103953062 hasConcept C202444582 @default.
• W2103953062 hasConcept C206880738 @default.
• W2103953062 hasConcept C33923547 @default.
• W2103953062 hasConcept C34388435 @default.
• W2103953062 hasConcept C41008148 @default.
• W2103953062 hasConcept C48044578 @default.
• W2103953062 hasConcept C55439883 @default.
• W2103953062 hasConcept C77088390 @default.
• W2103953062 hasConcept C80444323 @default.
• W2103953062 hasConcept C83581934 @default.
• W2103953062 hasConcept C92757383 @default.
• W2103953062 hasConceptScore W2103953062C11413529 @default.
• W2103953062 hasConceptScore W2103953062C134306372 @default.
• W2103953062 hasConceptScore W2103953062C167315692 @default.
• W2103953062 hasConceptScore W2103953062C169590947 @default.
• W2103953062 hasConceptScore W2103953062C191252586 @default.
• W2103953062 hasConceptScore W2103953062C199360897 @default.
• W2103953062 hasConceptScore W2103953062C202444582 @default.
• W2103953062 hasConceptScore W2103953062C206880738 @default.
• W2103953062 hasConceptScore W2103953062C33923547 @default.
• W2103953062 hasConceptScore W2103953062C34388435 @default.
• W2103953062 hasConceptScore W2103953062C41008148 @default.
• W2103953062 hasConceptScore W2103953062C48044578 @default.
• W2103953062 hasConceptScore W2103953062C55439883 @default.
• W2103953062 hasConceptScore W2103953062C77088390 @default.
• W2103953062 hasConceptScore W2103953062C80444323 @default.
• W2103953062 hasConceptScore W2103953062C83581934 @default.
• W2103953062 hasConceptScore W2103953062C92757383 @default.
• W2103953062 hasLocation W21039530621 @default.
• W2103953062 hasLocation W21039530622 @default.
• W2103953062 hasLocation W21039530623 @default.

• next