„Computer Arithmetic“

Suchergebnisse

515 Treffer

• Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
  Ströder, Thomas ; Giesl, Jürgen ; Brockschmidt, Marc ; Frohn, Florian ; Fuhs, Carsten ; Hensel, Jera ; Schneider-Kamp, Peter ; Aschermann, Cornelius
• On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic
  G.-Tóth, Boglárka ; Casado, L. G. ; Hendrix, Eligius M. T. ; Messine, F.
• A nano-scale arithmetic and logic unit using a reversible logic and quantum-dots
  Navimipour, Nima Jafari ; Ahmadpour, Seyed-Sajad ; Yalcin, Senay
• Prediction of thermal conductivity of granitic rock: an application of arithmetic and salp swarm algorithms optimized ANN
  Lawal, Abiodun Ismail ; Kwon, Sangki ; Kim, Minju ; Aladejare, Adeyemi Emman ; Onifade, Moshood
• Daily breath-based mindfulness exercises in a randomized controlled trial improve primary school children’s performance in arithmetic
  Voltmer, Katharina ; Hondrich, Finja ; Salisch, Maria ˜vonœ
• Digit Pipelined Arithmetic for 3-D Massively Parallel Optoelectronic Circuits
  Fey, Dietmar ; Degenkolb, Marko
• Improved arithmetic optimization algorithm for design optimization of fuzzy controllers in steel building structures with nonlinear behavior considering near fault ground motion effects
  Azizi, Mahdi ; Talatahari, Siamak
• Fuzzy Time Series Models Using Pliant- and Asymptotically Pliant Arithmetic-Based Inference
  Dombi, József ; Jónás, Tamás ; Tóth, Zsuzsanna E.
• Efficient hardware accelerators for k-nearest neighbors classification using most significant digit first arithmetic
  Gorgin, Saeid ; Nisar, Malik Zohaib ; Lee, Jeong-A
• Multi-strategy arithmetic optimization algorithm for global optimization and uncertain motion tracking
  Gao, Zeng ; Zhuang, Yi ; Gu, Jingjing
• Turing Computability – Theory and Applications
  Soare, Robert I. 2016 Springer Berlin
• Modular arithmetic optimization in Kyber KEM
  Zelenetsky, A. S. ; Klyucharev, P. G.
• An interval arithmetic method for global optimization
  Ichida, K. ; Fujii, Y.
• Least significant bit evaluation of arithmetic expressions in single-precision
  Rump, S. M. ; Böhm, H.
• Arithmetically improved algorithmic performance
  Mascagni, M. ; Miranker, W. L.
• Accurate arithmetic results for decimal data on non-decimal computers
  Auzinger, W. ; Stetter, H. J.
• Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems
  Kearfott, R. Baker
• A measure for Ill-conditioning of matrices in interval arithmetic
  Zlámal, J.
• Formalization and implementation of floating-point arithmetics
  Kulisch, U.
• Error-bounds for zeroes of polynomials using complex circular arithmetic
  Frommer, A. ; Straub, W.