Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies
Automatic detection of floating-point exceptions
Achieving high coverage for floating-point code via unconstrained programming
A transprecision floating-point platform for ultra-low power computing
Acceleration of FPGA Fault Injection Through Multi-Bit Testing.
Decimal floating-point: algorism for computers
Finite Precision Error Analysis of Neural Network Hardware Implementations
Analysis of high-performance floating-point arithmetic on FPGAs
Double precision floating-point arithmetic on FPGAs
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
Fast evaluation of elementary mathematical functions with correctly rounded last bit
Analytic Error Modeling for Imprecise Arithmetic Circuits
Rigorous floating-point mixed-precision tuning
A novel FPGA based leading one anticipation algorithm for floating point arithmetic units
Leading-zero anticipator (LZA) in the IBM RISC System/6000 floating-point execution unit
Sensitivity-based pole and input-output errors of linear filters as indicators of the implementation deterioration in fixed-point context
Computation Error Analysis of Block Floating Point Arithmetic Oriented Convolution Neural Network Accelerator Design
Ia-64 and Elementary Functions: Speed and Precision
MPFR: A multiple-precision binary floating-point library with correct rounding
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
search - based software test data generation : a survey .
QoS computation and policing in dynamic web service selection
A New Ensemble Model based Support Vector Machine for Credit Assessing
spectral subband centroid features for speech recognition .
Performance Evaluation for Parallel Systems: A Survey