Search results for "Arithmetic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Stanislaw Majerski	Square-root algorithms for high-speed digital circuits.	IEEE Symposium on Computer Arithmetic	1983	DBLP DOI BibTeX RDF
24	Ravindra V. Donthi, Mohammed Saleem, Harpreet Singh 0001	On bit sequential multipliers.	IEEE Symposium on Computer Arithmetic	1983	DBLP DOI BibTeX RDF
24	Kishor S. Trivedi, Daniel E. Atkins (eds.)	5th IEEE Symposium on Computer Arithmetic, ARITH 1981, Ann Arbor, MI, USA, May 16-19, 1981	IEEE Symposium on Computer Arithmetic	1981	DBLP BibTeX RDF
24	Rob A. Rutenbar, Y. E. Park	Case study of a VLSI design project: A simple inner product machine.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Robert Willoner, I-Ngo Chen	An algorithm for modular exponentiation.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	J. B. Gosling, John H. Zurawski, David B. G. Edwards	A chip-set for a high-speed low-cost floating-point unit.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	George S. Taylor, David A. Patterson 0001	VAX hardware for the proposed IEEE floating-point standard.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Panos A. Ligomenides, Robert Newcomb 0001	Complement representations in the Fibonacci computer.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Shauchi Ong, Daniel E. Atkins	Towards quantitative comparison of computer number systems.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Diem Dinh Nguyen	A systematic approach to the design of structures for addition and subtraction - Case of radix r = mk.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Saroj Kaushik, R. K. Arora	Sign detection in the Symmetric Residue Number System.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Christos A. Papachristou	Algorithms for parallel addition and parallel polynomial evaluation.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Hideaki Kobayashi	A fast multi-operand multiplication scheme.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Hong Peng	Algorithms for extracting square roots and cube roots.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	George S. Taylor	Compatible hardware for division and square root.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	T. Mahadeva Rao, Robert T. Gregory	The conversion of Hensel codes to rational numbers.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	Kai Hwang 0001, Yeng-Heng Cheng	Partitioned algorithms and VLSI structures for large-scale matrix computations.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24	P. Michael Farmwald	High bandwidth evaluation of elementary functions.	IEEE Symposium on Computer Arithmetic	1981	DBLP DOI BibTeX RDF
24		4th IEEE Symposium on Computer Arithmetic, ARITH 1978, Santa Monica, CA, USA, October 25-27, 1978	IEEE Symposium on Computer Arithmetic	1978	DBLP BibTeX RDF
24	Graham A. Jullien, William C. Miller	Application of the residue number system to computer processing of digital signals.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Fabio Alberto Schreiber, R. Stefanelli	Two methods for fast integer binary-BCD conversion.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Israel Koren, Yoram Maliniak	A unified approach to a class of number systems.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	David W. Matula	Basic digit sets for radix representation of the integers.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Kwang G. Tan	The theory and implementations of high-radix division.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Kishor S. Trivedi, Joseph G. Rusnak	Higher radix on-line division.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Oscar N. Garcia, Harvey Glass, Stanley C. Haimes	An approximate and empirical study of the distribution of adder inputs and maximum carry length propagation.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Daniel E. Atkins, Shauchi Ong	A comparison of two approaches to multi-operand binary addition.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Danny Cohen	Mathematical approach to iterative computation networks.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	David W. Matula, Peter Kornerup	A feasibility analysis of binary fixed-slash and floating-slash number systems.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Arunas G. Slekys, Algirdas Avizienis	A modified bi-imaginary number system.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	E. V. Kriphnamurthy, H. Venkateswaran	Multivariable polynomial processing - Applications to interpolation.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Celia Wrathall, Tien Chi Chen	Convergence guarantee and improvements for a fast hardware exponential and logarithm evaluation scheme.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Luigi Dadda	Multiple addition of binary serial numbers.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Catherine Y. Chow, James E. Robertson	Logical design of a redundant binary adder.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Raymond S. Lim	High-speed multiplication and multiple summand addition.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Krzysztof S. Frankowski	A realistic model for error estimates in the evaluation of elementary functions.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Milos D. Ercegovac	An on-line square rooting algorithm.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Arnold Weinberger	Parallel adders using standard plas.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	Sigurd L. Lillevik, P. David Fisher	Computational design alternatives with microprocessor-based systems.	IEEE Symposium on Computer Arithmetic	1978	DBLP DOI BibTeX RDF
24	T. R. N. Rao, David W. Matula (eds.)	3rd IEEE Symposium on Computer Arithmetic, ARITH 1975, Dallas, TX, USA, November 19-20, 1975	IEEE Symposium on Computer Arithmetic	1975	DBLP BibTeX RDF
24	Gerd Bohlender	Floating-point computation of functions with maximum accuracy.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Milos D. Ercegovac	A general method for evaluation of functions and computations in a digital computing.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Gary W. Cobb	The impact of parallelism on software.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	David J. Kuck, Douglas Stott Parker Jr., Ahmed H. Sameh	ROM-rounding: A new rounding scheme.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Jan G. Kent	Comparison sets: A useful partitioning of the space of floating point operand pairs.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Arnold Weinberger	High-speed zero-sum detection.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Roy A. Keir	Programmer-controlled roundoff and the selection of a stable roundoff rule.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Jean P. Chinal	The logic of modulo 2k + 1 adders.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Caxton C. Foster, Edward M. Riseman, Fred G. Stockton, Conrad Wogrin	A novel multiply-by-three circuit.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	G. Jack Lipovski	On residue number A/D and D/A converters.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Dilip K. Banerji	On combinational logic for sign detection in residue number systems.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Robert T. Gregory, David W. Matula	Base conversion in residue number systems.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Roy A. Keir	Compatible number representations.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Armen Gabrielian	Formal systems of numerals.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Daniel E. Atkins	Higher radix, non-restoring division: History and recent developments.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Peter Kornerup	A unified numeric data type in Pascal.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Antonín Svoboda	Self-checking adder for large scale integration.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Michael Benedek	Developing large binary to BCD conversion structures.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24	Kishor S. Trivedi, Milos D. Ercegovac	On-line algorithms for division and multiplication.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
24		2nd IEEE Symposium on Computer Arithmetic, ARITH 1972, College Park, MD, USA, May 15-16, 1972	IEEE Symposium on Computer Arithmetic	1972	DBLP BibTeX RDF
24	P. Monteiro, T. R. N. Rao	Multiresidue codes for double error correction.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	M. S. Schmookler	Considerations in the design of a high speed decimal unit.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	John Stephen Walther	A floating point processor for elementary functions.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	W. E. Glass	Programming a vector computer.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Amnon Bracha	Application of continued fractions for fast evaluation of certain functions on a digital computer.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	C. V. Ramamoorthy, K. H. Kim	Two optimal square-rooting algorithms ussing iterative multiplication.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Dilip K. Banerji	"A novel implementation method for addition and subtraction in residue number systems".	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	John D. Marasa, David W. Matula	A simulative study of correlated error propagation in various finite arithmetics.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Milos D. Ercegovac	Eadix l6 evaluation of some elementary functions.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Daniel E. Atkins	The analysis and design of a class of quotient digit selectors.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Gururaj S. Rao, A. V. Krishnamurthy, M. Nagesh Rao	A negative-binary adder-subtracter.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Antonín Svoboda	Parallel processing in Boolean algebra.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Gururaj S. Rao, E. V. Krishnamurthy, M. Negesh Rao	A polarizer for negative binary numbers.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Richard P. Brent	On the precision attainable with various floating-point number systems.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Nicholas C. Metropolis	Analyzed binary computing.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	Stephen S. Yau, Yu-Cheng Liu	Error correction in redundant residue number systems.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	David H. Jacobsohn	A combinatoric division algorithm for fixed integer divisors.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	James E. Robertson, Kishor S. Trivedi	The status of investigations into the use of continued fractions for computer hardware.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	T. L. Cauthen, T. R. Rao	Analog techniques for residue operations.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
24	R. O. Whitaker	Changing from the Arabic-decimal system to the "Assembler Digit-Base-16" system.	IEEE Symposium on Computer Arithmetic	1972	DBLP DOI BibTeX RDF
23	Luca Trevisan	Guest column: additive combinatorics and theoretical computer science.	SIGACT News	2009	DBLP DOI BibTeX RDF
23	Alexander Kalinkin, Yuri M. Laevsky, Sergey Gololobov	2D Fast Poisson Solver for High-Performance Computing.	PaCT	2009	DBLP DOI BibTeX RDF
23	Yuji Yoshida	Aggregated Mean Ratios of an Interval Induced from Aggregation Operations.	MDAI	2008	DBLP DOI BibTeX RDF
23	Namrata Shekhar, Sudhakar Kalla, Florian Enescu	Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
23	Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau	Expression equivalence checking using interval analysis.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
23	Michael T. Frederick, Arun K. Somani	Multi-Bit Carry Chains for High-Performance Reconfigurable Fabrics.	FPL	2006	DBLP DOI BibTeX RDF
23	Lutz Kettner, Kurt Mehlhorn, Sylvain Pion, Stefan Schirra, Chee-Keng Yap	Reply to "Backward Error Analysis ...".	ICCSA (1)	2006	DBLP DOI BibTeX RDF
23	Vladimir Kotlyar, Mayan Moudgill	Detecting overflow detection.	CODES+ISSS	2004	DBLP DOI BibTeX RDF
23	Bengu Li, Rajiv Gupta 0001	Simple offset assignment in presence of subword data.	CASES	2003	DBLP DOI BibTeX RDF	SWOA, subword data, SOA, storage assignment
23	Scott Rixner, William J. Dally, Brucek Khailany, Peter R. Mattson, Ujval J. Kapasi, John D. Owens	Register Organization for Media Processing.	HPCA	2000	DBLP DOI BibTeX RDF	register organization, register architecture, processor architecture, media processors
23	Vernon A. Lee Jr., Hans-Juergen Boehm	Optimizing Programs over the Constructive Reals.	PLDI	1990	DBLP DOI BibTeX RDF
23	Claus-Peter Schnorr	A More Efficient Algorithm for Lattice Basis Reduction (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
22	Vikraman Arvind, Srikanth Srinivasan 0001	On the hardness of the noncommutative determinant.	STOC	2010	DBLP DOI BibTeX RDF	noncommutative rings, determinant, arithmetic circuits, permanent
22	Hermilo Sánchez-Cruz, Mario A. Rodríguez-Díaz	Coding Long Contour Shapes of Binary Objects.	CIARP	2009	DBLP DOI BibTeX RDF	Binary objects, Efficiency, Shapes, Contour, Arithmetic coding, Chain code
22	Gyesik Lee	Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem.	CiE	2009	DBLP DOI BibTeX RDF	Kanamori-McAloon principle, Paris-Harrington theorem, Peano Arithmetic, independence
22	Panagiotis Besbeas, Byron J. T. Morgan	Improved estimation of the stable laws.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Arithmetic spacing, Bounded influence, Efficiency comparison, First zero, k-L method, Koutrouvelis method, Testing for stability, Transform variable selection, Robustness, Maximum-likelihood, Goodness-of-fit
22	Ajay Kumar Verma, Paolo Ienne	Improving XOR-Dominated Circuits by Exploiting Dependencies between Operands.	ASP-DAC	2007	DBLP DOI BibTeX RDF	multiplier-like circuits, XOR-dominated circuits, datapath design, netlist optimization, carry-save form, column compressors, XOR operations, logic synthesizers, algebraic factoring, computer arithmetic, logic synthesis, digital design, parallel multipliers
22	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
22	Ray C. C. Cheung, Dong-U Lee, Oskar Mencer, Wayne Luk, Peter Y. K. Cheung	Automating custom-precision function evaluation for embedded processors.	CASES	2005	DBLP DOI BibTeX RDF	embedded systems, reconfigurable computing, fixed-point arithmetic, function evaluation
22	Steven D. Krueger, Peter-Michael Seidel	Design of an On-Line IEEE Floating-Point Addition Unit for FPGAs.	FCCM	2004	DBLP DOI BibTeX RDF	IEEE rounding, Floating-point addition, on-line arithmetic