scientific article

From MaRDI portal
Publication:2773752

zbMath0994.68186MaRDI QIDQ2773752

Israel Koren

Publication date: 27 February 2002


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (25)

Regular numeral systems for data structuresResidue-to-binary conversion for general moduli sets based on approximate Chinese remainder theoremAn efficient Montgomery exponentiation algorithm by using signed-digit-recoding and folding techniquesFormal proof of integer adders using all-prefix-sums operationFast modular multi-exponentiation using modified complex arithmeticFormal proof of prefix addersAn optimized quantum circuit for converting from sign-magnitude to two's complementOn the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple ExponentsBalanced non-adjacent formsAn efficient universal addition scheme for all hybrid-redundant representations with weighted bit-set encodingReciprocal and reciprocal square root units with operand modification and multiplicationIncremental column-wise verification of arithmetic circuits using computer algebraAn improved Chen's parity detection technique for the two-moduli setGenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification ToolsConstant-time sortingEfficient CRT-based residue-to-binary converter for the arbitrary moduli setFast exponentiation based on common-multiplicand-multiplication and minimal-signed-digit techniquesPrecise numerical computationAn efficient parity detection technique using the two-moduli set \(\{2^{h} - 1, 2^{h} + 1\}\)Efficient realization of large size two's complement multipliers using embedded blocks in FPGAsAn efficient common-multiplicand-multiplication method to the Montgomery algorithm for speeding up exponentiationNOVEL QUANTUM COMPRESSOR DESIGNS USING NEW GENETIC ALGORITHM-BASED SIMULATOR, ANALYZER AND SYNTHESIZER SOFTWARE IN NANOTECHNOLOGYFast exponentiation by folding the signed-digit exponent in halfRethinking arithmetic for deep neural networksFunctional verification of high performance adders in \textsc{Coq}






This page was built for publication: