Matches in SemOpenAlex for { <https://semopenalex.org/work/W2175500534> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2175500534 abstract "We present methods to generate systematically the hardest test cases for multiplication, division, and square root subject to directed rounding, essentially extending previous work on number-theoretic floating point testing to rounding modes other than to-nearest. The algorithms focus upon the rounding boundaries of the modes truncate, to-minus infinity, and to-infinity and programs based on them require little beyond exact arithmetic in the working precision to create billions of edge cases. We show that the amount of work required to calculate trial multiplicands pays off in the form of free extra tests due to an interconnection among the operations considered herein. Although these tests do not replace proofs of correctness, they can be used to gain a high degree of confidence that the accuracy requirements as mandated by IEEE Standard 754 have been satisfied." @default.
- W2175500534 created "2016-06-24" @default.
- W2175500534 creator A5045341706 @default.
- W2175500534 date "2003-01-20" @default.
- W2175500534 modified "2023-09-25" @default.
- W2175500534 title "Number-theoretic test generation for directed rounding" @default.
- W2175500534 cites W1503074869 @default.
- W2175500534 cites W1587217691 @default.
- W2175500534 cites W2979730858 @default.
- W2175500534 doi "https://doi.org/10.1109/arith.1999.762850" @default.
- W2175500534 hasPublicationYear "2003" @default.
- W2175500534 type Work @default.
- W2175500534 sameAs 2175500534 @default.
- W2175500534 citedByCount "20" @default.
- W2175500534 countsByYear W21755005342012 @default.
- W2175500534 countsByYear W21755005342014 @default.
- W2175500534 crossrefType "proceedings-article" @default.
- W2175500534 hasAuthorship W2175500534A5045341706 @default.
- W2175500534 hasBestOaLocation W21755005342 @default.
- W2175500534 hasConcept C108710211 @default.
- W2175500534 hasConcept C111919701 @default.
- W2175500534 hasConcept C11413529 @default.
- W2175500534 hasConcept C114614502 @default.
- W2175500534 hasConcept C11577676 @default.
- W2175500534 hasConcept C120665830 @default.
- W2175500534 hasConcept C121332964 @default.
- W2175500534 hasConcept C134306372 @default.
- W2175500534 hasConcept C136625980 @default.
- W2175500534 hasConcept C192209626 @default.
- W2175500534 hasConcept C2524010 @default.
- W2175500534 hasConcept C2780595030 @default.
- W2175500534 hasConcept C33923547 @default.
- W2175500534 hasConcept C41008148 @default.
- W2175500534 hasConcept C55439883 @default.
- W2175500534 hasConcept C60798267 @default.
- W2175500534 hasConcept C7321624 @default.
- W2175500534 hasConcept C94375191 @default.
- W2175500534 hasConceptScore W2175500534C108710211 @default.
- W2175500534 hasConceptScore W2175500534C111919701 @default.
- W2175500534 hasConceptScore W2175500534C11413529 @default.
- W2175500534 hasConceptScore W2175500534C114614502 @default.
- W2175500534 hasConceptScore W2175500534C11577676 @default.
- W2175500534 hasConceptScore W2175500534C120665830 @default.
- W2175500534 hasConceptScore W2175500534C121332964 @default.
- W2175500534 hasConceptScore W2175500534C134306372 @default.
- W2175500534 hasConceptScore W2175500534C136625980 @default.
- W2175500534 hasConceptScore W2175500534C192209626 @default.
- W2175500534 hasConceptScore W2175500534C2524010 @default.
- W2175500534 hasConceptScore W2175500534C2780595030 @default.
- W2175500534 hasConceptScore W2175500534C33923547 @default.
- W2175500534 hasConceptScore W2175500534C41008148 @default.
- W2175500534 hasConceptScore W2175500534C55439883 @default.
- W2175500534 hasConceptScore W2175500534C60798267 @default.
- W2175500534 hasConceptScore W2175500534C7321624 @default.
- W2175500534 hasConceptScore W2175500534C94375191 @default.
- W2175500534 hasLocation W21755005341 @default.
- W2175500534 hasLocation W21755005342 @default.
- W2175500534 hasOpenAccess W2175500534 @default.
- W2175500534 hasPrimaryLocation W21755005341 @default.
- W2175500534 hasRelatedWork W1539740569 @default.
- W2175500534 hasRelatedWork W1592303155 @default.
- W2175500534 hasRelatedWork W191585069 @default.
- W2175500534 hasRelatedWork W1941428497 @default.
- W2175500534 hasRelatedWork W1969007036 @default.
- W2175500534 hasRelatedWork W2006524842 @default.
- W2175500534 hasRelatedWork W2044141398 @default.
- W2175500534 hasRelatedWork W2059376007 @default.
- W2175500534 hasRelatedWork W2082696985 @default.
- W2175500534 hasRelatedWork W2104895541 @default.
- W2175500534 hasRelatedWork W2105365571 @default.
- W2175500534 hasRelatedWork W2105906722 @default.
- W2175500534 hasRelatedWork W2167330986 @default.
- W2175500534 hasRelatedWork W2414491252 @default.
- W2175500534 hasRelatedWork W2747444796 @default.
- W2175500534 hasRelatedWork W2889796855 @default.
- W2175500534 hasRelatedWork W2979730858 @default.
- W2175500534 hasRelatedWork W1889232587 @default.
- W2175500534 hasRelatedWork W1910018356 @default.
- W2175500534 hasRelatedWork W2817206139 @default.
- W2175500534 isParatext "false" @default.
- W2175500534 isRetracted "false" @default.
- W2175500534 magId "2175500534" @default.
- W2175500534 workType "article" @default.