Results 21 to 30 of about 3,246,226 (345)

New Residue Number System Scaler for the Three-Moduli Set {2n+1 − 1, 2n, 2n − 1}

Computers, 2018
This work proposes the first scaler designed specifically for the three-moduli set M 1 = { 2 n + 1 − 1 , 2 n , 2 n − 1 } . Hence, there is no other functionally similar scaler to compare the proposed scaler with.
Ahmad Hiasat
doaj   +1 more source

A Note on the Reproducibility of Chaos Simulation

Entropy, 2020
An evergreen scientific feature is the ability for scientific works to be reproduced. Since chaotic systems are so hard to understand analytically, numerical simulations assume a key role in their investigation.
Thalita E. Nazaré, Erivelton G. Nepomuceno, Samir A. M. Martins, Denis N. Butusov   +3 more
doaj   +1 more source

A Survey of Satisfiability Modulo Theory [PDF]

, 2016
Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories.
A Albarghouthi, A Haken, A Maréchal, A Schrijver, AR Bradley, B Dutertre, D Handelman, D Jovanović, D Kroening, D Monniaux, D Monniaux, D Monniaux, DY Grigor’ev, G Faure, G Winskel, GB Dantzig, GE Collins, H Unno, I Dillig, J Christ, J Ferrante, J Henry, JC King, KL McMillan, KL McMillan, KL McMillan, L Dai, L Moura de, M Armand, M Brain, N Bjørner, P Cuoq, R Loos, R Sebastiani, R Sharma, S Basu, S Böhme, S Cotton   +37 more
core   +2 more sources

Towards Formulation of a Complex Binary Number System

Sultan Qaboos University Journal for Science, 2002
For years complex numbers have been treated as distant relatives of real numbers despite their widespread applications in the fields of electrical and computer engineering.
Tariq Jamil, David Blest, Amer Al-Habsi
doaj   +1 more source

Efficient programmable power‐of‐two scaler for the three‐moduli set {2

ETRI Journal, 2020
Scaling is an important operation because of the iterative nature of arithmetic processes in digital signal processors (DSPs). In residue number system (RNS)–based DSPs, scaling represents a performance bottleneck based on the complexity of inter‐modulo ...
MohammadReza Taheri, Keivan Navi, Amir Sabbagh Molahosseini   +2 more
doaj   +1 more source

From static ternary adders to high-performance race-free dynamic ones

The Journal of Engineering, 2015
This study explores the suitability of dynamic logic style in ternary logic. It presents high-performance dynamic ternary half and full adders, which are essential components in computer arithmetic.
Shirin Rezaie, Reza Faghih Mirzaee, Keivan Navi, Keivan Navi, Omid Hashemipour   +4 more
doaj   +1 more source

Some Remarks about Entropy of Digital Filtered Signals

Entropy, 2020
The finite numerical resolution of digital number representation has an impact on the properties of filters. Much effort has been done to develop efficient digital filters investigating the effects in the frequency response.
Vinícius S. Borges, Erivelton G. Nepomuceno, Carlos A. Duque, Denis N. Butusov   +3 more
doaj   +1 more source

Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

Моделирование и анализ информационных систем, 2018
The project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto the development of incremental combined approach to specification and verification of standard Mathematical functions ...
Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky   +4 more
doaj   +1 more source

Psychopathology of Arithmetical Computation [PDF]

The Journal of Nervous and Mental Disease, 1922
n ...
openaire   +2 more sources

Issues with rounding in the GCC implementation of the ISO 18037:2008 standard fixed-point arithmetic

, 2020
We describe various issues caused by the lack of round-to-nearest mode in the \textit{gcc} compiler implementation of the fixed-point arithmetic data types and operations.
Mikaitis, Mantas
core   +1 more source