Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088144429> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2088144429 abstract "Arithmetic Transform (AT) [1, 16, 17] is an efficient spectral technique, to analyze range and precision of fixed-point polynomial datapaths, among other methods including AA [4, 15] and SMT [5]. However, the major inefficiency of AT is that it cannot handle the datapaths with comparator units, which imply the non-arithmetic if-statements. This paper presents the approach, Constrained Arithmetic Transform (CAT), to perform range and precision analysis of fixed-point datapaths with comparator units. A custom branch-and-bound search is also introduced to provide more cutting branches and perform faster analyses of range and precision, by making use of safe and negligible overestimations. Experimental results prove the efficiency of our approach." @default.
- W2088144429 created "2016-06-24" @default.
- W2088144429 creator A5007969269 @default.
- W2088144429 creator A5082560675 @default.
- W2088144429 date "2012-05-01" @default.
- W2088144429 modified "2023-09-27" @default.
- W2088144429 title "Verification of fixed-point datapaths with comparator units using Constrained Arithmetic Transform (CAT)" @default.
- W2088144429 cites W1971221279 @default.
- W2088144429 cites W2043168911 @default.
- W2088144429 cites W2083553720 @default.
- W2088144429 cites W2084363214 @default.
- W2088144429 cites W2102313638 @default.
- W2088144429 cites W2118230018 @default.
- W2088144429 cites W2119441456 @default.
- W2088144429 cites W2123273373 @default.
- W2088144429 cites W2123736966 @default.
- W2088144429 cites W2130070037 @default.
- W2088144429 cites W2141808364 @default.
- W2088144429 cites W2153316377 @default.
- W2088144429 cites W2154699063 @default.
- W2088144429 cites W2170621144 @default.
- W2088144429 cites W3145313321 @default.
- W2088144429 cites W3145632036 @default.
- W2088144429 doi "https://doi.org/10.1109/iscas.2012.6272100" @default.
- W2088144429 hasPublicationYear "2012" @default.
- W2088144429 type Work @default.
- W2088144429 sameAs 2088144429 @default.
- W2088144429 citedByCount "3" @default.
- W2088144429 countsByYear W20881444292013 @default.
- W2088144429 countsByYear W20881444292014 @default.
- W2088144429 countsByYear W20881444292015 @default.
- W2088144429 crossrefType "proceedings-article" @default.
- W2088144429 hasAuthorship W2088144429A5007969269 @default.
- W2088144429 hasAuthorship W2088144429A5082560675 @default.
- W2088144429 hasConcept C11413529 @default.
- W2088144429 hasConcept C119599485 @default.
- W2088144429 hasConcept C127413603 @default.
- W2088144429 hasConcept C134306372 @default.
- W2088144429 hasConcept C146978453 @default.
- W2088144429 hasConcept C155745195 @default.
- W2088144429 hasConcept C163973906 @default.
- W2088144429 hasConcept C164620267 @default.
- W2088144429 hasConcept C165801399 @default.
- W2088144429 hasConcept C173608175 @default.
- W2088144429 hasConcept C204323151 @default.
- W2088144429 hasConcept C33923547 @default.
- W2088144429 hasConcept C41008148 @default.
- W2088144429 hasConcept C76155785 @default.
- W2088144429 hasConcept C82876162 @default.
- W2088144429 hasConcept C83581934 @default.
- W2088144429 hasConcept C84211073 @default.
- W2088144429 hasConcept C90119067 @default.
- W2088144429 hasConcept C94375191 @default.
- W2088144429 hasConceptScore W2088144429C11413529 @default.
- W2088144429 hasConceptScore W2088144429C119599485 @default.
- W2088144429 hasConceptScore W2088144429C127413603 @default.
- W2088144429 hasConceptScore W2088144429C134306372 @default.
- W2088144429 hasConceptScore W2088144429C146978453 @default.
- W2088144429 hasConceptScore W2088144429C155745195 @default.
- W2088144429 hasConceptScore W2088144429C163973906 @default.
- W2088144429 hasConceptScore W2088144429C164620267 @default.
- W2088144429 hasConceptScore W2088144429C165801399 @default.
- W2088144429 hasConceptScore W2088144429C173608175 @default.
- W2088144429 hasConceptScore W2088144429C204323151 @default.
- W2088144429 hasConceptScore W2088144429C33923547 @default.
- W2088144429 hasConceptScore W2088144429C41008148 @default.
- W2088144429 hasConceptScore W2088144429C76155785 @default.
- W2088144429 hasConceptScore W2088144429C82876162 @default.
- W2088144429 hasConceptScore W2088144429C83581934 @default.
- W2088144429 hasConceptScore W2088144429C84211073 @default.
- W2088144429 hasConceptScore W2088144429C90119067 @default.
- W2088144429 hasConceptScore W2088144429C94375191 @default.
- W2088144429 hasLocation W20881444291 @default.
- W2088144429 hasOpenAccess W2088144429 @default.
- W2088144429 hasPrimaryLocation W20881444291 @default.
- W2088144429 hasRelatedWork W1601460517 @default.
- W2088144429 hasRelatedWork W1920437901 @default.
- W2088144429 hasRelatedWork W1943757049 @default.
- W2088144429 hasRelatedWork W1974596935 @default.
- W2088144429 hasRelatedWork W1999756811 @default.
- W2088144429 hasRelatedWork W2036141593 @default.
- W2088144429 hasRelatedWork W2088144429 @default.
- W2088144429 hasRelatedWork W2108606649 @default.
- W2088144429 hasRelatedWork W2295685520 @default.
- W2088144429 hasRelatedWork W3215589575 @default.
- W2088144429 isParatext "false" @default.
- W2088144429 isRetracted "false" @default.
- W2088144429 magId "2088144429" @default.
- W2088144429 workType "article" @default.