Matches in SemOpenAlex for { <https://semopenalex.org/work/W1840254652> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1840254652 endingPage "78" @default.
- W1840254652 startingPage "64" @default.
- W1840254652 abstract "A parameterized definition of subtractive floating point division algorithms is presented and verified using PVS. The general algorithm is proven to satisfy a formal definition of an IEEE standard for floating point arithmetic. The utility of the general specification is illustrated using a number of different instances of the general algorithm." @default.
- W1840254652 created "2016-06-24" @default.
- W1840254652 creator A5057645049 @default.
- W1840254652 creator A5087711750 @default.
- W1840254652 date "1996-01-01" @default.
- W1840254652 modified "2023-10-17" @default.
- W1840254652 title "Verification of IEEE compliant subtractive division algorithms" @default.
- W1840254652 cites W1540641846 @default.
- W1840254652 cites W2029932273 @default.
- W1840254652 cites W2081371283 @default.
- W1840254652 cites W2106462831 @default.
- W1840254652 cites W2113486906 @default.
- W1840254652 cites W2131177514 @default.
- W1840254652 cites W2157279226 @default.
- W1840254652 cites W4234761416 @default.
- W1840254652 doi "https://doi.org/10.1007/bfb0031800" @default.
- W1840254652 hasPublicationYear "1996" @default.
- W1840254652 type Work @default.
- W1840254652 sameAs 1840254652 @default.
- W1840254652 citedByCount "26" @default.
- W1840254652 crossrefType "book-chapter" @default.
- W1840254652 hasAuthorship W1840254652A5057645049 @default.
- W1840254652 hasAuthorship W1840254652A5087711750 @default.
- W1840254652 hasBestOaLocation W18402546522 @default.
- W1840254652 hasConcept C11413529 @default.
- W1840254652 hasConcept C137231763 @default.
- W1840254652 hasConcept C142362112 @default.
- W1840254652 hasConcept C150799807 @default.
- W1840254652 hasConcept C153349607 @default.
- W1840254652 hasConcept C165464430 @default.
- W1840254652 hasConcept C190715199 @default.
- W1840254652 hasConcept C2524010 @default.
- W1840254652 hasConcept C28719098 @default.
- W1840254652 hasConcept C33923547 @default.
- W1840254652 hasConcept C41008148 @default.
- W1840254652 hasConcept C60798267 @default.
- W1840254652 hasConcept C84211073 @default.
- W1840254652 hasConcept C94375191 @default.
- W1840254652 hasConceptScore W1840254652C11413529 @default.
- W1840254652 hasConceptScore W1840254652C137231763 @default.
- W1840254652 hasConceptScore W1840254652C142362112 @default.
- W1840254652 hasConceptScore W1840254652C150799807 @default.
- W1840254652 hasConceptScore W1840254652C153349607 @default.
- W1840254652 hasConceptScore W1840254652C165464430 @default.
- W1840254652 hasConceptScore W1840254652C190715199 @default.
- W1840254652 hasConceptScore W1840254652C2524010 @default.
- W1840254652 hasConceptScore W1840254652C28719098 @default.
- W1840254652 hasConceptScore W1840254652C33923547 @default.
- W1840254652 hasConceptScore W1840254652C41008148 @default.
- W1840254652 hasConceptScore W1840254652C60798267 @default.
- W1840254652 hasConceptScore W1840254652C84211073 @default.
- W1840254652 hasConceptScore W1840254652C94375191 @default.
- W1840254652 hasLocation W18402546521 @default.
- W1840254652 hasLocation W18402546522 @default.
- W1840254652 hasOpenAccess W1840254652 @default.
- W1840254652 hasPrimaryLocation W18402546521 @default.
- W1840254652 hasRelatedWork W1521083034 @default.
- W1840254652 hasRelatedWork W1522486882 @default.
- W1840254652 hasRelatedWork W1534850143 @default.
- W1840254652 hasRelatedWork W1540641846 @default.
- W1840254652 hasRelatedWork W1566914742 @default.
- W1840254652 hasRelatedWork W1595501494 @default.
- W1840254652 hasRelatedWork W1778289469 @default.
- W1840254652 hasRelatedWork W1797813716 @default.
- W1840254652 hasRelatedWork W2094831575 @default.
- W1840254652 hasRelatedWork W2099078002 @default.
- W1840254652 hasRelatedWork W2099571283 @default.
- W1840254652 hasRelatedWork W2106462831 @default.
- W1840254652 hasRelatedWork W2108236931 @default.
- W1840254652 hasRelatedWork W2108776769 @default.
- W1840254652 hasRelatedWork W2113486906 @default.
- W1840254652 hasRelatedWork W2126691011 @default.
- W1840254652 hasRelatedWork W2131933762 @default.
- W1840254652 hasRelatedWork W2142785890 @default.
- W1840254652 hasRelatedWork W2143166621 @default.
- W1840254652 hasRelatedWork W2157279226 @default.
- W1840254652 isParatext "false" @default.
- W1840254652 isRetracted "false" @default.
- W1840254652 magId "1840254652" @default.
- W1840254652 workType "book-chapter" @default.