Search results for "Arithmetic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Marius Bozga, Radu Iosif	On Decidability Within the Arithmetic of Addition and Divisibility.	FoSSaCS	2005	DBLP DOI BibTeX RDF
31	Michael Dyer, David Taubman, Saeid Nooshabadi	Reduced latency arithmetic decoder for JPEG2000 block decoding.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
31	Ajay Kumar Verma, Paolo Ienne	Improved use of the carry-save representation for the synthesis of complex arithmetic circuits.	ICCAD	2004	DBLP DOI BibTeX RDF
31	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Fault Tolerant Arithmetic with Applications in Nanotechnology based Systems.	ITC	2004	DBLP DOI BibTeX RDF
31	Euiseok Kim, Hiroshi Saito, Jeong-Gun Lee, Dong-Ik Lee, Hiroshi Nakamura, Takashi Nanya	Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units.	DATE	2003	DBLP DOI BibTeX RDF
31	Liang Ming, Guihai Xie, Yinlong Wang	An Image Enhancement Arithmetic Research Based on Fuzzy Set and Histogram.	RSFDGrC	2003	DBLP DOI BibTeX RDF
31	Warren A. Hunt Jr., Robert Bellarmine Krug, J Strother Moore	Linear and Nonlinear Arithmetic in ACL2.	CHARME	2003	DBLP DOI BibTeX RDF
31	Adam R. Klivans, Amir Shpilka	Learning Arithmetic Circuits via Partial Derivatives.	COLT	2003	DBLP DOI BibTeX RDF	learning with queries, PAC learning
31	Jean-Sébastien Coron, Alexei Tchulkine	A New Algorithm for Switching from Arithmetic to Boolean Masking.	CHES	2003	DBLP DOI BibTeX RDF
31	Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane	Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m).	CAV	2001	DBLP DOI BibTeX RDF
31	Junhyung Um, Taewhan Kim, C. L. Liu 0001	A fine-grained arithmetic optimization technique for high-performance/low-power data path synthesis.	DAC	2000	DBLP DOI BibTeX RDF
31	Antonio García 0001, Uwe Meyer-Bäse, Antonio Lloris-Ruíz, Fred J. Taylor	RNS implementation of FIR filters based on distributed arithmetic using field-programmable logic.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
31	Krste Asanovic, Nelson Morgan, John Wawrzynek	Using simulations of reduced precision arithmetic to design a neuro-microprocessor.	J. VLSI Signal Process.	1993	DBLP DOI BibTeX RDF
31	Wayne P. Burleson, Louis L. Scharf	A VLSI design methodology for distributed arithmetic.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF
31	Ian Pratt-Hartmann, Ivo Düntsch	Functions Definable by Arithmetic Circuits.	CiE	2009	DBLP DOI BibTeX RDF	integer expression, complex algebra, Arithmetic circuit, expressive power
31	Manuel N. Gamito, Steve C. Maddock	Ray casting implicit fractal surfaces with reduced affine arithmetic.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Procedural noise functions, Implicit surfaces, Ray casting, Affine arithmetic
31	Gregorio de Miguel Casado, Juan Manuel García Chamizo, María Teresa Signes Pont	Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers.	CiE	2007	DBLP DOI BibTeX RDF	formal methods for VLSI design, Type-2 Theory of Effectivity, online arithmetic
31	Tian-Shyr Dai, Jr-Yan Wang, Hui-Shan Wei	An Ingenious, Piecewise Linear Interpolation Algorithm for Pricing Arithmetic Average Options.	AAIM	2007	DBLP DOI BibTeX RDF	Arithmetic average options, logarithmically equally-spaced placement, adaptive placement
31	Maria Axenovich, Ryan R. Martin	Sub-Ramsey Numbers for Arithmetic Progressions.	Graphs Comb.	2006	DBLP DOI BibTeX RDF	Sub-Ramsey, Arithmetic progressions, Bounded colorings
31	Constantinos Bartzis, Tevfik Bultan	Efficient BDDs for bounded arithmetic constraints.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, BDD, Integer arithmetic, SMV
31	Gunnar Gaubatz, Berk Sunar, Mark G. Karpovsky	Non-linear Residue Codes for Robust Public-Key Arithmetic.	FDTC	2006	DBLP DOI BibTeX RDF	Robust arithmetic, non-linear residue codes, fault tolerance, error detection, public-key cryptography
31	Nicole Schweikardt	Arithmetic, first-order logic, and counting quantifiers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic
31	Manos Renieris, Shashank Ramaprasad, Steven P. Reiss	Arithmetic program paths.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	bit-tracing, branch prediction, arithmetic coding
31	G. Robert Redinbo	Failure-Detecting Arithmetic Convolutional Codes and an Iterative Correcting Strategy.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	convolutional codes over integers, free modules, burst-correcting codes, real number codes, Algorithm-based fault tolerance, iterative decoding, fixed-point arithmetic, syndrome decoding
31	Sami Khawam, Tughrul Arslan, Fred Westall	Domain-Specific Reconfigurable Array for Distributed Arithmetic.	FPL	2003	DBLP DOI BibTeX RDF	Embedded reconfigurable array, FPGA, low-power, programmable, distributed arithmetic, domain specific
31	Man Hon Lo, Kwok Yip Szeto	Searching Solutions in the Crypto-arithmetic Problems: An Adaptive Parallel Genetic Algorithm Approach.	AI	2003	DBLP DOI BibTeX RDF	Crypto-arithmetic problems, Genetic Algorithm, Parallel Search
31	Masanori Muroyama, Tohru Ishihara, Akihiko Hyodo, Hiroto Yasuura	A Power Minimization Technique for Arithmetic Circuits by Cell Selection.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	cell based design, low power, arithmetic circuits
31	Mirko Navara, Zdenek Zabokrtský	How to make constrained fuzzy arithmetic efficient.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Fuzzy interval, Fuzzy number, Fuzzy arithmetic
31	Dima Grigoriev, Alexander A. Razborov	Exponential Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions over Finite Fields.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Exponential lower bounds, Depth 3 arithmetic circuits, Finite fields
31	Deepak Kapur, Mahadevan Subramaniam	Using an induction prover for verifying arithmetic circuits.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Induction, Automated reasoning, Decision procedures, Rewriting, Arithmetic circuits, Hardware verification
31	Colin D. Walter	Data Integrity in Hardware for Modular Arithmetic.	CHES	2000	DBLP DOI BibTeX RDF	checker circuit, fault tolerance, testing, cryptography, data integrity, RSA, Computer arithmetic, correctness, error correction, soft errors, Montgomery multiplication, modular multiplication, modular exponentiation
31	Alistair Moffat, Radford M. Neal, Ian H. Witten	Arithmetic Coding Revisited.	ACM Trans. Inf. Syst.	1998	DBLP DOI BibTeX RDF	approximate coding, word-based model, arithmetic coding, text compression
31	Dima Grigoriev, Alexander A. Razborov	Exponential Complexity Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions Over Finite Fields.	FOCS	1998	DBLP DOI BibTeX RDF	depth 3 arithmetic circuits, exponential lower bounds, approximating by sparse polynomials
31	G. K. Grigoriadis, Basil G. Mertzios	Implementation of the velocities of the end-effector with the distributed arithmetic architecture.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	linear velocity, positional and orientational Jacobian matrices, distributed arithmetic and end-effector, pipelining, robot kinematics, fast implementation, angular velocity
31	Higinio Mora Mora, Jerónimo Mora Pascual, Juan Manuel García Chamizo, Antonio Jimeno-Morenilla	Real-time arithmetic unit.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Real-time, Computer arithmetic, Imprecise computation, Multiple-precision arithmetic
31	Robert Granger, Dan Page, Martijn Stam	Hardware and Software Normal Basis Arithmetic for Pairing-Based Cryptography in Characteristic Three.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	computer arithmetic, Public key cryptosystems, high-speed arithmetic
31	Albrecht P. Stroele, Steffen Tarnick	Embedded Checker Architectures for Cyclic and Low-Cost Arithmetic Codes.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	code checkers, code word accumulators, code word generators, embedded checkers, cyclic arithmetic codes, low-cost arithmetic codes, built-in self-test, on-line test, totally self-checking checkers
31	Ching-Long Su, Yin-Tsung Hwang	Distributed arithmetic-based architectures for high speed IIR filter design.	ICPADS	1996	DBLP DOI BibTeX RDF	high speed IIR filter, pipelining techniques, SPDM technology, parallel processing, parallel architectures, digital arithmetic, recursion, recursive filters, Distributed Arithmetic, IIR filters, DSP applications
31	Xiaonong Ran, C. Y. Choo	Syntax-based arithmetic video coding for very low bit rate visual telephony.	ICIP	1995	DBLP DOI BibTeX RDF	very low bit rate visual telephony, syntax-based arithmetic coding, finite homogeneous Markov chains, source entropy coding, layered structure, video coding, video coding, Markov processes, source coding, arithmetic codes, entropy codes, videotelephony
31	Chin-Long Wey, Haiyan Wang, Cheng-Ping Wang	A self-timed redundant-binary number to binary number converter for digital arithmetic processors.	ICCD	1995	DBLP DOI BibTeX RDF	convertors, self-timed redundant-binary number to binary number converter, digital arithmetic processors, self-timed converter circuit, variable conversion time, statistical upper bound, delays, digital arithmetic, propagation delay, redundant number systems
31	Nilanjan Mukherjee 0001, H. Kassab, Janusz Rajski, Jerzy Tyszer	Arithmetic built-in self test for high-level synthesis.	VTS	1995	DBLP DOI BibTeX RDF	arithmetic built-in self test, data path architectures, arithmetic blocks, compact test responses, testable circuit synthesis, logic testing, built-in self test, high level synthesis, high-level synthesis, integrated circuit testing, logic CAD, testability, abstract level, test vectors, state coverage
31	Lyle B. Smith	Interval arithmetic determinant evaluation and its use in testing for a Chebyshev system.	Commun. ACM	1969	DBLP DOI BibTeX RDF	Chebyshev system, determinant evaluation, mathematical proof by computer, range arithmetic, interval arithmetic, error bounds
31	Sohan Purohit, Sai Rahul Chalamalasetti, Martin Margala	A 1.2v, 1.02 ghz 8 bit SIMD compatible highly parallel arithmetic data path for multi-precision arithmetic.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	performance, design
29	Mark A. Erle, Michael J. Schulte, Brian J. Hickmann	Decimal Floating-Point Multiplication Via Carry-Save Addition.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
29	Nachiket Kapre, André DeHon	Optimistic Parallelization of Floating-Point Accumulation.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
29	Philippe Langlois, Nicolas Louvet	How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
29	Merav Aharoni, Ron Maharik, Abraham Ziv	Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
29	Nicolas Brisebarre, Jean-Michel Muller	Correctly Rounded Multiplication by Arbitrary Precision Constants.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
29	Jean-Michel Muller, Arnaud Tisserand, Benoît Dupont de Dinechin, Christophe Monat	Division by Constant for the ST100 DSP Microprocessor.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
29	Arch D. Robison	N-Bit Unsigned Division via N-Bit Multiply-Add.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
29	Sylvie Boldo, Marc Daumas	Representable Correcting Terms for Possibly Underflowing Floating Point Operations.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
29	Arash Reyhani-Masoleh, M. Anwarul Hasan	Low Complexity Sequential Normal Basis Multipliers over GF(2m).	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF	Finite field, optimal normal basis, Massey-Omura multiplier
29	Cristina Iordache, Ping Tak Peter Tang	An Overview of Floating-Point Support and Math Library on the Intel XScaleTM Architecture.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
29	Mark G. Arnold, Jesus Garcia, Michael J. Schulte	The Interval Logarithmic Number System.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
29	Vassilis Paliouras, Thanos Stouraitis	Low-Power Properties of the Logarithmic Number System.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
29	M. Anwarul Hasan	Efficient Computation of Multiplicative Inverses for Cryptographic Applications.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
29	Braden Phillips	Optimised Squaring of Long Integers Using Precomputed Partial Products.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
29	Martin S. Schmookler, Michael Putrino, Anh Mather, Jon Tyler, Huy Van Nguyen, Charles Roth, Mukesh Sharma, Mydung N. Pham, Jeff Lent	A Low-Power, High-Speed Implementation of a PowerPC(tm) Microprocessor Vector Extension.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
29	Thomas Blum	Montgomery Modular Exponentiation on Reconfigurable Hardware.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
29	Michael Parks	Number-Theoretic Test Generation for Directed Rounding.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
29	Manish Bhardwaj, Thambipillai Srikanthan, Christopher T. Clarke	A Reverse Converter for the 4-moduli Superset {2n-1, 2n, 2n+1, 2n+1+1}.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
29	Eric Rice, Richard Hughey	Multiprecision Division on an 8-bit Processor.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF
29	Walter Krämer	A Priori Worst-Case Error Bounds for Floating-Point Computations.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	Reliable Error Estimates, Table-lookup Algorithm, Error Bounds, Floating-Point Computations
29	Jean-Michel Muller, Arnaud Tisserand, Alexandre Scherbyna	Semi-Logarithmic Number Systems.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
29	Masayuki Ito, Naofumi Takagi, Shuzo Yajima	Efficient Initial Approximation and Fast Converging Methods for Division and Square Root.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
29	Tim Coe, Ping Tak Peter Tang	It Takes Six Ones To Reach a Flaw.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
29	Peter Soderquist, Miriam Leeser	An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	Newton-Raphson method, Goldschmidt's algorithm, microprocessor, Floating-point, division, square root, SRT
29	Song Cui, Neil Burgess, Michael J. Liebelt, Kamran Eshraghian	A GaAs IEEE Floating Point Standard Single Precision Multiplier.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	floating point multiplier, rounding algorithm, modified carry save array, GaAs technology
29	Nariankadu D. Hemkumar, Joseph R. Cavallaro	Efficient complex matrix transformations with CORDIC.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
27	Rooju Chokshi, Krzysztof S. Berezowski, Aviral Shrivastava, Stanislaw J. Piestrak	Exploiting residue number system for power-efficient digital signal processing in embedded processors.	CASES	2009	DBLP DOI BibTeX RDF	compiler, power, processor, residue number system, per-
27	Ran Raz, Iddo Tzameret	The Strength of Multilinear Proofs.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	Subject classification. 03F20, 68Q17, 13P10
27	Horácio C. Neto, Mário P. Véstias	Decimal multiplier on FPGA using embedded binary multipliers.	FPL	2008	DBLP DOI BibTeX RDF
27	Shuvendu K. Lahiri, Madanlal Musuvathi	Solving Sparse Linear Constraints.	IJCAR	2006	DBLP DOI BibTeX RDF
27	Ran Raz, Amir Shpilka	Deterministic polynomial identity testing in non-commutative models.	Comput. Complex.	2005	DBLP DOI BibTeX RDF	68Q25, Subject classification
27	Jong Woo Won, Hyun Soo Ahn, Wook Joong Kim, Euee S. Jang	Bit-Precision Method for Low Complex Lossless Image Coding.	ICIC (1)	2005	DBLP DOI BibTeX RDF
27	Ran Raz, Amir Shpilka	Deterministic Polynomial Identity Testing in Non-Commutative Models.	CCC	2004	DBLP DOI BibTeX RDF
27	Valentine Kabanets, Russell Impagliazzo	Derandomizing polynomial identity tests means proving circuit lower bounds.	STOC	2003	DBLP DOI BibTeX RDF	BPP, NEXP, circuit lower bounds, derandomization, polynomial identity testing
27	Detlef Hühnlein	Efficient Implementation of Cryptosystems Based on Non-maximal Imaginary Quadratic Orders.	Selected Areas in Cryptography	1999	DBLP DOI BibTeX RDF
27	Fred G. Gustavson, José E. Moreira, Robert F. Enenkel	The fused multiply-add instruction leads to algorithms for extended-precision floating point: applications to java and high-performance computing.	CASCON	1999	DBLP BibTeX RDF	Java
27	Liang-Kai Wang, Michael J. Schulte	A Decimal Floating-Point Divider Using Newton-Raphson Iteration.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	Newton-Raphson iteration, initial approximation, computer arithmetic, floating-point, division, hardware design, decimal
27	Mark G. Arnold, Panagiotis D. Vouzis	A Serial Logarithmic Number System ALU.	DSD	2007	DBLP DOI BibTeX RDF	Serial Arithmetic, Logarithmic Number System
27	Yue Hou, Jinyun Pu	The Intelligent Damage Assessment and Intelligent Reconfiguration System of Ship Diesel System.	SNPD (3)	2007	DBLP DOI BibTeX RDF	Graph theory, Reconfiguration, Arithmetic, Breadth first search, Damage assessment
27	Zizhong Chen, Graham E. Fagg, Edgar Gabriel, Julien Langou, Thara Angskun, George Bosilca, Jack J. Dongarra	Fault tolerant high performance computing by a coding approach.	PPoPP	2005	DBLP DOI BibTeX RDF	floating-point arithmetic coding, fault tolerance, message passing interface, high performance computing
27	Viktor K. Sabelfeld, Kai Kapp	Numeric Types in Formal Synthesis.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	correct hardware synthesis, formal specification, higher-order logic, theorem prover, arithmetic operations
27	W. Neville Holmes, Colin Hallam	The Philosophy of Nothing and Everything.	APL	1995	DBLP DOI BibTeX RDF	indeterminate, APL, comparison, floating point, arithmetic, tolerance, zero, J, infinity
27	G. R. Blakley	Information Theory Without the Finiteness Assumption, II: Unfolding the DES.	CRYPTO	1985	DBLP DOI BibTeX RDF	Caesar cipher, codomain, polyalphabet, ramp scheme, toroidal matrix, distributivity, composite, product, group, code, continuous, function, position, diffusion, associativity, discrete, message, relation, DES, ring, arithmetic, domain, matrix, galois field, substitution, symbol, commutativity, cryptosystem, replacement, field, vector space, universal algebra, threshold scheme, transposition, symmetric group, confusion, sum, cyclic group, alphabet
27	Byeong-Gyu Nam, Hyejung Kim, Hoi-Jun Yoo	Power and Area-Efficient Unified Computation of Vector and Elementary Functions for Handheld 3D Graphics Systems.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	unified arithmetic unit, handheld systems, Computer Arithmetic, logarithmic number system, vector operations, transcendental functions, 3D computer graphics
27	Luigi Dadda	Multioperand Parallel Decimal Adder: A Mixed Binary and BCD Approach.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	multioperand adders, Computer arithmetic, hardware design, decimal arithmetic
27	Sivaram Gopalakrishnan, Priyank Kalla	Optimization of polynomial datapaths using finite ring algebra.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	arithmetic datapaths, finite ring algebra, modulo arithmetic, polynomial datapaths, High-level synthesis
27	Viktor Bunimov, Manfred Schimmler	Efficient Parallel Multiplication Algorithm for Large Integres.	Euro-Par	2003	DBLP DOI BibTeX RDF	large number arithmetic, redundant numbers, Computer arithmetic, integer multiplication, carry save addition, parallel multiplication
27	Ahmet Akkas	A Combined Interval and Floating-Point Comparator/Selector.	ASAP	2002	DBLP DOI BibTeX RDF	VLSI design, Interval arithmetic, floating-point arithmetic, comparator, specialized hardware, selector
27	Johann Großschädl	The Chinese Remainder Theorem and its Application in a High-Speed RSA Crypto Chip.	ACSAC	2000	DBLP DOI BibTeX RDF	RSA/spl gamma/ crypto-chip, RSA encryption scheme, hardware performance, long-integer modular arithmetic, private key operations, multiplier architecture, high-speed hardware accelerator, reconfigurable multiplier datapath, word-serial multiplier, modular reduction method, multiplier core, decryption rate, 200 MHz, 560 kbit/s, 2 Mbit/s, parallelism, pipelining, public key cryptography, reconfigurable architectures, clocks, Chinese Remainder Theorem, microprocessor chips, multiplying circuits, modular multiplications, modular exponentiations, pipeline arithmetic, clock frequency
27	Yuji Ohi, Takafumi Aoki, Tatsuo Higuchi 0001	Redundant Complex Number Systems.	ISMVL	1995	DBLP DOI BibTeX RDF	redundant complex number systems, complex number representations, high-speed arithmetic circuits, positional number system, binary-tree multiple-operand addition, arithmetic algorithms, redundant number systems, carry-free addition
27	Geoff Barrett	Formal Methods Applied to a Floating-Point Number System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
27	Steven J. Zeil	Perturbation Techniques for Detecting Domain Errors.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	sensitivity measures, individual test points, domain errors, perturbing functions, potential faults, standard optimization techniques, novel test-data-generation method, arithmetic fault detection, perturbation techniques, software testing, error detection, error detection, program testing, test set, vector space, arithmetic expressions
27	Ruzica Piskac, Viktor Kuncak	Linear Arithmetic with Stars.	CAV	2008	DBLP DOI BibTeX RDF
27	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30
27	Mark Goresky, Andrew Klapper	Some Results on the Arithmetic Correlation of Sequences.	SETA	2008	DBLP DOI BibTeX RDF	correlation, sequences, pseudo-randomness, feedback with carry shift register
27	Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.	SAT	2008	DBLP DOI BibTeX RDF
27	Markus Wedler, Dominik Stoffel, Raik Brinkmann, Wolfgang Kunz	A Normalization Method for Arithmetic Data-Path Verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF