Comments on Duprat and Muller's Branching CORDIC Paper
IEEE Transactions on Computers
Toward Correctly Rounded Transcendentals
IEEE Transactions on Computers
Approximating Elementary Functions with Symmetric Bipartite Tables
IEEE Transactions on Computers
An embedded DRAM architecture for large-scale spatial-lattice computations
Proceedings of the 27th annual international symposium on Computer architecture
Application of Reconfigurable CORDIC Architectures
Journal of VLSI Signal Processing Systems - Special issue on VLSI on custom computing technology
IEEE Transactions on Computers - Special issue on computer arithmetic
Very-High Radix Circular CORDIC: Vectoring and Unified Rotation/Vectoring
IEEE Transactions on Computers - Special issue on computer arithmetic
Very-High Radix CORDIC Rotation Based on Selection by Rounding
Journal of VLSI Signal Processing Systems - special issue on CORDIC
A Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers
Journal of VLSI Signal Processing Systems - special issue on CORDIC
Journal of VLSI Signal Processing Systems
Implementation of the Exponential Function in a Floating-Point Unit
Journal of VLSI Signal Processing Systems
The Symmetric Table Addition Method for Accurate Function Approximation
Journal of VLSI Signal Processing Systems
High-Speed Double-Precision Computation of Reciprocal, Division, Square Root and Inverse Square Root
IEEE Transactions on Computers
A Machine-Checked Theory of Floating Point Arithmetic
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Parameterized Function Evaluation for FPGAs
FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications
VLSI Implementation of a Low-Power Antilogarithmic Converter
IEEE Transactions on Computers
CMOS VLSI Implementation of a Low-Power Logarithmic Converter
IEEE Transactions on Computers
Parameterized High Throughput Function Evaluation for FPGAs
Journal of VLSI Signal Processing Systems
CORDIC Processor for Variable-Precision Interval Arithmetic
Journal of VLSI Signal Processing Systems
Near Optimality of Chebyshev Interpolation for Elementary Function Computations
IEEE Transactions on Computers
Algorithm and Architecture for Logarithm, Exponential, and Powering Computation
IEEE Transactions on Computers
A Gaussian Noise Generator for Hardware-Based Simulations
IEEE Transactions on Computers
Analysis and applications of Priest's distillation
ACM Transactions on Mathematical Software (TOMS)
High-Speed Function Approximation Using a Minimax Quadratic Interpolator
IEEE Transactions on Computers
IEEE Transactions on Computers
A New Range-Reduction Algorithm
IEEE Transactions on Computers
High-Throughput CORDIC-Based Geometry Operations for 3D Computer Graphics
IEEE Transactions on Computers
High-Radix Logarithm with Selection by Rounding: Algorithm and Implementation
Journal of VLSI Signal Processing Systems
Automating custom-precision function evaluation for embedded processors
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
Optimizing Hardware Function Evaluation
IEEE Transactions on Computers
Double-Residue Modular Range Reduction for Floating-Point Hardware Implementations
IEEE Transactions on Computers
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Leading Guard Digits in Finite Precision Redundant Representations
IEEE Transactions on Computers
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A Hardware Gaussian Noise Generator Using the Box-Muller Method and Its Error Analysis
IEEE Transactions on Computers
Proceedings of the 2006 ACM symposium on Applied computing
Assisted verification of elementary functions using Gappa
Proceedings of the 2006 ACM symposium on Applied computing
Computing machine-efficient polynomial approximations
ACM Transactions on Mathematical Software (TOMS)
Affine functions and series with co-inductive real numbers
Mathematical Structures in Computer Science
A Bit-Width Optimization Methodology for Polynomial-Based Function Evaluation
IEEE Transactions on Computers
Numerical Function Generators Using LUT Cascades
IEEE Transactions on Computers
Parameterized floating-point logarithm and exponential functions for FPGAs
Microprocessors & Microsystems
A Digit-by-Digit Algorithm for mth Root Extraction
IEEE Transactions on Computers
Efficient implementation of constant coefficient division under quantization constraints
ICC'05 Proceedings of the 9th International Conference on Circuits
General approach to simple algorithms for 2-D positioning techniques in cellular networks
Computer Communications
Low-error, High-speed Approximation of the Sigmoid Function for Large FPGA Implementations
Journal of Signal Processing Systems
Journal of Computational and Applied Mathematics
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
Reliable Implementation of Real Number Algorithms: Theory and Practice
Validated Evaluation of Special Mathematical Functions
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Pipelined Architecture for Additive Range Reduction
Journal of Signal Processing Systems
An efficient approach for trilateration in 3D positioning
Computer Communications
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
Design Method for Numerical Function Generators Using Recursive Segmentation and EVBDDs
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Continued Fractions for Special Functions: Handbook and Software
Numerical Validation in Current Hardware Architectures
Accelerating seismic computations using customized number representations on FPGAs
EURASIP Journal on Embedded Systems - FPGA supercomputing platforms, architectures, and techniques for accelerating computationally complex algorithms
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
On the number of segments needed in a piecewise linear approximation
Journal of Computational and Applied Mathematics
Fast computations of the exponential function
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Certified exact real arithmetic using co-induction in arbitrary integer base
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Log' version vector: Logging version vectors concisely in dynamic replication
Information Processing Letters
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
The design of core 2: a library for exact numeric computation in geometry and algebra
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
A fast segmentation algorithm for piecewise polynomial numeric function generators
Journal of Computational and Applied Mathematics
High-speed algorithms and architectures for range reduction computation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Implementations of square-root and exponential functions for large FPGAs
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Floating-Point verification using theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Floating-point arithmetic in the Coq system
Information and Computation
An iterative method for improving decimal calculations on computers
Mathematical and Computer Modelling: An International Journal
Exploring redundant arithmetics in computer-aided design of arithmetic datapaths
Integration, the VLSI Journal
Hardware implementation of Nakagami and Weibull variate generators
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Square-rich fixed point polynomial evaluation on FPGAs
Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays
Hi-index | 0.06 |