Search results for "floating-point"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Hongyuan Qu, Guangwu Xu	An improved exact CRR basis conversion algorithm for FHE without floating-point arithmetic.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Vincent Hwang	Formal Verification of Emulated Floating-Point Arithmetic in Falcon.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Muhammad Junaid, Hayotjon Aliev, Sangbo Park, HyungWon Kim 0001, Hoyoung Yoo, Sanghoon Sim	Hybrid Precision Floating-Point (HPFP) Selection to Optimize Hardware-Constrained Accelerator for CNN Training.	Sensors	2024	DBLP DOI BibTeX RDF
15	Youngdeok Hwang, Janghwan Lee, Jiwoong Park, Jieun Lim, Jungwook Choi	Searching Optimal Floating-Point Format for Sub-8-Bit Large Language Model Inference.	ICEIC	2024	DBLP DOI BibTeX RDF
15	Yiyang Yuan, Yiming Yang, Xinghua Wang, Xiaoran Li, Cailian Ma, Qirui Chen, Meini Tang, Xi Wei, Zhixian Hou, Jialiang Zhu, Hao Wu, Qirui Ren, Guozhong Xing, Pui-In Mak, Feng Zhang 0014	34.6 A 28nm 72.12TFLOPS/W Hybrid-Domain Outer-Product Based Floating-Point SRAM Computing-in-Memory Macro with Logarithm Bit-Width Residual ADC.	ISSCC	2024	DBLP DOI BibTeX RDF
15	Tai-Hao Wen, Hung-Hsi Hsu, Win-San Khwa, Wei-Hsing Huang, Zhao-En Ke, Yu-Hsiang Chin, Hua-Jin Wen, Yu-Chen Chang, Wei-Ting Hsu, Chung-Chuan Lo, Ren-Shuo Liu, Chih-Cheng Hsieh, Kea-Tiong Tang, Shih-Hsih Teng, Chung-Cheng Chou, Yu-Der Chih, Tsung-Yung Jonathan Chang, Meng-Fan Chang	34.8 A 22nm 16Mb Floating-Point ReRAM Compute-in-Memory Macro with 31.2TFLOPS/W for AI Edge Devices.	ISSCC	2024	DBLP DOI BibTeX RDF
15	Win-San Khwa, Ping-Chun Wu, Jui-Jen Wu, Jian-Wei Su, Ho-Yu Chen, Zhao-En Ke, Ting-Chien Chiu, Jun-Ming Hsu, Chiao-Yen Cheng, Yu-Chen Chen, Chung-Chuan Lo, Ren-Shuo Liu, Chih-Cheng Hsieh, Kea-Tiong Tang, Meng-Fan Chang	34.2 A 16nm 96Kb Integer/Floating-Point Dual-Mode-Gain-Cell-Computing-in-Memory Macro Achieving 73.3-163.3TOPS/W and 33.2-91.2TFLOPS/W for AI-Edge Devices.	ISSCC	2024	DBLP DOI BibTeX RDF
15	Andrew W. Appel, Ariel Kellison	VCFloat2: Floating-Point Error Analysis in Coq.	CPP	2024	DBLP DOI BibTeX RDF
15	Yathin Kumar Attuluri, Ruchit Chudasama, Kailash Prasad, Joycee Mekie	FP-ATM: A Flexible Floating Point NOR Adder Tree Macro for In-Memory Computing.	VLSID	2024	DBLP DOI BibTeX RDF
15	Raghavendra Kumar Sakali, Sreehari Veeramachaneni, Sk. Noor Mahammad	Fault-Tolerant Floating-Point Multiplier Design for Mission Critical Systems.	VLSID	2024	DBLP DOI BibTeX RDF
15	Saketh Gajawada, Aryan Gupta, Kailash Prasad, Joycee Mekie	FP-BMAC: Efficient Approximate Floating-Point Bit-Parallel MAC Processor using IMC.	VLSID	2024	DBLP DOI BibTeX RDF
15	Panagiotis Liakos, Katia Papakonstantinopoulou, Thijs Bruineman, Mark Raasveldt, Yannis Kotidis	How to Make your Duck Fly: Advanced Floating Point Compression to the Rescue.	EDBT	2024	DBLP DOI BibTeX RDF
15	Jonathan Schilling, Jakob Svensson, Udo Höfel, Joachim Geiger, Henning Thomsen	Biot-Savart routines with minimal floating point error.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
15	Huimin Feng, Ruizhe Ma, Li Yan 0001, Zongmin Ma 0001	Spatiotemporal Prediction Based on Feature Classification for Multivariate Floating-Point Time Series Lossy Compression.	Big Data Res.	2023	DBLP DOI BibTeX RDF
15	Shreyas Kolala Venkataramanaiah, Jian Meng, Han-Sok Suh, Injune Yeo, Jyotishman Saikia, Sai Kiran Cherupally, Yichi Zhang 0006, Zhiru Zhang, Jae-Sun Seo	A 28-nm 8-bit Floating-Point Tensor Core-Based Programmable CNN Training Processor With Dynamic Structured Sparsity.	IEEE J. Solid State Circuits	2023	DBLP DOI BibTeX RDF
15	Yun-Chen Lo, Yu-Chih Tsai, Ren-Shuo Liu	LV: Latency-Versatile Floating-Point Engine for High-Performance Deep Neural Networks.	IEEE Comput. Archit. Lett.	2023	DBLP DOI BibTeX RDF
15	Marina Blanton, Michael T. Goodrich, Chen Yuan 0002	Secure and Accurate Summation of Many Floating-Point Numbers.	Proc. Priv. Enhancing Technol.	2023	DBLP DOI BibTeX RDF
15	Muhamed F. Mudawar	Exact Versus Inexact Decimal Floating-Point Numbers and Arithmetic.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Hongbing Tan, Gan Tong, Libo Huang, Liquan Xiao, Nong Xiao	Multiple-Mode-Supporting Floating-Point FMA Unit for Deep Learning Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2023	DBLP DOI BibTeX RDF
15	Alireza Dehghanpour, Javad Khodamoradi Kordestani, Masoud Dehyadegari	Accurate Low-Bit Length Floating-Point Arithmetic with Sorting Numbers.	Neural Process. Lett.	2023	DBLP DOI BibTeX RDF
15	Jongkil Park, YeonJoo Jeong, Jaewook Kim, Suyoun Lee, Joon Young Kwak, Jong-Keuk Park, Inho Kim	High Dynamic Range Digital Neuron Core With Time-Embedded Floating-Point Arithmetic.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
15	Wenzhe Zhao, Qiwei Dang, Tian Xia 0008, Jingming Zhang, Nanning Zheng 0001, Pengju Ren	Optimizing FPGA-Based DNN Accelerator With Shared Exponential Floating-Point Format.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
15	Chenggang Yan 0002, Xuan Zhao, Tingting Zhang, Jipeng Ge, Chenghua Wang, Weiqiang Liu 0001	Design of High Hardware Efficiency Approximate Floating-Point FFT Processor.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
15	Gennaro Di Meo, Antonio Giuseppe Maria Strollo, Davide De Caro	Novel Low-Power Floating-Point Divider With Linear Approximation and Minimum Mean Relative Error.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
15	Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller	Floating-point arithmetic.	Acta Numer.	2023	DBLP DOI BibTeX RDF
15	Xianwu Hu, Yu Wang, Zizhao Ma, Gan Wen, Zeming Wang, Zhichao Lu, Yunlong Liu, Yanlei Li, Xingdong Liang, Xiaoyang Zeng, Yufeng Xie	An 8.8 TFLOPS/W Floating-Point RRAM-Based Compute-in-Memory Macro Using Low Latency Triangle-Style Mantissa Multiplication.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
15	Matteo Perotti, Matheus A. Cavalcante, Alessandro Ottaviano, Jiantao Liu, Luca Benini	Yun: An Open-Source, 64-Bit RISC-V-Based Vector Processor With Multi-Precision Integer and Floating-Point Support in 65-nm CMOS.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
15	Bai-Kui Yan, Shanq-Jang Ruan	Area Efficient Compression for Floating-Point Feature Maps in Convolutional Neural Network Accelerators.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
15	Mahdi Shafiei, Hassan Daryanavard, Ahmad Hatam	Scalable and custom-precision floating-point hardware convolution core for using in AI edge processors.	J. Real Time Image Process.	2023	DBLP DOI BibTeX RDF
15	Anjunyi Fan, Yihan Fu, Yaoyu Tao, Zhonghua Jin, Haiyue Han, Huiyu Liu, Yaojun Zhang, Bonan Yan, Yuchao Yang, Ru Huang	Hadamard product-based in-memory computing design for floating point neural network training.	Neuromorph. Comput. Eng.	2023	DBLP DOI BibTeX RDF
15	Ahmad Towhidy, Reza Omidi 0001, Karim Mohammadi	On the Design of Iterative Approximate Floating-Point Multipliers.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
15	Javier D. Bruguera	Radix-64 Floating-Point Division and Square Root: Iterative and Pipelined Units.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
15	Seock-Hwan Noh, Jahyun Koo 0002, Seunghyun Lee, Jongse Park, Jaeha Kung	FlexBlock: A Flexible DNN Training Accelerator With Multi-Mode Block Floating Point Support.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
15	Roberto R. Osorio	Floating Point Calculation of the Cube Function on FPGAs.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
15	A Vasantharaj, S. Anbu Karuppusamy, N. Nandhagopal, Ayyem Pillai Vasudevan Pillai	A low-cost in-tire-pressure monitoring SoC using integer/floating-point type convolutional neural network inference engine.	Microprocess. Microsystems	2023	DBLP DOI BibTeX RDF
15	Mate Kovac, Leon Dragic, Branimir Malnar, Francesco Minervini, Oscar Palomar, Carlos Rojas, Mauro Olivieri, Josip Knezovic, Mario Kovac	FAUST: Design and implementation of a pipelined RISC-V vector floating-point unit.	Microprocess. Microsystems	2023	DBLP DOI BibTeX RDF
15	Anuradha, Sujit Kumar Patel, Subodh Kumar Singhal	An area-delay efficient single-precision floating-point multiplier for VLSI systems.	Microprocess. Microsystems	2023	DBLP DOI BibTeX RDF
15	Senthil Pitchai, Saravanan Pitchai	Area-latency efficient floating point adder using interleaved alignment and normalization.	Microprocess. Microsystems	2023	DBLP DOI BibTeX RDF
15	Ignacio Laguna, Anh Tran, Ganesh Gopalakrishnan	Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization.	Parallel Comput.	2023	DBLP DOI BibTeX RDF
15	Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt	Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
15	Eric Hallman, Ilse C. F. Ipsen	Precision-aware deterministic and probabilistic error bounds for floating point summation.	Numerische Mathematik	2023	DBLP DOI BibTeX RDF
15	Ashish Reddy Bommana, Susheel Ujwal Siddamshetty, Pudi Dhilleswararao, Arvind Thumatti K. R., Srinivas Boppu, M. Sabarimalai Manikandan, Linga Reddy Cenkeramaddi	Design of Synthesis-time Vectorized Arithmetic Hardware for Tapered Floating-point Addition and Subtraction.	ACM Trans. Design Autom. Electr. Syst.	2023	DBLP DOI BibTeX RDF
15	Davide Nadalini, Manuele Rusci, Luca Benini, Francesco Conti 0001	Reduced Precision Floating-Point Optimization for Deep Neural Network On-Device Learning on MicroControllers.	CoRR	2023	DBLP DOI BibTeX RDF
15	Binzhe Yuan, Liangtao Dai, Xin Lou	A Numerical-based Parametric Error Analysis Method for Goldschmidt Floating Point Division.	CoRR	2023	DBLP DOI BibTeX RDF
15	Sergio P. Perez, Yan Zhang, James Briggs, Charlie Blake, Josh Levy-Kramer, Paul Balanca, Carlo Luschi, Stephen Barlow, Andrew William Fitzgibbon	Training and inference of large language models using 8-bit floating point.	CoRR	2023	DBLP DOI BibTeX RDF
15	Nils Kohl, Stephen F. McCormick, Rasmus Tamstorf	Multigrid Methods using Block Floating Point Arithmetic.	CoRR	2023	DBLP DOI BibTeX RDF
15	Mantas Mikaitis	Monotonicity of Multi-Term Floating-Point Adders.	CoRR	2023	DBLP DOI BibTeX RDF
15	Garima Singh, Baidyanath Kundu, Harshitha Menon, Alexander Penev, David J. Lange, Vassil Vassilev	Fast And Automatic Floating Point Error Analysis With CHEF-FP.	CoRR	2023	DBLP DOI BibTeX RDF
15	Shih-Yang Liu, Zechun Liu, Xijie Huang, Pingcheng Dong, Kwang-Ting Cheng	LLM-FP4: 4-Bit Floating-Point Quantized Transformers.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yijia Zhang, Lingran Zhao, Shijie Cao, Wenqiang Wang, Ting Cao, Fan Yang 0024, Mao Yang, Shanghang Zhang, Ningyi Xu	Integer or Floating Point? New Outlooks for Low-Bit Quantization on Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
15	Francesco Taurone, Daniel E. Lucani, Marcell Fehér, Qi Zhang 0013	Change a Bit to save Bytes: Compression for Floating Point Time-Series Data.	CoRR	2023	DBLP DOI BibTeX RDF
15	Juyoung Yun, Byungkon Kang, François Rameau, Zhoulai Fu	In Defense of Pure 16-bit Floating-Point Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Dionysios Filippas, Christodoulos Peltekis, Giorgos Dimitrakopoulos, Chrysostomos Nicopoulos	Reduced-Precision Floating-Point Arithmetic in Systolic Arrays with Skewed Pipelines.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hiroyuki Ootomo, Akira Naruse	Custom 8-bit floating point value format for reducing shared memory bank conflict in approximate nearest neighbor search.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zeyu Ding 0001, John Durrell, Daniel Kifer, Prottay Protivash, Guanhong Wang, Yuxin Wang, Yingtai Xiao, Danfeng Zhang	A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yijia Zhang, Sicheng Zhang, Shijie Cao, Dayou Du, Jianyu Wei, Ting Cao, Ningyi Xu	AFPQ: Asymmetric Floating Point Quantization for LLMs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha	Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.	CoRR	2023	DBLP DOI BibTeX RDF
15	Grant Wilkins, Sheng Di, Jon C. Calhoun, Kibaek Kim, Robert Underwood, Richard Mortier, Franck Cappello	Efficient Communication in Federated Learning Using Floating-Point Lossy Compression.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ruiyuan Li, Zheng Li, Yi Wu, Chao Chen 0004, Songtao Guo, Ming Zhang, Yu Zheng	Erasing-based lossless compression method for streaming floating-point time series.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tomonori Kouya	Acceleration of complex matrix multiplication using arbitrary precision floating-point arithmetic.	CoRR	2023	DBLP DOI BibTeX RDF
15	Junren Qin, Fan Yang, Jiarui Deng, Shanxiang Lyu	Reversible Deep Neural Network Watermarking: Matching the Floating-point Weights.	CoRR	2023	DBLP DOI BibTeX RDF
15	Stefan Dan Ciocirlan, Dumitrel Loghin	A Number Representation Systems Library Supporting New Representations Based on Morris Tapered Floating-point with Hidden Exponent Bit.	CoRR	2023	DBLP DOI BibTeX RDF
15	Fumiya Kono, Naohito Nakasato, Maho Nakata	Accelerating 128-bit Floating-Point Matrix Multiplication on FPGAs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Rémi Imbach, Guillaume Moroz	Fast evaluation and root finding for polynomials with floating-point coefficients.	CoRR	2023	DBLP DOI BibTeX RDF
15	Wonyeol Lee 0001, Rahul Sharma 0001, Alex Aiken	Training with Mixed-Precision Floating-Point Assignments.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ruiyuan Li, Zheng Li, Yi Wu, Chao Chen, Tong Liu, Yu Zheng	Adaptive Encoding Strategies for Erasing-Based Lossless Floating-Point Compression.	CoRR	2023	DBLP DOI BibTeX RDF
15	Juyoung Yun, Byungkon Kang, Zhoulai Fu	The Hidden Power of Pure 16-bit Floating-Point Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Cordula Reisch, Hendrik Ranocha	Modeling still matters: a surprising instance of catastrophic floating point errors in mathematical biology and numerical methods for ODEs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Federico Fontana	Training binary neural networks without floating point precision.	CoRR	2023	DBLP DOI BibTeX RDF
15	Cédric Gernigon, Silviu-Ioan Filip, Olivier Sentieys, Clément Coggiola, Mickael Bruno	Low-Precision Floating-Point for Efficient On-Board Deep Neural Network Processing.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jordan Dotzel, Gang Wu, Andrew Li, Muhammad Umar 0002, Yun Ni, Mohamed S. Abdelfattah, Zhiru Zhang, Liqun Cheng, Martin G. Dixon, Norman P. Jouppi, Quoc V. Le, Sheng Li 0007	FLIQS: One-Shot Mixed-Precision Floating-Point and Integer Quantization Search.	CoRR	2023	DBLP DOI BibTeX RDF
15	Xiaoxia Wu, Zhewei Yao, Yuxiong He	ZeroQuant-FP: A Leap Forward in LLMs Post-Training W4A8 Quantization Using Floating-Point Formats.	CoRR	2023	DBLP DOI BibTeX RDF
15	Xinyu Chen, Jiannan Tian, Ian Beaver, Cynthia Freeman, Yan Yan, Jianguo Wang, Dingwen Tao	FCBench: Cross-Domain Benchmarking of Lossless Compression for Floating-Point Data.	CoRR	2023	DBLP DOI BibTeX RDF
15	Marina Blanton, Michael T. Goodrich, Chen Yuan 0002	Secure and Accurate Summation of Many Floating-Point Numbers.	CoRR	2023	DBLP DOI BibTeX RDF
15	Francesco Taurone, Daniel E. Lucani, Marcell Fehér, Qi Zhang 0013	Lossless preprocessing of floating point data to enhance compression.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ruiyuan Li, Zheng Li, Yi Wu, Chao Chen, Yu Zheng	Elf: Erasing-based Lossless Floating-Point Compression. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
15	Davide Nadalini, Manuele Rusci, Luca Benini, Francesco Conti 0001	Reduced precision floating-point optimization for Deep Neural Network On-Device Learning on microcontrollers.	Future Gener. Comput. Syst.	2023	DBLP DOI BibTeX RDF
15	Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta 0001, Rahul Sharma 0001, Dawn Song	Secure Floating-Point Training.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
15	Rémy Garcia	Floating-point numbers round-off error analysis by constraint programming.	Constraints An Int. J.	2023	DBLP DOI BibTeX RDF
15	Mak Andrlon	Finding Normal Binary Floating-Point Factors Efficiently.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
15	Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux	Enabling Floating-Point Arithmetic in the Coq Proof Assistant.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
15	Azim Afroozeh, Leonardo X. Kuffo, Peter A. Boncz	ALP: Adaptive Lossless floating-Point Compression.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
15	Hongxiang Fan, Shuanglong Liu, Zhiqiang Que, Xinyu Niu, Wayne Luk	High-Performance Acceleration of 2-D and 3-D CNNs on FPGAs Using Static Block Floating Point.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
15	Gerardo Saggese, Ettore Napoli, Antonio Giuseppe Maria Strollo	CFPM: Run-time Configurable Floating-Point Multiplier.	PRIME	2023	DBLP DOI BibTeX RDF
15	Michele Fiorito, Serena Curzel, Fabrizio Ferrandi	TrueFloat: A Templatized Arithmetic Library for HLS Floating-Point Operators.	SAMOS	2023	DBLP DOI BibTeX RDF
15	Mohammad Attari, Jesús Rodríguez Sánchez, Liang Liu 0002	A Floating-Point 16 × 16 SVD Accelerator for Beyond-5G Large Intelligent Surfaces.	MWSCAS	2023	DBLP DOI BibTeX RDF
15	Myeongjin Kwak, Jeonggeun Kim, Yongtae Kim	TorchAxf: Enabling Rapid Simulation of Approximate DNN Models Using GPU-Based Floating-Point Computing Framework.	MASCOTS	2023	DBLP DOI BibTeX RDF
15	Jörg Keller 0001, Carina Heßeling	Improving Covert Channel Bandwidth by Variable-Length Exponent Re-Coding in Floating-Point Representations.	EICC	2023	DBLP DOI BibTeX RDF
15	Victor Rodriguez-Bahena, Luis Pizano-Escalante, Omar Longoria-Gandara	Application of Machine Learning Techniques to Characterize Floating Point Benchmarks using Hardware Events.	CCE	2023	DBLP DOI BibTeX RDF
15	Grégoire Eggermann, Marco Rios, Giovanni Ansaloni, Sani R. Nassif, David Atienza	A 16-bit Floating-Point Near-SRAM Architecture for Low-power Sparse Matrix-Vector Multiplication.	VLSI-SoC	2023	DBLP DOI BibTeX RDF
15	Seyed Ahmad Mirsalari, Giuseppe Tagliavini, Davide Rossi, Luca Benini	TransLib: A Library to Explore Transprecision Floating-Point Arithmetic on Multi-Core IoT End-Nodes.	DATE	2023	DBLP DOI BibTeX RDF
15	Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler	Polynomial Formal Verification of Floating Point Adders.	DATE	2023	DBLP DOI BibTeX RDF
15	Mahendra Rathor, Vishesh Mishra, Urbi Chatterjee	Aiding to Multimedia Accelerators: A Hardware Design for Efficient Rounding of Binary Floating Point Numbers.	DATE	2023	DBLP DOI BibTeX RDF
15	Orégane Desrentes, Benoît Dupont de Dinechin, Julien Le Maire	Exact Dot Product Accumulate Operators for 8-bit Floating-Point Deep Learning.	DSD	2023	DBLP DOI BibTeX RDF
15	Yun-Chen Lo, Ren-Shuo Liu	Bucket Getter: A Bucket-based Processing Engine for Low-bit Block Floating Point (BFP) DNNs.	MICRO	2023	DBLP DOI BibTeX RDF
15	Francesco Taurone, Daniel E. Lucani, Marcell Fehér, Qi Zhang 0013	Change a Bit to Save Bytes: Compression for Floating Point Time-Series Data.	ICC	2023	DBLP DOI BibTeX RDF
15	Chenyi Wen, Ying Wu, Xunzhao Yin, Cheng Zhuo	Approximate Floating-Point FFT Design with Wide Precision-Range and High Energy Efficiency.	ASP-DAC	2023	DBLP DOI BibTeX RDF
15	Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang	Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.	SANER	2023	DBLP DOI BibTeX RDF
15	Idir Aït-Sadoune	A Floating-Point Numbers Theory for Event-B.	MEDI	2023	DBLP DOI BibTeX RDF
15	Floris Gorter, Enrico Barberis, Raphael Isemann, Erik van der Kouwe, Cristiano Giuffrida, Herbert Bos	FloatZone: Accelerating Memory Error Detection using the Floating Point Unit.	USENIX Security Symposium	2023	DBLP BibTeX RDF