The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Arithmetic with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1946-1958 (19) 1959-1960 (23) 1961-1962 (19) 1963-1964 (21) 1965 (18) 1966-1967 (25) 1968-1969 (30) 1970 (16) 1971-1972 (58) 1973 (27) 1974 (23) 1975 (72) 1976 (34) 1977 (45) 1978 (71) 1979 (28) 1980 (28) 1981 (63) 1982 (46) 1983 (75) 1984 (41) 1985 (114) 1986 (58) 1987 (96) 1988 (88) 1989 (126) 1990 (148) 1991 (142) 1992 (131) 1993 (164) 1994 (143) 1995 (213) 1996 (147) 1997 (217) 1998 (249) 1999 (288) 2000 (278) 2001 (320) 2002 (318) 2003 (453) 2004 (466) 2005 (541) 2006 (635) 2007 (645) 2008 (639) 2009 (476) 2010 (281) 2011 (292) 2012 (253) 2013 (289) 2014 (287) 2015 (274) 2016 (301) 2017 (363) 2018 (348) 2019 (374) 2020 (396) 2021 (379) 2022 (413) 2023 (473) 2024 (125)
Publication types (Num. hits)
article(5459) book(33) incollection(93) inproceedings(6943) phdthesis(155) proceedings(42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6304 occurrences of 2449 keywords

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