|
|
Venues (Conferences, Journals, ...)
|
|
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 |
27 | Haohuan Fu, Oskar Mencer, Wayne Luk |
Optimizing Logarithmic Arithmetic on FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2007, 23-25 April 2007, Napa, California, USA, pp. 163-172, 2007, IEEE Computer Society, 0-7695-2940-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 3147-3150, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Thorsten von Sydow, Bernd Neumann, Holger Blume, Tobias G. Noll |
Quantitative Analysis of Embedded FPGA-Architectures for Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA, pp. 125-131, 2006, IEEE Computer Society, 0-7695-2682-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Franky Backeljauw, Annie A. M. Cuyt |
A Constructive Criticism of the C/C++ Proposal for Complex Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 11(4), pp. 313-319, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Daniel R. Kelly, Braden J. Phillips |
Arithmetic Data Value Speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings, pp. 353-366, 2005, Springer, 3-540-29643-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
Arithmetic Reasoning in DPLL-Based SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 30-35, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Roberto R. Osorio, Javier D. Bruguera |
Arithmetic Coding Architecture for H.264/AVC CABAC Compression System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 62-69, 2004, IEEE Computer Society, 0-7695-2203-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada, pp. 334-339, 2004, IEEE Computer Society, 0-7695-2130-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Hamidreza Hashempour, Fabrizio Lombardi |
Compression of VLSI Test Data by Arithmetic Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 10-13 October 2004, Cannes, France, Proceedings, pp. 150-157, 2004, IEEE Computer Society, 0-7695-2241-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Ienne, Ajay Kumar Verma |
Arithmetic Transformations to Maximise the Use of Compressor Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 2nd IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2004), 28-30 January 2004, Perth, Australia, pp. 219-224, 2004, IEEE Computer Society, 0-7695-2081-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Junhyung Um, Taewhan Kim |
Synthesis of arithmetic circuits considering layout effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(11), pp. 1487-1503, 2003. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers, pp. 227-243, 2003, Springer, 3-540-20827-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 521-536, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Jeremy Avigad, Jeremy Helzner |
Transfer principles in nonstandard intuitionistic arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(6), pp. 581-602, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 10th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2002), 22-24 April 2002, Napa, CA, USA, Proceedings, pp. 182-, 2002, IEEE Computer Society, 0-7695-1801-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Bogdan J. Falkowski |
Algorithms for fast arithmetic transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 753-756, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Richard S. Bird, Jeremy Gibbons |
Arithmetic Coding with Folds and Unfolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures, pp. 1-26, 2002, Springer, 3-540-40132-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Junhyung Um, Taewhan Kim |
Layout-aware synthesis of arithmetic circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 207-212, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(3), pp. 381-391, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 2-3, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001, Proceedings, pp. 643-647, 2001, Springer, 3-540-42499-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Shugang Wei, Kensuke Shimizu |
Error Detection of Arithmetic Circuits Using a Residue Checker with Signed-Digit Number System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings, pp. 72-77, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, Canada, pp. 165-170, 2000, IEEE Computer Society, 0-7695-0613-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 118-123, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Christian Lebiere |
The dynamics of cognition: An ACT-R model of cognitive arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kognitionswissenschaft ![In: Kognitionswissenschaft 8(1), pp. 5-19, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 8(12), pp. 1667-1676, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 916-922, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Gwangwoo Choe, Earl E. Swartzlander Jr. |
Merged Arithmetic for Computing Wavelet Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 19-21 February 1998, Lafayette, LA, USA, pp. 196-201, 1998, IEEE Computer Society, 0-8186-8409-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Saeid Sadeghi-Emamchaie, Graham A. Jullien, Vassil S. Dimitrov, William C. Miller |
Digital Arithmetic Using Analog Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 19-21 February 1998, Lafayette, LA, USA, pp. 202-207, 1998, IEEE Computer Society, 0-8186-8409-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 18(3), pp. 305-368, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Christof Paar, Martin Rosner |
Comparison of arithmetic architectures for Reed-Solomon decoders in reconfigurable hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 5th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '97), 16-18 April 1997, Napa Valley, CA, USA, pp. 219-225, 1997, IEEE Computer Society, 0-8186-8159-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Roderick I. Nicolson |
Design and Evaluation of the SUMIT Intelligent Tutoring Assistant for Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 491-502, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Attilio Colagrossi, Carla Limongelli |
Big Numbers p-adic Arithmetic: A Parallel Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988, Proceedings, pp. 169-180, 1988, Springer, 3-540-51083-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 59(4), pp. 449-456, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(3), pp. 404-417, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(8), pp. 860-864, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(8), pp. 868-879, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(12), pp. 1497-1503, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 32(5), pp. 497-500, 1983. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(4), pp. 300-306, 1979. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, FPGA 2010, Monterey, California, USA, February 21-23, 2010, pp. 290, 2010, ACM, 978-1-60558-911-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Emerging Intelligent Computing Technology and Applications, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings, pp. 396-404, 2009, Springer, 978-3-642-04069-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(2), pp. 185-203, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2008 Data Compression Conference (DCC 2008), 25-27 March 2008, Snowbird, UT, USA, pp. 489-498, 2008, IEEE Computer Society, 978-0-7695-3121-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 202-207, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(5), pp. 29, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(9), pp. 1167-1177, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(3), pp. 614-633, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 40(3), pp. 355-369, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
VLSI, DCT, video compression, low energy, distributed arithmetic |
26 | Panagiotis Manolios, Daron Vroon 0001 |
Ordinal Arithmetic: Algorithms and Mechanization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 34(4), pp. 387-423, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 292-300, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
measurements, smalltalk, dynamic typed, arithmetic expressions, units |
26 | Lena Pareto |
Graphical arithmetic for learners with dyscalculia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2005, Baltimore, MD, USA, October 9-12, 2005, pp. 214-215, 2005, ACM, 1-59593-159-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005, Proceedings, pp. 276-286, 2005, Springer, 3-540-25513-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(5), pp. 628-640, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 20(1), pp. 37-46, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 1149-1151, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 207-226, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 340-354, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quantified propositional calculus, Bounded arithmetic, PSPACE, propositional proof complexity |
26 | Joachim von zur Gathen |
Arithmetic Circuits for Discrete Logarithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings, pp. 557-566, 2004, Springer, 3-540-21258-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 33(3), pp. 267-275, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
arithmetic coding, entropy coding |
26 | Claire Whelan, Adam Duffy, Andrew Burnett, Tom Dowling |
A Java API for polynomial arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003, pp. 139-144, 2003, ACM, 0-9544145-1-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 15th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2002), 7-10 October 2002, Fortaleza-CE, Brazil, pp. 163-170, 2002, IEEE Computer Society, 0-7695-1846-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 224-237, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 619-624, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2002, 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002, Revised Papers, pp. 500-514, 2002, Springer, 3-540-00409-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(9), pp. 985-991, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings, pp. 595-602, 2001, Springer, 3-540-42293-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings, pp. 78-83, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 16(3), pp. 177-196, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
optoelectronic VLSI, signed-digit arithmetic, pipeline processing, optical interconnects, superscalar architectures |
26 | Achim Blumensath |
Bounded Arithmetic and Descriptive Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 232-246, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings, pp. 149-155, 2000, IEEE Computer Society, 0-7695-0825-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong, pp. 70-77, 1999, IEEE Computer Society, 0-7695-0371-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 17(3), pp. 158-176, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
affine arithmetic |
26 | Yirng-An Chen, Randal E. Bryant |
ACV: an arithmetic circuit verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 361-365, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 131-134, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(9), pp. 991-999, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 15(3), pp. 223-248, 1996. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 16-25, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 141-145, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(8), pp. 974-982, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(7), pp. 769-779, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(3), pp. 379-384, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(10), pp. 1201-1210, 1992. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 288-295, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(8), pp. 952-962, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(3), pp. 360-374, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(7), pp. 1049-1052, 1989. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 500-505, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(5), pp. 475-483, 1985. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(11), pp. 996-1005, 1985. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 32(5), pp. 494-497, 1983. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 31(6), pp. 540-546, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
multiplication, Modular arithmetic, residue arithmetic |
26 | G. Robert Redinbo |
Finite Field Arithmetic on an Array Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(7), pp. 461-471, 1979. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 27(12), pp. 1185-1188, 1978. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 27(4), pp. 302-308, 1978. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 397-402, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 398-403, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Frank Nielsen |
Beyond scalar quasi-arithmetic means: Quasi-arithmetic averages and quasi-arithmetic mixtures in information geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.10980, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Massimiliano Fasi, Mantas Mikaitis |
Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 28th IEEE Symposium on Computer Arithmetic, ARITH 2021, Lyngby, Denmark, June 14-16, 2021, pp. 69, 2021, IEEE, 978-1-6654-2293-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![IEEE Computer Society, 978-1-4673-5644-2 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
Displaying result #401 - #500 of 12725 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|