Search results for "arithmetic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Michael J. Schulte, Earl E. Swartzlander Jr.	Hardware Design and Arithmetic Algorithms for a Variable-Precision, Interval Arithmetic Coprocessor.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	arithmetic algorithms, computer arithmetic, hardware, Interval arithmetic, precision, coprocessor, numerical computations
80	Ulrich W. Kulisch	Complete Interval Arithmetic and Its Implementation on the Computer.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
71	Mustafa Demirci	Artihmetic of Fuzzy Quantities Based On Vague Arithmetic Operations.	IFSA	2003	DBLP DOI BibTeX RDF	Vague arithmetic, Fuzzy equivalence relation, Indistinguishability operator, Fuzzy function, Fuzzy arithmetic
63	Sridhar Rajagopal, Joseph R. Cavallaro	Truncated Online Arithmetic with Applications to Communication Systems.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Dynamic truncation, finite precision, communication systems, online arithmetic
60	Jean-Claude Bajard, Laurent Imbert, Thomas Plantard	Arithmetic Operations in the Polynomial Modular Number System.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF	Table-based methods, Modular arithmetic, Lattice theory, Number system
59	Michael J. Flynn, Kevin J. Nowka, Gary Bewick, Eric M. Schwarz, Nhon T. Quach	The SNAP Project: Towards Sub-Nanosecond Arithmetic.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	floating-point multiplication, computer arithmetic, floating-point arithmetic, wave pipelining, floating-point addition
57	Huahao Shou, Hongwei Lin, Ralph R. Martin, Guojin Wang	Modified Affine Arithmetic Is More Accurate than Centered Interval Arithmetic or Affine Arithmetic.	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
56	Michael F. Cowlishaw, Eric M. Schwarz, Ronald M. Smith, Charles F. Webb	A Decimal Floating-Point Specification.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
55	Marius Cornea, Cristina Anderson, John Harrison 0001, Ping Tak Peter Tang, Eric Schneider, Charles Tsen	A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
55	Richard P. Brent	Computer Arithmetic - A Programmer's Perspective.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
55	Takafumi Aoki, Hiroaki Amada, Tatsuo Higuchi 0001	Real/Complex Reconfigurable Arithmetic Using Redundant Complex Number Systems.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF
55	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Algorithms for Multi-Exponentiation Based on Complex Arithmetic.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	multi-exponentiation algorithms, binary-like complex arithmetic, multiple modular exponentiation operations, performance, cryptographic protocols, digital arithmetic
54	Alexandre F. Tenca, Milos D. Ercegovac	A Variable Long-Precision Arithmetic Unit Design for Reconfigurable Coprocessor Architectures.	FCCM	1998	DBLP DOI BibTeX RDF	long-precision, computer arithmetic, reconfigurable architecture
53	Mercedes Peón, Roberto R. Osorio, Javier D. Bruguera	A VLSI implementation of an arithmetic coder for image compression.	EUROMICRO	1997	DBLP DOI BibTeX RDF	arithmetic coder, multilevel alphabet, cumulative probabilities, interval range, interval left point, module delays, design speed, chip area, operating frequency, 39 MHz, image compression, updating, VLSI implementation, arithmetic codes, redundant arithmetic
53	Manindra Agrawal, Eric Allender, Samir Datta	On TC0, AC0, and Arithmetic Circuits.	CCC	1997	DBLP DOI BibTeX RDF	TC/sup 0/, AC/sup 0/, function classes, constant-depth polynomial-size arithmetic circuits, unbounded fanin addition, multiplication gates, constant-depth arithmetic circuits, computational complexity, normal forms, arithmetic circuits, closure properties
52	John R. Ehrman	"Logical" arithmetic on computers with two's complement binary arithmetic.	Commun. ACM	1968	DBLP DOI BibTeX RDF	binary arithmetic, full-precision arithmetic, maximum significance arithmetic, unsigned operand arithmetic
51	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Theory and applications for a double-base number system.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation
51	Aryan Saed, Majid Ahmadi, Graham A. Jullien	Arithmetic with Signed Analog Digits.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
51	Peter R. Turner	Complex SLI arithmetic: Representation, algorithms and analysis.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
49	Zeev Dvir, Amir Shpilka, Amir Yehudayoff	Hardness-randomness tradeoffs for bounded depth arithmetic circuits.	STOC	2008	DBLP DOI BibTeX RDF	bounded depth circuits, hardness-randomness tradeoffs, identity testing, lower bounds, arithmetic circuits
49	Radomir S. Stankovic, Claudio Moraga, Jaakko Astola	From Fourier Expansions to Arithmetic-Haar Expressions on Quaternion Groups.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Quaternion groups, Haar expressions, Fourier transform, Arithmetic expressions
49	Fevzi Belli, Thomas Illgen	Logic Representation of Programs to Detect Arithmetic Anomalies.	EUROMICRO	2000	DBLP DOI BibTeX RDF	Arithmetic Anomalies, Software Legacy and Re-engineering, Logic Programming, Program Transformation, Program Testing
49	Daniel V. Bailey, Christof Paar	Optimal Extension Fields for Fast Arithmetic in Public-Key Algorithms.	CRYPTO	1998	DBLP DOI BibTeX RDF	fast arithmetic, pseudo-Mersenne primes, OEF, binomials, cryptographic implementation, finite fields, elliptic curves, hyperelliptic curves, modular reduction, Optimal Extension Fields
49	Gunnar Gaubatz, Berk Sunar	Robust Finite Field Arithmetic for Fault-Tolerant Public-Key Cryptography.	FDTC	2006	DBLP DOI BibTeX RDF	homomorphic embedding, modulus scaling, fault tolerance, error detection, public-key cryptography, arithmetic codes, Finite field arithmetic, cyclic codes, idempotency
49	Aryan Saed, Majid Ahmadi, Graham A. Jullien	A Number System with Continuous Valued Digits and Modulo Arithmetic.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	continuous digits, modulo arithmetic, low-noise circuitry, Computer arithmetic, multiple-valued logic
49	George J. Klir, Yi Pan	Constrained fuzzy arithmetic: Basic questions and some answers.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Fuzzy interval, standard fuzzy arithmetic, constrained fuzzy arithmetic, linguistic variable
49	Michael J. Schulte, Earl E. Swartzlander Jr.	A Processor for Staggered Interval Arithmetic.	ASAP	1995	DBLP DOI BibTeX RDF	computer arithmetic, hardware, processor, Interval arithmetic, precision, application specific, numerical computations
47	Michael F. Cowlishaw	Decimal Floating-Point: Algorism for Computers.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
46	Belle W. Y. Wei, He Du, Honglu Chen	A complex-number multiplier using radix-4 digits.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	complex-number multiplier, radix-4 digits, arithmetic datapath, complex-number digital signal processor, binary signed digits, fast multiplication, compact layout, three-multiplication scheme, radix-4 operands, delays, delay, encoding, digital arithmetic, multiplying circuits, binary additions, coding scheme
46	Thomas W. Lynch, Ashraf Ahmed, Michael J. Schulte, Thomas K. Callaway, Robert Tisdale	The K5 transcendental functions.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	K5 transcendental functions, AMD x86 compatible superscalar microprocessor, multi-level development cycle, design schedule, table-driven reductions, multiprecision arithmetic operations, encoding, polynomials, floating point arithmetic, microprocessor chips, approximation theory, polynomial approximations
46	Sorin Cotofana, Casper Lageweg, Stamatis Vassiliadis	On Computing Addition Related Arithmetic Operations via Controlled Transport of Charge.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
46	Hossam A. H. Fahmy, Michael J. Flynn	The Case for a Redundant Format in Floating Point Arithmetic.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
46	Sridhar Rajagopal, Joseph R. Cavallaro	On-line Arithmetic for Detection in Digital Communication Receivers.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
46	David M. Lewis	An accurate LNS arithmetic unit using interleaved memory function interpolator.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
46	Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau	A lazy exact arithmetic.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
46	Gerben J. Hekstra, Ed F. Deprettere	Fast Rotations: Low-cost Arithmetic Methods for Orthonormal Rotation.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	fast rotations, orthonormal, micro-rotations, computer arithmetic, CORDIC
46	Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel	Arithmetic Co-transformations in the Real and Complex Logarithmic Number Systems.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	Logarithmic arithmetic, complex number system, addition and subtraction logarithm, co-transformation, interpolation, FFT
46	Stuart F. Oberman, Hesham A. Al-Twaijry, Michael J. Flynn	The SNAP Project: Design of Floating Point Arithmetic Unit.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	performance-area tradeoffs, computer arithmetic, multiplication, division, Addition, floating point unit
46	Christoph Baumhof	A New VLSI Vector Arithmetic Coprocessor for the PC.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	accurate dot product, vector arithmetic coprocessor, Long Accumulator
45	Alexandre F. Tenca, Song Park, Lo'ai Ali Tawalbeh	Carry-Save Representation Is Shift-Unsafe: The Problem and Its Solution.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Carry-save, arithmetic shift, computer arithmetic, redundant representation
44	Jean-Claude Bajard, Laurent-Stéphane Didier, Jean-Michel Muller	A New Euclidean Division Algorithm For Residue Number Systems.	ASAP	1996	DBLP DOI BibTeX RDF	Euclidean division algorithm, large moduli, very large integers, high-radix division method, parallel computer, computational geometry, digital arithmetic, residue number systems, residue number systems, floating point arithmetic, floating-point arithmetic, modular arithmetic, special-purpose architecture
44	Norbert Th. Müller	The iRRAM: Exact Arithmetic in C++.	CCA	2000	DBLP DOI BibTeX RDF	Computable Real Analysis, Multi-valued functions, C++, Interval Arithmetic, Limits, Random Access Machines, Multiple Precision Arithmetic
44	Susanto Rahardja, Bogdan J. Falkowski	Family of Fast Mixed Arithmetic Logic Transforms for Multiple-Valued Input Binary Functions.	ISMVL	1996	DBLP DOI BibTeX RDF	fast mixed arithmetic logic transforms, multiple-valued input binary functions, transform matrices, mixed arithmetic logic spectra, Boolean functions, transforms, matrix algebra, multivalued logic, multivalued logic circuits, inverse transforms
44	Michael J. Schulte, Earl E. Swartzlander Jr.	A Family of Variable-Precision Interval Arithmetic Processors.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	variable-precision arithmetic, computer arithmetic, accuracy, Processors, interval arithmetic, hardware designs, roundoff error
44	Roberto R. Osorio, Javier D. Bruguera	New arithmetic coder/decoder architectures based on pipelining.	ASAP	1997	DBLP DOI BibTeX RDF	arithmetic coder/decoder architectures, arithmetic encoding, arithmetic decoding, multilevel images, cycle length, VLSI, pipelining, VLSI architectures
44	Takahiro Hanyu, Akira Mochizuki, Michitaka Kameyama	Multiple-Valued Arithmetic Integrated Circuits Based on 1.5V-Supply Dual-Rail Source-Coupled Logic.	ISMVL	1995	DBLP DOI BibTeX RDF	multiple-valued arithmetic integrated circuits, dual-rail source-coupled logic, multiple-valued current-mode MOS integrated circuit, high-speed arithmetic systems, multiple-valued source-coupled logic circuit, dual-rail complementary inputs, pipelined multiplier, 54 bit, 200 MHz, 0.8 mum, 1.5 V, CMOS logic circuits, multiplying circuits, multivalued logic circuits, current-mode logic, pipeline arithmetic
44	John R. Ehrman	Correction to "logical" arithmetric on computers with two's complement binary arithmetic.	Commun. ACM	1970	DBLP DOI BibTeX RDF	binary arithmetric, full-precision arithmetic, maximum significance arithmetic, unsigned operand arithmetic
44	Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel	Applying Features of IEEE 754 to Sign/Logarithm Arithmetic.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	sign/logarithm arithmetic, standard floating point arithmetic, multilayer sign/logarithm format, denormalized values, NaNs, logarithmic denormalized arithmetic algorithms, standards, digital arithmetic, number theory, zeros, 32 bit, infinities, IEEE 754
44	Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal	Redundant Logarithmic Arithmetic.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	32 bit subtraction, redundant logarithmic number system, 29-bit redundant logarithmic unit, ill-conditioned, iterated multiplications, redundant logarithmic arithmetic, redundancy, digital arithmetic, division, table lookups, table lookup, square root, number theory, memory requirement, storage requirements, online arithmetic, data values, arithmetic unit
44	Peter Kornerup, David W. Matula	An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	tree pipeline, Gosper, redundant binary bit-pipelined rational arithmetic, redundant binary representation, rational operands, partial quotient arithmetic algorithm, online arithmetic unit, signed bit level, binary radix, binary rational representation, online delays, simulation, parallel computation, redundancy, interconnection, product, digital arithmetic, number theory, difference, quotient, sum
44	Ulrich W. Kulisch	Mathematical Foundation of Computer Arithmetic.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Axiomatic definition of computer arithmetic, rounding analysis, theory and implementation of computer arithmetic, interval arithmetic, numerical analysis, floating-point arithmetic
44	E. V. Krishnamurthy	Matrix Processors Using p-adic Arithmetic for Exact Linear Computations.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	exact linear computation, matrix processor, p-adic arithmetic, rational arithmetic, Computational complexity, linear equations, Gaussian elimination, residue arithmetic, Galois-field arithmetic
42	Liang-Kai Wang, Michael J. Schulte	Decimal Floating-Point Adder and Multifunction Unit with Injection-Based Rounding.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
42	Hakim Bederr, Michael Nicolaidis, Alain Guyot	Analytic approach for error masking elimination in on-line multipliers.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	error masking elimination, online multipliers, high precision numbers, scan design approach, internal state observability, DFT approach, sequential circuits, digital arithmetic, fault coverage, multiplying circuits, area overhead
42	Dominique Michelucci	An epsilon-Arithmetic for Removing Degeneracies.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
42	W. Kenneth Jenkins, Bernard A. Schnaufer, Andrew J. Mansen	Combined system-level redundancy and modular arithmetic for fault tolerant digital signal processing.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
42	Daniel W. Lozier	An underflow-induced graphics failure solved by SLI arithmetic.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
42	B. J. Kirsch, Peter R. Turner	Adaptive beamforming using RNS arithmetic.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
41	Peter Kornerup, David W. Matula	A bit-serial arithmetic unit for rational arithmetic.	IEEE Symposium on Computer Arithmetic	1987	DBLP DOI BibTeX RDF
41	Algirdas Avizienis	Arithmetic algorithms for operands encoded in two-dimensional low-cost arithmetic error codes.	IEEE Symposium on Computer Arithmetic	1985	DBLP DOI BibTeX RDF
40	Dannie Lau, Aaron Schneider, Milos D. Ercegovac, John D. Villasenor	FPGA-Based Structures for On-Line FFT and DCT.	FCCM	1999	DBLP DOI BibTeX RDF	FPGA, interconnect, MAC, FFT, signal processing, DCT, online, on-line, distributed arithmetic, bit-serial, xilinx, on-line arithmetic
40	Edmund M. Clarke, Masahiro Fujita, Xudong Zhao 0005	Hybrid decision diagrams.	ICCAD	1995	DBLP DOI BibTeX RDF	MTBDDs, arithmetic circuits verification, boolean vectors, hybrid decision diagrams, linear expressions, multi-terminal binary decision diagrams, symbolic model checking algorithms, computational complexity, time complexity, digital arithmetic, binary decision diagrams, circuit analysis computing, integers, BMDs
40	Michael J. Schulte, Earl E. Swartzlander Jr.	A coprocessor for accurate and reliable numerical computations.	ICCD	1995	DBLP DOI BibTeX RDF	reliable numerical computations, direct hardware support, logic design, digital arithmetic, interval arithmetic, hardware design, coprocessors, coprocessor, numerical computations
40	Ran Raz, Amir Yehudayoff	Balancing Syntactically Multilinear Arithmetic Circuits.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	Subject classification, 68W30
40	Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan	Verification of arithmetic datapaths using polynomial function models and congruence solving.	ICCAD	2008	DBLP DOI BibTeX RDF
40	Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi 0001	Arithmetic module generator with algorithm optimization capability.	ISCAS	2008	DBLP DOI BibTeX RDF
40	Jingzhao Ou, Viktor K. Prasanna	Design space exploration using arithmetic-level hardware--software cosimulation for configurable multiprocessor platforms.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	FPGA, design space exploration, processor, cosimulation
40	Olivier Devillers, Franco P. Preparata	A Probabilistic Analysis of the Power of Arithmetic Filters.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
40	Ran Raz	Elusive functions and lower bounds for arithmetic circuits.	STOC	2008	DBLP DOI BibTeX RDF	bounded depth circuits, lower bounds, arithmetic circuits, circuit complexity
40	Hamidreza Hashempour, Fabrizio Lombardi	Application of Arithmetic Coding to Compression of VLSI Test Data.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Golomb coding, SoC, ATE, arithmetic coding, Huffman coding, Test data compression
40	Takafumi Aoki, Naofumi Homma, Tatsuo Higuchi 0001	Evolutionary Synthesis of Arithmetic Circuit Structures.	Artif. Intell. Rev.	2003	DBLP DOI BibTeX RDF	genetic algorithms, genetic programming, evolutionary computation, multiple-valued logic, arithmetic circuits, evolutionary design, circuit design
40	Ying-Tsai Chang, Kwang-Ting Cheng	Self-referential verification of gate-level implementations of arithmetic circuits.	DAC	2002	DBLP DOI BibTeX RDF	arithmetic circuit verification
40	Chichyang Chen, Paul Chow	Design of a versatile and cost-effective hybrid floating-point/LNS arithmetic processor.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	exponential computation, logarithmic computation, logarithmic number system (LNS) arithmetic, floating-point arithmetic
40	Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk	Formalization of Fixed-Point Arithmetic in HOL.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL
40	Harvey L. Davies	Infinity Arithmetic, Comparisons and J.	APL	1995	DBLP DOI BibTeX RDF	NaN, error-trapping, indeterminate, infinity arithmetic, APL, comparison, precision, arithmetic, tolerance, comparative, J, limits, infinity, IEEE 754 Standard
39	Albrecht P. Stroele	Test response compaction using arithmetic functions.	VTS	1996	DBLP DOI BibTeX RDF	arithmetic functions, combinational faults, underflow, feed back, logic testing, built-in self test, digital arithmetic, test pattern generation, adders, circuits, registers, aliasing probability, overflow, subtracters, test response compaction, arithmetic logic units
38	Peter R. Turner	Fraction-Free RNS Algorithms for Solving Linear Systems.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF
38	Colin D. Walter	Moduli for Testing Implementations of the RSA Cryptosystem.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF	RSA modulus, implementation validation benchmark, verification, testing, cryptography, Computer arithmetic, correctness
38	Gianluca Cena, Paolo Montuschi, Luigi Ciminiera, Andrea Sanna	A Q-Coder Algorithm with Carry Free Addition.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	image compression, arithmetic coding
38	Elisardo Antelo, Javier D. Bruguera, Julio Villalba, Emilio L. Zapata	Redundant CORDIC Rotator Based on Parallel Prediction.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	High speed processor, Parallel prediction, Parallel architecture, CORDIC algorithm, Redundant arithmetic
38	Milos D. Ercegovac, Tomás Lang	Sign detection and comparison networks with a small number of transitions.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	comparison networks, signal transitions, iterative implementation, k-bit modules, digital arithmetic, flip-flops, tree network, sign detection
37	Marc Daumas, Guillaume Melquiond, César A. Muñoz	Guaranteed Proofs Using Interval Arithmetic.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
37	Yozo Hida, Xiaoye S. Li, David H. Bailey	Algorithms for Quad-Double Precision Floating Point Arithmetic.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
36	Liang-Kai Wang, Michael J. Schulte, John D. Thompson, Nandini Jairam	Hardware Designs for Decimal Floating-Point Addition and Related Operations.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
36	Guillaume Burel	Unbounded Proof-Length Speed-Up in Deduction Modulo.	CSL	2007	DBLP DOI BibTeX RDF	rewriting, arithmetic, higher order logic, proof theory
36	Branimir Lambov	Interval Arithmetic Using SSE-2.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
36	Michael T. Frederick, Arun K. Somani	Beyond the arithmetic constraint: depth-optimal mapping of logic chains in LUT-based FPGAs.	FPGA	2008	DBLP DOI BibTeX RDF	carry chain, depth optimal mapping, logic chain
36	Foto N. Afrati, Chen Li 0001, Vassia Pavlaki	Data exchange in the presence of arithmetic comparisons.	EDBT	2008	DBLP DOI BibTeX RDF
36	Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook	Arithmetic Strengthening for Shape Analysis.	SAS	2007	DBLP DOI BibTeX RDF
36	Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi 0001	Application of symbolic computer algebra to arithmetic circuit verification.	ICCD	2007	DBLP DOI BibTeX RDF
36	Reinhard Kirchner, Ulrich W. Kulisch	Hardware Support for Interval Arithmetic.	Reliab. Comput.	2006	DBLP DOI BibTeX RDF
36	Xinwang Liu 0001	An Orness Measure for Quasi-Arithmetic Means.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
36	Damien Jamet, Jean-Luc Toutant	On the Connectedness of Rational Arithmetic Discrete Hyperplanes.	DGCI	2006	DBLP DOI BibTeX RDF
36	Ajay Kumar Verma, Paolo Ienne	Towards the automatic exploration of arithmetic-circuit architectures.	DAC	2006	DBLP DOI BibTeX RDF
36	Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau	Equivalence checking of arithmetic expressions using fast evaluation.	CASES	2005	DBLP DOI BibTeX RDF	expression equivalence, mutual exclusion, interval analysis
36	Ying-Tsai Chang, Kwang-Ting Cheng	Self-referential verification for gate-level implementations of arithmetic circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
36	Thomas Guionnet, Christine Guillemot	Joint Source-Channel Decoding of Quasi-Arithmetic Codes.	Data Compression Conference	2004	DBLP DOI BibTeX RDF
36	Ingmar Neumann, Dominik Stoffel, Kolja Sulimma, Michel R. C. M. Berkelaar, Wolfgang Kunz	Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning.	ICCD	2004	DBLP DOI BibTeX RDF
36	Alexandre F. Tenca, Ajay C. Shantilal, Mohammed H. Sinky	Improved-Throughput Networks of Basic On-Line Arithmetic Modules for DSP Applications.	ASAP	2004	DBLP DOI BibTeX RDF
36	Pradeep Kumar Mishra, Palash Sarkar 0001	Parallelizing Explicit Formula for Arithmetic in the Jacobian of Hyperelliptic Curves.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	hyperelliptic curve cryptography, encapsulated add-and-double, parallel algorithm, Jacobian, explicit formula