Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087453419> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W2087453419 abstract "Some floating-point applications use 64 bit double precision numbers but it is difficult to find a fast, cheap and small DSP-unit on such a precision. We propose to extend the available precision to any length and specially to create double precision arithmetic with a 32 bit single precision unit. We have developed algorithms and formal proofs of the addition, the multiplication and the division. The proofs have been checked with the Coq automatic proof checker. As a DSP may control a critical process, these proofs help build confidence in the program correctness." @default.
- W2087453419 created "2016-06-24" @default.
- W2087453419 creator A5025003300 @default.
- W2087453419 creator A5031775383 @default.
- W2087453419 date "2001-01-01" @default.
- W2087453419 modified "2023-09-25" @default.
- W2087453419 title "A mechanically-validated technique for extending the available precision" @default.
- W2087453419 cites W1595501494 @default.
- W2087453419 cites W1778289469 @default.
- W2087453419 cites W1997965419 @default.
- W2087453419 cites W2012407419 @default.
- W2087453419 cites W2099571283 @default.
- W2087453419 cites W2104380208 @default.
- W2087453419 cites W2119352997 @default.
- W2087453419 cites W2155673213 @default.
- W2087453419 cites W2163593765 @default.
- W2087453419 cites W2169004268 @default.
- W2087453419 cites W4234128184 @default.
- W2087453419 doi "https://doi.org/10.1109/acssc.2001.987700" @default.
- W2087453419 hasPublicationYear "2001" @default.
- W2087453419 type Work @default.
- W2087453419 sameAs 2087453419 @default.
- W2087453419 citedByCount "5" @default.
- W2087453419 countsByYear W20874534192012 @default.
- W2087453419 countsByYear W20874534192017 @default.
- W2087453419 crossrefType "proceedings-article" @default.
- W2087453419 hasAuthorship W2087453419A5025003300 @default.
- W2087453419 hasAuthorship W2087453419A5031775383 @default.
- W2087453419 hasConcept C41008148 @default.
- W2087453419 hasConceptScore W2087453419C41008148 @default.
- W2087453419 hasLocation W20874534191 @default.
- W2087453419 hasOpenAccess W2087453419 @default.
- W2087453419 hasPrimaryLocation W20874534191 @default.
- W2087453419 hasRelatedWork W2049775471 @default.
- W2087453419 hasRelatedWork W2093578348 @default.
- W2087453419 hasRelatedWork W2350741829 @default.
- W2087453419 hasRelatedWork W2358668433 @default.
- W2087453419 hasRelatedWork W2376932109 @default.
- W2087453419 hasRelatedWork W2382290278 @default.
- W2087453419 hasRelatedWork W2390279801 @default.
- W2087453419 hasRelatedWork W2748952813 @default.
- W2087453419 hasRelatedWork W2899084033 @default.
- W2087453419 hasRelatedWork W2530322880 @default.
- W2087453419 isParatext "false" @default.
- W2087453419 isRetracted "false" @default.
- W2087453419 magId "2087453419" @default.
- W2087453419 workType "article" @default.