Author:
Adjé Assalé,Ben Khalifa Dorra,Martel Matthieu
Publisher
Springer International Publishing
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0;Lecture Notes in Computer Science;2024-09-13
2. Compile-Time Optimization of the Energy Consumption of Numerical Computations;Proceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions;2024-05-07
3. Sound Mixed Fixed-Point Quantization of Neural Networks;ACM Transactions on Embedded Computing Systems;2023-09-09
4. On the Functional Properties of Automatically Generated Fixed-Point Controllers;2023 9th International Conference on Control, Decision and Information Technologies (CoDIT);2023-07-03
5. Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software;Intelligent Systems Reference Library;2023