Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950716036> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2950716036 abstract "This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implications for control systems with safety-critical software, as these systems are now running fast enough and long enough for their errors to impact on their functionality. Furthermore, worst-case analysis would blindly advise the replacement of existing systems that have been successfully running for years. We present here a set of formal theorems validated by the PVS proof assistant. These theorems will allow code analyzing tools to produce formal certificates of accurate behavior. For example, FAA regulations for aircraft require that the probability of an error be below $10^{-9}$ for a 10 hour flight." @default.
- W2950716036 created "2019-06-27" @default.
- W2950716036 creator A5025003300 @default.
- W2950716036 creator A5039574409 @default.
- W2950716036 date "2006-06-23" @default.
- W2950716036 modified "2023-09-23" @default.
- W2950716036 title "Stochastic Formal Methods: An application to accuracy of numeric software" @default.
- W2950716036 cites W144074862 @default.
- W2950716036 cites W1521083034 @default.
- W2950716036 cites W1967131543 @default.
- W2950716036 cites W1971947347 @default.
- W2950716036 cites W1976625337 @default.
- W2950716036 cites W1981663184 @default.
- W2950716036 cites W2093361468 @default.
- W2950716036 cites W2096350480 @default.
- W2950716036 cites W2116673421 @default.
- W2950716036 cites W2154231274 @default.
- W2950716036 cites W2170530248 @default.
- W2950716036 cites W2204310803 @default.
- W2950716036 cites W2318771191 @default.
- W2950716036 cites W2483775066 @default.
- W2950716036 cites W3098612775 @default.
- W2950716036 cites W3217753397 @default.
- W2950716036 hasPublicationYear "2006" @default.
- W2950716036 type Work @default.
- W2950716036 sameAs 2950716036 @default.
- W2950716036 citedByCount "0" @default.
- W2950716036 crossrefType "posted-content" @default.
- W2950716036 hasAuthorship W2950716036A5025003300 @default.
- W2950716036 hasAuthorship W2950716036A5039574409 @default.
- W2950716036 hasConcept C108710211 @default.
- W2950716036 hasConcept C11413529 @default.
- W2950716036 hasConcept C115903868 @default.
- W2950716036 hasConcept C177264268 @default.
- W2950716036 hasConcept C199360897 @default.
- W2950716036 hasConcept C2524010 @default.
- W2950716036 hasConcept C2776760102 @default.
- W2950716036 hasConcept C2777904410 @default.
- W2950716036 hasConcept C28719098 @default.
- W2950716036 hasConcept C33923547 @default.
- W2950716036 hasConcept C41008148 @default.
- W2950716036 hasConcept C75606506 @default.
- W2950716036 hasConcept C94461902 @default.
- W2950716036 hasConceptScore W2950716036C108710211 @default.
- W2950716036 hasConceptScore W2950716036C11413529 @default.
- W2950716036 hasConceptScore W2950716036C115903868 @default.
- W2950716036 hasConceptScore W2950716036C177264268 @default.
- W2950716036 hasConceptScore W2950716036C199360897 @default.
- W2950716036 hasConceptScore W2950716036C2524010 @default.
- W2950716036 hasConceptScore W2950716036C2776760102 @default.
- W2950716036 hasConceptScore W2950716036C2777904410 @default.
- W2950716036 hasConceptScore W2950716036C28719098 @default.
- W2950716036 hasConceptScore W2950716036C33923547 @default.
- W2950716036 hasConceptScore W2950716036C41008148 @default.
- W2950716036 hasConceptScore W2950716036C75606506 @default.
- W2950716036 hasConceptScore W2950716036C94461902 @default.
- W2950716036 hasOpenAccess W2950716036 @default.
- W2950716036 hasRelatedWork W132230280 @default.
- W2950716036 hasRelatedWork W13763539 @default.
- W2950716036 hasRelatedWork W1548937009 @default.
- W2950716036 hasRelatedWork W1557363488 @default.
- W2950716036 hasRelatedWork W1568191380 @default.
- W2950716036 hasRelatedWork W1602465399 @default.
- W2950716036 hasRelatedWork W1745992770 @default.
- W2950716036 hasRelatedWork W1995766701 @default.
- W2950716036 hasRelatedWork W2051356522 @default.
- W2950716036 hasRelatedWork W2052547909 @default.
- W2950716036 hasRelatedWork W2053323560 @default.
- W2950716036 hasRelatedWork W2095473904 @default.
- W2950716036 hasRelatedWork W2188057831 @default.
- W2950716036 hasRelatedWork W2292517751 @default.
- W2950716036 hasRelatedWork W2406114248 @default.
- W2950716036 hasRelatedWork W2465949211 @default.
- W2950716036 hasRelatedWork W2615208225 @default.
- W2950716036 hasRelatedWork W2743922485 @default.
- W2950716036 hasRelatedWork W2892031856 @default.
- W2950716036 hasRelatedWork W2130482150 @default.
- W2950716036 isParatext "false" @default.
- W2950716036 isRetracted "false" @default.
- W2950716036 magId "2950716036" @default.
- W2950716036 workType "article" @default.