Treffer 1 - 20 von 954

1

Formal Verification of Quantized Neural Network
Vérification formelle de réseau de neurones quantizé

Bachiri, Wahiba ; Seladji, Yassamine ; Garoche, Pierre-Loïc ; et al.
2024 International Conference of the African Federation of Operational Research Societies (AFROS), Nov 2024, Tlemcen, Algeria. https://ieeexplore.ieee.org/document/11037165, ⟨10.1109/AFROS62115.2024.11037165⟩

Tlemcen, Algeria Quantized neural network Artificial Neural Networ... Satisfiability Modulo Th... Fixed-point arithmetic Formal Verification
Konferenz
Zu den Favoriten
2

On the Functional Properties of Automatically Generated Fixed-Point Controllers
Khalifa, Dorra ; Martel, Matthieu ; LAboratoire de Modélisation Pluridisciplinaire et Simulations (LAMPS) ; et al.
9th International Conference on Control, Decision and Information Technologies, Jul 2023, Rome, Italy

Rome, Italy Precision Tuning Fixed-p... Precision Tuning Fixed-point arithmetic Code Generation PID Controller
Konferenz
Zu den Favoriten
3

Approximations in Deep Learning
Dupuis, Etienne ; Filip, Silviu-Ioan ; Sentieys, Olivier ; et al.
Approximate Computing Techniques - From Component- to Application-Level. :467-512

Deep neural networks Low power High performance Low energy Support for approximatio... Floating-point arithmeti...
Buch
Zu den Favoriten
4

Improved arithmetic efficiency in TFHE through gate-level optimizations
Taşel, Faris Serdar ; Saran, Ayşe Nurdan
The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use. 81(18)

Fachzeitschrift
Zu den Favoriten
5

On the convergence of the gradient descent method with stochastic fixed-point rounding errors under the Polyak–Łojasiewicz inequality
Lu Xia ; Stefano Massei ; Michiel E. Hochstenbach
Computational Optimization and Applications. 90:753-799

Low-precision FOS: Computer and inform... Computer Science - Machi... Gradient descent Machine Learning (stat.M... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
6

Automated Fixed-Point Precision Optimization for FPGA Synthesis
Inès Winandy ; Arnaud Dion ; Florent Manni ; et al.
IEEE Open Journal of Circuits and Systems, Vol 6, Pp 192-204 (2025)

floating-point arithmeti... static analysis Electric apparatus and m... field-programmable gate... TK452-454.4 Fixed-point arithmetic
Fachzeitschrift
Zu den Favoriten
7

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm
Boldo, Sylvie ; Gallois-Wong, Diane ; Hilaire, Thibault ; et al.
ARITH 2020 - IEEE 27th Symposium on Computer Arithmetic. :9-16

Portland, United States Fixed-Point Arithmetic Odd Rounding Correct Round- ing Sum-of-Products Dot Product
Konferenz
Zu den Favoriten
8

Enhancing a Hearing Aid Processor with ISA Extensions Supporting Flexible Fixed-Point Formats
Karrenbauer, Jens ; Schönewald, Sven ; Klein, Simon ; et al.
2024 IEEE 35th International Conference on Application-specific Systems, Architectures and Processors (ASAP). :176-183

MATLAB SmartHeaP CMAC fixed-point arithmetic Tensilica CORDIC
Fachzeitschrift
Zu den Favoriten
9

Formal Verification of a State-of-the-Art Integer Square Root
Melquiond, Guillaume ; Rieu-Helft, Raphaël ; Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) ; et al.
ARITH-26 2019 - 26th IEEE 26th Symposium on Computer Arithmetic. :183-186

Kyoto, Japan Formal verification Fixed-point arithmetic [INFO.INFO-AO]Computer S... Computer Arithmetic [INFO.INFO-LO]Computer S...
Konferenz
Zu den Favoriten
10

Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
Hilaire, Thibault ; Ouzia, Hacène ; Lopez, Benoit ; et al.
ARITH 2019 - IEEE 26th Symposium on Computer Arithmetic. :175-182

Kyoto, Japan fixed-point arithmetic word-length allocation [INFO.INFO-AO]Computer S... Computer Arithmetic [SPI.SIGNAL]Engineering...
Konferenz
Zu den Favoriten
11

Fixed-Point Code Synthesis Based on Constraint Generation
Bessaï, Sofiane ; Ben Khalifa, Dorra ; Benmaghnia, Hanane ; et al.
Workshop on Design and Architectures for Signal and Image Processing, Jun 2022, Budapest, Hungary

Budapest, Hungary Fixed-point arithmetic code synthesis precision tuning linear programming static analysis
Konferenz
Zu den Favoriten
12

Design insights for implementing a PRNG with fractional Lorenz system on ESP32 and FPGA
de la Fraga, Luis Gerardo ; Tlelo-Cuautle, Esteban
In Integration March 2026 107

Fachzeitschrift
Zu den Favoriten
13

Hardware Implementation of Improved Banker’s Fixed-Point Rounding Algorithm
Peng Yun ; Wang Yubing ; Zhang Yingxu ; et al.
IEEE Access, Vol 13, Pp 36679-36686 (2025)

Banker’s rounding FPGA fixed-point arithmetic convolution Electrical engineering.... TK1-9971
Fachzeitschrift
Zu den Favoriten
14

Elementary Functions and Approximate Computing
Muller, Jean-Michel ; Arithmetic and Computing (ARIC) ; Centre Inria de l'Université Grenoble Alpes ; et al.
Proceedings of the IEEE. 108(12):1558-2256

Table-based methods Polynomial approximation... Shift-and-add algorithms Fixed-point arithmetic Floating-point arithmeti... Approximate computing
Zeitschrift
Zu den Favoriten
15

Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters
Volkova, Anastasia ; Hilaire, Thibault ; Lauter, Christoph ; et al.
IEEE Transactions on Computers. 69(4):489-504

Eigendecomposition Floating-Point Arithmeti... Multiple Precision Digital Filters Interval Arithmetic Table Maker's Dilemma
Zeitschrift
Zu den Favoriten
16

MaSTer: Maliciously Secure Truncation for Replicated Secret Sharing Without Pre-processing
Zbudila, Martin ; Pohle, Erik ; Abidin, Aysajan ; et al.
ISBN:978-981-97-8012-9.

Science & Technology Technology Computer Science Software Engineering Theory & Methods Telecommunications
Konferenz
Zu den Favoriten
17

High-performance CORDIC-based approximate MAC architectures for FPGA platforms
Khurshid, Burhan
In Integration March 2025 101

Fachzeitschrift
Zu den Favoriten
18

Low-Power Branch CNN Hardware Accelerator with Early Exit for UAV Disaster Detection Using 16 nm CMOS Technology
Yu-Pei Liang ; Wen-Chin Chao ; Ching-Che Chung
Sensors, Vol 25, Iss 15, p 4867 (2025)

unmanned aerial vehicles... disaster detection neural networks quantization fixed-point arithmetic real-time systems
Fachzeitschrift
Zu den Favoriten
19

Sound Mixed Fixed-Point Quantization of Neural Networks
Debasmita Lohar ; Clothilde Jeangoudoux ; Anastasia Volkova ; et al.
ACM Transactions on Embedded Computing Systems

Datorsystem mixed precision Datavetenskap (datalogi) Computer Sciences Computer Systems 0202 electrical engineer...
Fachzeitschrift
Zu den Favoriten
20

Generating pseudo-random numbers with a Brownian system
de la Fraga, Luis Gerardo ; Ovilla-Martínez, Brisbane
In Integration May 2024 96

Fachzeitschrift
Zu den Favoriten

Filter