research
∙
11/25/2021
RLIBM-PROG: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
This paper presents a novel method for generating a single polynomial ap...
share
research
∙
08/15/2021
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes
Mainstream math libraries for floating point (FP) do not produce correct...
research
∙
07/28/2021
SPOTS: An Accelerator for Sparse Convolutional Networks Leveraging Systolic General Matrix-Matrix Multiplication
This paper proposes a new hardware accelerator for sparse convolutional ...
research
∙
05/12/2021
Semantics, Verification, and Efficient Implementations for Tristate Numbers
Extended Berkeley Packet Filter(BPF)is an in-kernel, register-based virt...
research
∙
04/08/2021
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
This paper proposes a set of techniques to develop correctly rounded mat...
research
∙
07/09/2020
A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations
Given the importance of floating-point (FP) performance in numerous doma...
research
∙
04/29/2020