Search results for "Arithmetic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Haohuan Fu, Oskar Mencer, Wayne Luk	Optimizing Logarithmic Arithmetic on FPGAs.	FCCM	2007	DBLP DOI BibTeX RDF
27	Li Zhang 0006, Xiaolin Wu 0001, Ning Zhang, Wen Gao 0001, Qiang Wang 0011, Debin Zhao	Context-based Arithmetic Coding Reexamined for DCT Video Compression.	ISCAS	2007	DBLP DOI BibTeX RDF
27	Thorsten von Sydow, Bernd Neumann, Holger Blume, Tobias G. Noll	Quantitative Analysis of Embedded FPGA-Architectures for Arithmetic.	ASAP	2006	DBLP DOI BibTeX RDF
27	Franky Backeljauw, Annie A. M. Cuyt	A Constructive Criticism of the C/C++ Proposal for Complex Arithmetic.	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
27	Daniel R. Kelly, Braden J. Phillips	Arithmetic Data Value Speculation.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
27	Markus Wedler, Dominik Stoffel, Wolfgang Kunz	Arithmetic Reasoning in DPLL-Based SAT Solving.	DATE	2004	DBLP DOI BibTeX RDF
27	Roberto R. Osorio, Javier D. Bruguera	Arithmetic Coding Architecture for H.264/AVC CABAC Compression System.	DSD	2004	DBLP DOI BibTeX RDF
27	Kazuya Ishida, Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi 0001	Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH.	ISMVL	2004	DBLP DOI BibTeX RDF
27	Hamidreza Hashempour, Fabrizio Lombardi	Compression of VLSI Test Data by Arithmetic Coding.	DFT	2004	DBLP DOI BibTeX RDF
27	Paolo Ienne, Ajay Kumar Verma	Arithmetic Transformations to Maximise the Use of Compressor Trees.	DELTA	2004	DBLP DOI BibTeX RDF
27	Junhyung Um, Taewhan Kim	Synthesis of arithmetic circuits considering layout effects.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
27	Johann Großschädl, Guy-Armand Kamendje	Low-Power Design of a Functional Unit for Arithmetic in Finite Fields GF(p) and GF(2m).	WISA	2003	DBLP DOI BibTeX RDF	Multi-application smart cards, unified multiplier datapath, finite fields, elliptic curve cryptography, instruction set extensions
27	Sergey Berezin, Vijay Ganesh, David L. Dill	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.	TACAS	2003	DBLP DOI BibTeX RDF
27	Jeremy Avigad, Jeremy Helzner	Transfer principles in nonstandard intuitionistic arithmetic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
27	Gerhard Lienhart, Andreas Kugel, Reinhard Männer	Using Floating-Point Arithmetic on FPGAs to Accelerate Scientific N-Body Simulations.	FCCM	2002	DBLP DOI BibTeX RDF
27	Bogdan J. Falkowski	Algorithms for fast arithmetic transform.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
27	Richard S. Bird, Jeremy Gibbons	Arithmetic Coding with Folds and Unfolds.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
27	Junhyung Um, Taewhan Kim	Layout-aware synthesis of arithmetic circuits.	DAC	2002	DBLP DOI BibTeX RDF	layout, high performance, carry-save-adder
27	Chung-Yang Huang, Kwang-Ting Cheng	Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
27	Martin Hofmann 0001	From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour.	TLCA	2001	DBLP DOI BibTeX RDF
27	Riad Stefo, Jose Luis Nunez, Claudia Feregrino, Sudipta Mahapatra, Simon R. Jones	FPGA-Based Modelling Unit for High Speed Lossless Arithmetic Coding.	FPL	2001	DBLP DOI BibTeX RDF
27	Shugang Wei, Kensuke Shimizu	Error Detection of Arithmetic Circuits Using a Residue Checker with Signed-Digit Number System.	DFT	2001	DBLP DOI BibTeX RDF	residue addition, residue multiplication, signed-digit(SD) number representation, SD adder, error detection, residue number system(RNS)
27	Albrecht P. Stroele	Synthesis for Arithmetic Built-In Self-Tes.	VTS	2000	DBLP DOI BibTeX RDF	test configuration, built-in self-test, high-level synthesis, synthesis for testability, Accumulator
27	Chung-Yang Huang, Kwang-Ting Cheng	Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.	DAC	2000	DBLP DOI BibTeX RDF
27	Christian Lebiere	The dynamics of cognition: An ACT-R model of cognitive arithmetic.	Kognitionswissenschaft	1999	DBLP DOI BibTeX RDF
27	Bin B. Zhu, En-Hui Yang, Ahmed H. Tewfik	Arithmetic coding with dual symbol sets and its performance analysis.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
27	Bertil Schmidt, Manfred Schimmler, Heiko Schröder 0001	Long Operand Arithmetic on Instruction Systolic Computer Architectures and Its Application in RSA Cryptography.	Euro-Par	1998	DBLP DOI BibTeX RDF
27	Gwangwoo Choe, Earl E. Swartzlander Jr.	Merged Arithmetic for Computing Wavelet Transforms.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF
27	Saeid Sadeghi-Emamchaie, Graham A. Jullien, Vassil S. Dimitrov, William C. Miller	Digital Arithmetic Using Analog Arrays.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	Cellular Neural Networks, Double-Base Number System, Analog VLSI
27	Jonathan Richard Shewchuk	Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
27	Christof Paar, Martin Rosner	Comparison of arithmetic architectures for Reed-Solomon decoders in reconfigurable hardware.	FCCM	1997	DBLP DOI BibTeX RDF
27	Roderick I. Nicolson	Design and Evaluation of the SUMIT Intelligent Tutoring Assistant for Arithmetic.	ICCAL	1992	DBLP DOI BibTeX RDF
27	Attilio Colagrossi, Carla Limongelli	Big Numbers p-adic Arithmetic: A Parallel Approach.	AAECC	1988	DBLP DOI BibTeX RDF
26	Amirhossein Alimohammad, Saeed Fouladi Fard, Bruce F. Cockburn	A Unified Architecture for the Accurate and High-Throughput Implementation of Six Key Elementary Functions.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	single-precision arithmetic, computer arithmetic, Floating-point arithmetic, square root, reciprocal, logarithm
26	Elisardo Antelo, Julio Villalba, Emilio L. Zapata	A Low-Latency Pipelined 2D and 3D CORDIC Processors.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Arithmetic and Logic Structures, Algorithms, Computer arithmetic, High-Speed Arithmetic
26	Bogdan J. Falkowski	A Note on the Polynomial Form of Boolean Functions and Related Topics.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	polynomial forms, arithmetic transform, mixed arithmetic transform, arithmetic derivatives, Boolean functions, multiple-valued functions
26	Jean Vuillemin	On Circuits and Numbers.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	PROM, 2-adic integers, synchronous decision diagrams, BDD constructs, bit-serial circuits, reset signals, 2Z, arithmetic synthesis f, periodic binary constants, deeply binding synchronous enable, combinational circuit semantics, arbitrary precision, programmable active memories, specification languages, sequential circuits, combinational circuits, digital arithmetic, logic CAD, adders, digital circuits, arithmetic, combinatorial circuits, synchronous circuits, continuous functions, rational numbers
26	Milos D. Ercegovac, Tomás Lang	On-the-Fly Rounding.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	digit rounding, digit-serial form, most significant digit, least significant, redundant addition, result-digit, signed-digit set, computing arithmetic, digital arithmetic, number theory, digit-recurrence algorithms, online arithmetic
26	G. R. Blakley	A Computer Algorithm for Calculating the Product AB Modulo M.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	seminumerical algorithms, products in Galois fields, Algorithms, products, modular multiplication, modular arithmetic, integer arithmetic, multiple precision arithmetic
26	Kai Hwang 0001	Global and Modular Two's Complement Cellular Array Multipliers.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	two's complement multiplication., Additive multiply modules, cellular array multipliers, two's complement multiplication, LSI arithmetic arrays, multiplication networks, pipelined arithmetic design, computer arithmetic
26	Julien Lamoureux, Scott Miller, Mihai Sima	Fine-grained vs. coarse-grained shift-and-add arithmetic in FPGAs (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	shift-and-add arithmetic, fpga, cordic, coarse-grained
26	Trung Hieu Tran, Hyo-Moon Cho, Sang-Bock Cho	Performance Enhancement of Sum of Absolute Difference (SAD) Computation in H.264/AVC Using Saturation Arithmetic.	ICIC (1)	2009	DBLP DOI BibTeX RDF	saturation arithmetic, motion estimation, H.264/AVC, SAD
26	Evan Goris	Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Logic of proofs, Bounded arithmetic
26	Eado Meron, Ofer Shayevitz, Meir Feder, Ram Zamir	A Lower Bound on the Redundancy of Arithmetic-Type Delay Constrained Coding.	DCC	2008	DBLP DOI BibTeX RDF	Complexity, Delay, Redundancy, Source coding, Precision, Arithmetic coding
26	Mitchell A. Thornton, David W. Matula, Laura Spenner, D. Michael Miller	Quantum Logic Implementation of Unary Arithmetic Operations.	ISMVL	2008	DBLP DOI BibTeX RDF	Multiple-Valued Quantum Gate, Inheritance Principle, Arithmetic Circuits, Quantum Logic
26	Markus Müller-Olm, Helmut Seidl	Analysis of modular arithmetic.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic
26	Jean-Claude Bajard, Laurent Imbert, Christophe Nègre	Arithmetic Operations in Finite Fields of Medium Prime Characteristic Using the Lagrange Representation.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Newton interpolation, elliptic curve cryptography, Finite field arithmetic, Euclidean algorithm, optimal extension fields
26	Bernard Boigelot, Sébastien Jodogne, Pierre Wolper	An effective decision procedure for linear arithmetic over the integers and reals.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	finite-state representations, integer and real arithmetic, weak ?-automata, Decision procedure
26	Tarek Darwish, Magdy A. Bayoumi	Coefficient Elimination Algorithm for Low Energy Distributed Arithmetic DCT Architectures.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	VLSI, DCT, video compression, low energy, distributed arithmetic
26	Panagiotis Manolios, Daron Vroon 0001	Ordinal Arithmetic: Algorithms and Mechanization.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	automated reasoning, arithmetic, ACL2, ordinal
26	Hernán Wilkinson, Maximo Prieto, Luciano Romeo	Arithmetic with measurements on dynamically-typed object-oriented languages.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	measurements, smalltalk, dynamic typed, arithmetic expressions, units
26	Lena Pareto	Graphical arithmetic for learners with dyscalculia.	ASSETS	2005	DBLP DOI BibTeX RDF	dyscalculia, math disability, graphical model, arithmetic
26	Valérie Berthé, Christophe Fiorio, Damien Jamet	Generalized Functionality for Arithmetic Discrete Planes.	DGCI	2005	DBLP DOI BibTeX RDF	arithmetic planes, local configurations, functionality of discrete planes, digital planes
26	Katarzyna Radecka, Zeljko Zilic	Design Verification by Test Vectors and Arithmetic Transform Universal Test Set.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	arithmetic transform, Verification, spectral methods, error modeling, Universal Test Set, Reed-Muller transform, Walsh-Hadamard transform
26	Toshiya Yamauchi, Norimasa Yoshida, Jun Doi, Fujio Yamaguchi	Efficient method of adaptive sign detection for 4 ast 4 determinants using a standard arithmetic processing unit.	Vis. Comput.	2004	DBLP DOI BibTeX RDF	Boolean set operation, Exact integer arithmetic, Solid modeling, Geometric algorithm
26	Jan Schier, Antonin Hermanek	Using Logarithmic Arithmetic to Implement the Recursive Least Squares (QR) Algorithm in FPGA.	FPL	2004	DBLP DOI BibTeX RDF	logarithmic arithmetic, FPGA, Givens rotations
26	Bernhard Beckert, Steffen Schlager	Software Verification with Integrated Data Type Refinement for Integer Arithmetic.	IFM	2004	DBLP DOI BibTeX RDF	UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
26	Alan Skelley	A Third-Order Bounded Arithmetic Theory for PSPACE.	CSL	2004	DBLP DOI BibTeX RDF	quantified propositional calculus, Bounded arithmetic, PSPACE, propositional proof complexity
26	Joachim von zur Gathen	Arithmetic Circuits for Discrete Logarithms.	LATIN	2004	DBLP DOI BibTeX RDF	Discrete logarithm, arithmetic circuit, generic algorithm, cyclic group
26	Roberto R. Osorio, Bart Vanhoof	High Speed 4-Symbol Arithmetic Encoder Architecture for Embedded Zero Tree-Based Compression.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	arithmetic coding, entropy coding
26	Claire Whelan, Adam Duffy, Andrew Burnett, Tom Dowling	A Java API for polynomial arithmetic.	PPPJ	2003	DBLP BibTeX RDF	Java, Java, polynomial, API, arithmetic
26	Luiz Henrique de Figueiredo, Jorge Stolfi, Luiz Velho 0001	Approximating Parametric Curves with Strip Trees using Affine Arithmetic.	SIBGRAPI	2002	DBLP DOI BibTeX RDF	geometric modeling, interval arithmetic, multi-resolution, distance fields
26	Naofumi Takagi	Multiple-Valued-Digit Number Representations in Arithmetic Circuit Algorithms.	ISMVL	2002	DBLP DOI BibTeX RDF	carry-save form, carry-propagation-free addition, multiplier recoding, computer arithmetic, signed-digit number representation, digit-recurrence algorithm
26	J. Ramanujam, Satish Krishnamurthy, Jinpyo Hong, Mahmut T. Kandemir	Address Code and Arithmetic Optimizations for Embedded Systems.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	address arithmetic optimization, array access to scalar access conversion, embedded systems, compiler optimizations, pointers
26	Johannes Wolkerstorfer	Dual-Field Arithmetic Unit for GF(p) and GF(2m).	CHES	2002	DBLP DOI BibTeX RDF	multiplication, hardware implementation, inversion, Finite field arithmetic, redundant number representation, modular reduction
26	Sungwook Yu, Earl E. Swartzlander Jr.	DCT Implementation with Distributed Arithmetic.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	recursive DCT algorithm, Discrete Cosine Transform, distributed arithmetic
26	Abdeljalil Benyoub, El Mostafa Daoudi	Parallelization of the Continuous Global Optimization Problem with Inequality Constraints by Using Interval Arithmetic.	HPCN	2001	DBLP DOI BibTeX RDF	Continuous global optimization problem, Hansen's algorithm, load balancing, parallelization, Branch-And-Bound, interval arithmetic
26	Tat Ngai, Earl E. Swartzlander Jr., Chen He	Enhanced Concurrent Error Correcting Arithmetic Unit Design Using Alternating Logic.	DFT	2001	DBLP DOI BibTeX RDF	Alternating Logic, Fault Tolerance, TMR, Concurrent Error Correcting, Arithmetic Unit
26	Dietmar Fey, Marko Degenkolb	Digit Pipelined Arithmetic for 3-D Massively Parallel Optoelectronic Circuits.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	optoelectronic VLSI, signed-digit arithmetic, pipeline processing, optical interconnects, superscalar architectures
26	Achim Blumensath	Bounded Arithmetic and Descriptive Complexity.	CSL	2000	DBLP DOI BibTeX RDF	arithmetic, descriptive complexity, definability
26	T. H. Tse, Xin Feng, Tsong Yueh Chen	On the Completeness of Test Cases for Atomic Arithmetic Expressions.	APAQS	2000	DBLP DOI BibTeX RDF	completeness of test cases, software testing, mutation testing, mutation operators, Arithmetic expressions
26	G. Robert Redinbo	Hardware Fault Tolerance in Arithmetic Coding for Data Compression.	PRDC	1999	DBLP DOI BibTeX RDF	Fault-tolerant data compression, fault-tolerant rounding, protected normalization, arithmetic coding, residue codes
26	Wolfgang Heidrich, Philipp Slusallek, Hans-Peter Seidel	Sampling Procedural Shaders Using Affine Arithmetic.	ACM Trans. Graph.	1998	DBLP DOI BibTeX RDF	affine arithmetic
26	Yirng-An Chen, Randal E. Bryant	ACV: an arithmetic circuit verifier.	ICCAD	1996	DBLP DOI BibTeX RDF	Binary Moment Diagram, Formal Verification, Arithmetic circuit, BMD, Hierarchical Verification
26	Albrecht P. Stroele	Arithmetic Pattern Generators for Built-In Self-Test.	ICCD	1996	DBLP DOI BibTeX RDF	Arithmetic functions, built-in self-test, design for testability, pattern generator
26	Susanto Rahardja, Bogdan J. Falkowski	Fast Linearly Independent Arithmetic Expansions.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	arithmetic and adding transforms, linearly independent logic, linearly independent arithmetic transform, fast transforms
26	Steven Fortune, Christopher J. Van Wyk	Static Analysis Yields Efficient Exact Integer Arithmetic for Computational Geometry.	ACM Trans. Graph.	1996	DBLP DOI BibTeX RDF	adaptive precision, exact integer arithmetic, robustness, efficiency, geometry, preprocessing, arithmetic, geometric primitives
26	Noam Nisan, Avi Wigderson	Lower Bounds for Arithmetic Circuits via Partial Serivatives (Preliminary Version).	FOCS	1995	DBLP DOI BibTeX RDF	restricted classes, computational complexity, lower bounds, digital arithmetic, polynomials, logic circuits, arithmetic circuits, multivariate polynomials, complexity measure, minimisation of switching nets, partial derivatives
26	Priyadarsan Patra, Donald S. Fussell	Fully asynchronous, robust, high-throughput arithmetic structures.	VLSI Design	1995	DBLP DOI BibTeX RDF	fully asynchronous structures, high-throughput arithmetic structures, bit serial adders, scaleability, VLSI, digital arithmetic, asynchronous circuits, adders, integrated logic circuits, multiplying circuits, RSA cryptosystems, delay-insensitive, bit serial multipliers
26	David M. Lewis	Interleaved Memory Function Interpolators with Application to an Accurate LNS Arithmetic Unit.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	read-only storage, interleaved memory function interpolators, accurate LNS arithmetic unit, accuracy requirements, round to nearest, 91 kbit, interpolation, digital arithmetic, polynomials, error analysis, floating point, approximation theory, ROM, polynomial interpolation, 32 bit, storage requirements
26	Kishore Kota, Joseph R. Cavallaro	Numerical Accuracy and Hardware Tradeoffs for CORDIC Arithmetic for Special-Purpose Processors.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	numerical accuracy, hardware tradeoffs, CORDIC arithmetic, special-purpose processors, coordinate rotation digital computer, real-time signal processing, Y-reduction mode, inverse tangent function, floating-point CORDIC, special-purpose arrays, signal processing, digital arithmetic, hybrid architecture, implementation complexity
26	Behrooz Parhami	On the Implementation of Arithmetic Support Functions for Generalized Signed-Digit Number Systems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	zero detection, arithmetic support functions, generalized signed-digit number systems, OSD number representation, borrow-free subtraction, overflow handling, digital arithmetic, redundant number representations, carry-free addition, sign detection
26	Isaac D. Scherson, David A. Kramer, Brian D. Alleyne	Bit-Parallel Arithmetic in a Massively-Parallel Associative Processor.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	bit-parallel arithmetic, massively-parallel associative processor, storage cells, floating point data, VLSI, VLSI, parallel architectures, fast Fourier transform, fast Fourier transforms, digital arithmetic, matrix multiplication, multiplication, division
26	Don Coppersmith, Baruch Schieber	Lower Bounds on the Depth of Monotone Arithmetic Computations (Extended Summary)	FOCS	1992	DBLP DOI BibTeX RDF	monotone arithmetic computations, binary computation tree, alternating 5-3 trees, computational complexity, lower bounds, depth, tight bound, arithmetic expression
26	Fang-shi Lai, Ching-Farn Eric Wu	A Hybrid Number System Processor with Geometric and Complex Arithmetic Capabilities.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	hybrid number system processor, floating-point number system, geometric, digital arithmetic, multiplication, division, square root, logarithmic number system, square, complex arithmetic
26	Stanislaw J. Piestrak	Design of High-Speed and Cost-Effective Self-Testing Checkers for Low-Cost Arithmetic Codes.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	complexity, logic testing, logic design, automatic testing, digital arithmetic, logic circuits, error-detecting codes, error detection codes, arithmetic codes, gate levels, self-testing checkers
26	M. Scott	Fast Rounding in Multiprecision Floating-Slash Arithmetic.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	multiprecision floating-slash arithmetic, fixed-length multiprecision, single-precision operations, rounding process, digital arithmetic, computational algorithm
26	Victor Milenkovic	Double Precision Geometry: A General Technique for Calculating Line and Segment Intersections Using Rounded Arithmetic	FOCS	1989	DBLP DOI BibTeX RDF	segment arrangement algorithm, geometric constructions, rounded arithmetic, double-precision geometry, monotonicity, floating-point arithmetic
26	Jeffrey H. Lang, Charles A. Zukowski, Richard O. LaMaire, Chae H. An	Integrated-Circuit Logarithmic Arithmetic Units.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	Arithmetic unit comparisons, logarithmic arithmetic, multiplier-accumulators, special-purpose digital signal processors, VLSI
26	Rudi Klatte, Christian P. Ullrich, Jürgen Wolff von Gudenberg	Arithmetic Specification for Scientific Computation in ADA.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	Arithmetic packages in ADA, maximum accuracy, numerical data types, optimal dot product, scientific computation, computer arithmetic
26	Nikolaos Gaitanis, Constantin Halatsis	Near-Perfect Codes for Binary-Coded Radix-r Arithmetic Units.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	AN codes, binary-coded radix-r arithmetic, error-correcting codes, arithmetic codes
26	Fred J. Taylor	A VLSI Residue Arithmetic Multiplier.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	multiplication, Modular arithmetic, residue arithmetic
26	G. Robert Redinbo	Finite Field Arithmetic on an Array Processor.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	signal processing computers, modulo p arithmetic, sequence convolutions, fast Fourier transforms, Fourier transforms, Array processors, finite field arithmetic, polynomial multiplications
26	Ferruccio Barsi, Piero Maestrini	Arithmetic Codes in Residue Number Systems with Magnitude Index.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	magnitude index, error detection, error correction, residue number systems, Arithmetic codes, residue arithmetic
26	Behrooz Parhami, Algirdas Avizienis	Detection of Storage Errors in Mass Memories Using Low-Cost Arithmetic Error Codes.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	unidirectional failures, Arithmetic error codes, low-cost arithmetic codes, magnetic-recording memories, mass memories, storage errors, two-dimensional burst errors, residue codes, shift-register memories, product codes, fault-tolerant memories
26	Yu Pang, Katarzyna Radecka	Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform.	DAC	2008	DBLP DOI BibTeX RDF	DSP circuit synthesis, optimization, error analysis, Taylor Series
26	T. Mahadeva Rao, Lawrence Helber	An Implementation of Multiple Modulus Arithmetic and Its Comparison to Floating Point Arithmetic.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
25	Frank Nielsen	Beyond scalar quasi-arithmetic means: Quasi-arithmetic averages and quasi-arithmetic mixtures in information geometry.	CoRR	2023	DBLP DOI BibTeX RDF
25	Massimiliano Fasi, Mantas Mikaitis	Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic.	ARITH	2021	DBLP DOI BibTeX RDF
24	Alberto Nannarelli, Peter-Michael Seidel, Ping Tak Peter Tang (eds.)	21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013	IEEE Symposium on Computer Arithmetic	2013	DBLP BibTeX RDF