ARITH Symposium on Computer Arithmetic

Last updated

The IEEE International Symposium on Computer Arithmetic (ARITH) is a conference in the area of computer arithmetic. [1] The symposium was established in 1969, initially as three-year event, then as a biennial event, [2] and, finally, from 2015 as an annual symposium.

ARITH topics span from theoretical aspects and algorithms for operations, to hardware implementations of arithmetic units and applications of computer arithmetic.

ARITH symposia are sponsored by IEEE Computer Society. They have been described as one of "the most prestigious forums for computer arithmetic" by researchers at the National Institute of Standards and Technology, [3] as the main conference forum for new research publications in computer arithmetic by Parhami (2003), [4] and as a forum for interacting with the "international community of arithmeticians" by participants Peter Kornerup and David W. Matula. [5]

List of ARITH symposia

EditionDateLocationWebsite
29th2022-09-12/14Virtual conference (due to the COVID-19 pandemic) ARITH 2022
28th2021-06-14/16Virtual conference (due to the COVID-19 pandemic) ARITH 2021
27th2020-06-07/10 Portland, Oregon, USA, canceled due to COVID-19
26th2019-06-10/12 Kyoto, Japan ARITH 26
25th2018-06-25/27 Amherst, Massachusetts, USA ARITH 25
24th2017-07-24/26 London, UK ARITH 24
23rd2016-07-10/13 Santa Clara, California, USA ARITH 23
22nd2015-06-22/24 Lyon, France ARITH 22
21st2013-04-07/10 Austin, Texas, USA ARITH 21
20th2011-07-25/27 Tübingen, Germany ARITH 20
19th2009-06-08/10 Portland, Oregon, USA ARITH 19
18th2007-06-25/27 Montpellier, France ARITH 18
17th2005-06-27/29 Cape Cod, Massachusetts, USA
16th2003-06-15/18 Santiago de Compostela, Spain
15th2001-06-11/13 Vail, Colorado, USA
14th1999-04-14/16 Adelaide, Australia ARITH 14
13th1997-07-06/09 Asilomar, Pacific Grove, California, USA
12th1995-07-19/21 Bath, UK
11th1993-06-29 to 1993-07-02 Windsor, Ontario, Canada
10th1991-06-26/28 Grenoble, France
9th1989-09-06/08 Santa Monica, California, USA
8th1987-05-19/21 Como, Italy
7th1985-06-04/06 Urbana, Illinois, USA
6th1983-06-20/22 Aarhus, Denmark
5th1981-05-18/19 Ann Arbor, Michigan, USA
4th1978-10-25/26 Santa Monica, California, USA
3rd1975-11-19/20 Dallas, Texas, USA
2nd1972-05-15/16 College Park, Maryland, USA
1st1969-06-16 Minneapolis, Minnesota, USA

Related Research Articles

The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members as of 2022. Its headquarters are in New York City.

<span class="mw-page-title-main">ARPANET</span> Early packet switching network (1969–1990), one of the first to implement TCP/IP

The Advanced Research Projects Agency Network (ARPANET) was the first wide-area packet-switched network with distributed control and one of the first networks to implement the TCP/IP protocol suite. Both technologies became the technical foundation of the Internet. The ARPANET was established by the Advanced Research Projects Agency (ARPA) of the United States Department of Defense.

<span class="mw-page-title-main">Theoretical computer science</span> Subfield of computer science and mathematics

Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.

The IEEE Standard for Floating-Point Arithmetic is a technical standard for floating-point arithmetic established in 1985 by the Institute of Electrical and Electronics Engineers (IEEE). The standard addressed many problems found in the diverse floating-point implementations that made them difficult to use reliably and portably. Many hardware floating-point units use the IEEE 754 standard.

<span class="mw-page-title-main">Mike Cowlishaw</span>

Mike Cowlishaw is a visiting professor at the Department of Computer Science at the University of Warwick, and a Fellow of the Royal Academy of Engineering. He is a retired IBM Fellow, and was a Fellow of the Institute of Engineering and Technology, and the British Computer Society. He was educated at Monkton Combe School and The University of Birmingham.

A residue numeral system (RNS) is a numeral system representing integers by their values modulo several pairwise coprime integers called the moduli. This representation is allowed by the Chinese remainder theorem, which asserts that, if M is the product of the moduli, there is, in an interval of length M, exactly one integer having any given set of modular values. The arithmetic of a residue numeral system is also called multi-modular arithmetic.

