„fixed-point arithmetic“

Suchergebnisse

1.000+ Treffer

• Optimal Design of Fixed-Point and Floating-Point Arithmetic Units for Scientific Applications
  Surapong Pongyupinpanich ; Glesner, Manfred ; Hübner, Michael ; Binder, Andreas ; Klingbeil, Harald ; Eveking, Hans 2012 Universitäts- und Landesbibliothek Darmstadt
• A nested MLMC framework for efficient simulations on FPGAs
  Haas, Irina-Beatrice ; Giles, Michael B.
• Cyclic Proofs for Arithmetical Inductive Definitions
  Das, Anupam ; Melgaard, Lukas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symmetric Computation (Invited Talk)
  Dawar, Anuj 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Certificate-Based Approach to Formally Verified Approximations
  Bréhard, Florent ; Mahboubi, Assia ; Pous, Damien 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Numbers and Computers
  Kneusel, Ronald T. 2015 Springer International Publishing
• Computer Arithmetic – Algorithms and Hardware Implementations
  Vlăduţiu, Mircea 2012 Springer Berlin
• Twisted conjugacy in soluble arithmetic groups
  Macedo Lins de Araujo, Paula ; Santos Rego, Yuri
• Formalization of Fixed-Point Arithmetic in HOL
  Akbarpour, Behzad ; Tahar, Sofiène ; Dekdouk, Abdelkader
• The arithmetic genus of the Hilbert modular variety and the elliptic fixed points of the Hilbert modular group
  Weisser, Daniel
• Intuitionistic Fixed Point Theories for Strictly Positive Operators
  Rüede, Christian ; Strahm, Thomas
• Quasi‐completeness and functions without fixed‐points
  Batyrshin, Ilnur I.
• Arithmetic functions and fixed points of powers of permutations
  Nathanson, Melvyn B.
• Linear Computation Coding: A Framework for Joint Quantization and Computing †
  Müller, Ralf Reiner ; Gäde, Bernhard Martin Wilhelm ; Bereyhi, Ali 2022 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• ISS Criterion for Lipschitz Nonlinear Interfered Fixed-Point Digital Filters with Saturation Overflow Arithmetic
  Rout, Janmejaya ; Kar, Haranath
• Numbers and Computers
  Kneusel, Ronald T. 2017 Springer International Publishing
• Unkeyed hash function based on chaotic sponge construction and fixed-point arithmetic
  Teh, Je Sen ; Alawida, Moatsum ; Ho, Jia Jie
• ISS Criterion for the Realization of Fixed-Point State-Space Digital Filters with Saturation Arithmetic and External Interference
  Kumar, Mani Kant ; Kar, Haranath
• Effect of Quantization Noise in Telecommunication Systems – Channel estimations with fixed-point arithmetic using MATLAB
  Regmi, Raju 2013 LAP LAMBERT Academic Publishing
• Optimal design of fixed-point and floating-point arithmetic units for scientific applications
  Surapong Pongyupinpanich