Matches in SemOpenAlex for { <https://semopenalex.org/work/W2998103801> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2998103801 endingPage "149" @default.
- W2998103801 startingPage "137" @default.
- W2998103801 abstract "We start in this text with a very generic definition of floating point systems. We show that just a few very natural necessary conditions are sufficient to focus down to two classes of implemented floating point arithmetic. Later, we prove that, for all the existing implementations, high level properties such as Sterbenz's theorem are satisfied. We finish this text by focusing on the differences between an IEEE-754 compatible unit and Texas Instrument TMS/SMJ 320C3x digital signal processing circuit that is recommended for avionics and military applications. The results presented in this text have been validated by the Coq automatic proof checker to build confidence for later implementations in critical systems such as an aircraft flight control primary or secondary computer." @default.
- W2998103801 created "2020-01-10" @default.
- W2998103801 creator A5025003300 @default.
- W2998103801 creator A5031775383 @default.
- W2998103801 date "2002-01-01" @default.
- W2998103801 modified "2023-09-25" @default.
- W2998103801 title "Properties of the subtraction valid for any floating point system" @default.
- W2998103801 hasPublicationYear "2002" @default.
- W2998103801 type Work @default.
- W2998103801 sameAs 2998103801 @default.
- W2998103801 citedByCount "0" @default.
- W2998103801 crossrefType "proceedings-article" @default.
- W2998103801 hasAuthorship W2998103801A5025003300 @default.
- W2998103801 hasAuthorship W2998103801A5031775383 @default.
- W2998103801 hasConcept C108710211 @default.
- W2998103801 hasConcept C120665830 @default.
- W2998103801 hasConcept C121332964 @default.
- W2998103801 hasConcept C127413603 @default.
- W2998103801 hasConcept C137231763 @default.
- W2998103801 hasConcept C146978453 @default.
- W2998103801 hasConcept C15792166 @default.
- W2998103801 hasConcept C192209626 @default.
- W2998103801 hasConcept C199360897 @default.
- W2998103801 hasConcept C203265346 @default.
- W2998103801 hasConcept C2524010 @default.
- W2998103801 hasConcept C26713055 @default.
- W2998103801 hasConcept C28719098 @default.
- W2998103801 hasConcept C33923547 @default.
- W2998103801 hasConcept C41008148 @default.
- W2998103801 hasConcept C84211073 @default.
- W2998103801 hasConcept C94375191 @default.
- W2998103801 hasConceptScore W2998103801C108710211 @default.
- W2998103801 hasConceptScore W2998103801C120665830 @default.
- W2998103801 hasConceptScore W2998103801C121332964 @default.
- W2998103801 hasConceptScore W2998103801C127413603 @default.
- W2998103801 hasConceptScore W2998103801C137231763 @default.
- W2998103801 hasConceptScore W2998103801C146978453 @default.
- W2998103801 hasConceptScore W2998103801C15792166 @default.
- W2998103801 hasConceptScore W2998103801C192209626 @default.
- W2998103801 hasConceptScore W2998103801C199360897 @default.
- W2998103801 hasConceptScore W2998103801C203265346 @default.
- W2998103801 hasConceptScore W2998103801C2524010 @default.
- W2998103801 hasConceptScore W2998103801C26713055 @default.
- W2998103801 hasConceptScore W2998103801C28719098 @default.
- W2998103801 hasConceptScore W2998103801C33923547 @default.
- W2998103801 hasConceptScore W2998103801C41008148 @default.
- W2998103801 hasConceptScore W2998103801C84211073 @default.
- W2998103801 hasConceptScore W2998103801C94375191 @default.
- W2998103801 hasLocation W29981038011 @default.
- W2998103801 hasOpenAccess W2998103801 @default.
- W2998103801 hasPrimaryLocation W29981038011 @default.
- W2998103801 hasRelatedWork W1508571285 @default.
- W2998103801 hasRelatedWork W167548201 @default.
- W2998103801 hasRelatedWork W1971703340 @default.
- W2998103801 hasRelatedWork W1985135630 @default.
- W2998103801 hasRelatedWork W2073517926 @default.
- W2998103801 hasRelatedWork W2076717173 @default.
- W2998103801 hasRelatedWork W2078503158 @default.
- W2998103801 hasRelatedWork W2087453419 @default.
- W2998103801 hasRelatedWork W2106801606 @default.
- W2998103801 hasRelatedWork W2128281091 @default.
- W2998103801 hasRelatedWork W2147639978 @default.
- W2998103801 hasRelatedWork W2155673213 @default.
- W2998103801 hasRelatedWork W2184478918 @default.
- W2998103801 hasRelatedWork W2997734412 @default.
- W2998103801 hasRelatedWork W3020729269 @default.
- W2998103801 hasRelatedWork W3098597065 @default.
- W2998103801 hasRelatedWork W324418261 @default.
- W2998103801 hasRelatedWork W752568445 @default.
- W2998103801 hasRelatedWork W2340853509 @default.
- W2998103801 hasRelatedWork W2551094850 @default.
- W2998103801 isParatext "false" @default.
- W2998103801 isRetracted "false" @default.
- W2998103801 magId "2998103801" @default.
- W2998103801 workType "article" @default.