Peter Pin-Shan Chen is a Taiwanese American computer scientist. He is a (retired) distinguished career scientist and faculty member at Carnegie Mellon University and Distinguished Chair Professor Emeritus at LSU. He is known for the development of the entity–relationship model in 1976.

Thomas Albert "Tom" DeFanti is an American computer graphics researcher and pioneer. His work has ranged from early computer animation, to scientific visualization, virtual reality, and grid computing. He is a distinguished professor of Computer Science at the University of Illinois at Chicago, and a research scientist at the California Institute for Telecommunications and Information Technology (Calit2).

Douglas Taylor "Doug" Ross was an American computer scientist pioneer, and chairman of SofTech, Inc. He is most famous for originating the term CAD for computer-aided design, and is considered to be the father of Automatically Programmed Tools (APT), a programming language to drive numerical control in manufacturing. His later work focused on a pseudophilosophy he developed and named Plex.

A logarithmic number system (LNS) is an arithmetic system used for representing real numbers in computer and digital hardware, especially for digital signal processing.

Krishna V. Palem is a computer scientist and engineer of Indian origin and is the Kenneth and Audrey Kennedy Professor of Computing at Rice University and the director of Institute for Sustainable Nanoelectronics (ISNE) at Nanyang Technological University (NTU). He is recognized for his "pioneering contributions to the algorithmic, compilation, and architectural foundations of embedded computing", as stated in the citation of his 2009 Wallace McDowell Award, the "highest technical award made solely by the IEEE Computer Society".

Informatics is the study of computational systems, especially those for data storage and retrieval. According to ACM Europe andInformatics Europe, informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In other countries, the term "informatics" is used with a different meaning in the context of library science.

<span class="mw-page-title-main">IEEE Smart Grid</span>

IEEE Smart Grid is an initiative launched by IEEE to help provide expertise and guidance for individuals and organizations involved in the modernization and optimization of the power grid, better known as the "smart grid". IEEE Smart Grid encompasses an array of activities, including development of new smart grid-related standards, best practices, publications, and conferences and educational opportunities.

IEEE Cloud Computing is a global initiative launched by IEEE to promote cloud computing, big data and related technologies, and to provide expertise and resources to individuals and enterprises involved in cloud computing.

Unums are a family of formats and arithmetic, similar to floating point, proposed by John L. Gustafson in 2015. They are designed as an alternative to the ubiquitous IEEE 754 floating-point standard. The latest version can be used as a drop-in replacement for programs that do not depend on specific features of IEEE 754.

In computing, tapered floating point (TFP) is a format similar to floating point, but with variable-sized entries for the significand and exponent instead of the fixed-length entries found in normal floating-point formats. In addition to this, tapered floating-point formats provide a fixed-size pointer entry indicating the number of digits in the exponent entry. The number of digits of the significand entry results from the difference of the fixed total length minus the length of the exponent and pointer entries.

Harmony is an experimental computer operating system (OS) developed at the National Research Council Canada in Ottawa. It is a second-generation message passing system that was also used as the basis for several research projects, including robotics sensing and graphical workstation development. Harmony was actively developed throughout the 1980s and into the mid-1990s.

Wayne Nelson is an American statistician. His main contributions to the reliability theory are the Nelson-Aalen Estimator for lifetime data, various statistical procedures for accelerated life testing and both: nonparametric and parametric procedures for recurrent data analysis.

David William Matula is an American mathematician and computer scientist known for his research on graph theory, graph algorithms, computer arithmetic, and algorithm engineering. He is a professor emeritus at Southern Methodist University, where he formerly held the Cruse C. and Marjorie F. Calahan Centennial Chair in Engineering.

References

  1. ARITH Symposium Website
  2. "History of IEEE meetings on computer arithmetic [1969-1985]", 1985 IEEE 7th Symposium on Computer Arithmetic (ARITH), June 1985, doi:10.1109/arith.1985.6158952
  3. "Computer Arithmetic Demonstration and Test Facility", Summary of Activities: Applied and Computational Mathematics Division, National Institute of Standards and Technology, March 1995, retrieved 2020-07-23
  4. Parhami, Behrooz (2003), "Number Representation and Computer Arithmetic" (PDF), Encyclopedia of Information Systems, Elsevier, pp. 217–333; see in particular the final paragraph.
  5. Kornerup, Peter; Matula, David W. (2010), "Preface", Finite Precision Number Systems and Arithmetic, Encyclopedia of Mathematics and its Applications, vol. 133, Cambridge University Press, p. xv, ISBN   9780521761352