FLATS, a machine for numerical, symbolic and associative computing

ABSTRACT

Functional aspects of a machine called FLATS are described. FLATS aims to efficiently run both numerical and algebraic programs. Overflow free and variable precision arithmetic, table look-up computation, and associative computation based on single-hit content addressed tables are introduced for advanced numerical, algebraic and symbolic computing. Hashing hardware, tag mechanism and hardware list processing are used to realize these features.

REFERENCES

• 1: Hearn, A.C. REDUCE2 user's manual, Utah Computational Physics UCP-19 (March 1973)
• 2: The MATHLAB Group, MACSYMA reference manual, Laboratory for computer science, MIT (1974)
• 3: Watson, W.J. The TI ASC - A Highly Modular and Flexible Super Computer Architecture, AFIPS 1972 FJCC, AFIPS Press
• 4: Richard M. Russell, The CRAY-1 computer system, Communications of the ACM, v.21 n.1, p.63-72, Jan. 1978 [doi>10.1145/359327.359336]
• 5: Barnes, G.H., Brown, R.M., Kato, M., Kuck, D.J., Slotnick, D.L. and Stokes, R.A. The ILLIAC IV Computer, IEEE Trans. Computers, Vol. C-47, No. 8 (1968)
• 6: Eiichi Goto , Yasumasa Kanada, Hashing LEMMAs on time complexities with applications to formula manipulation, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.154-158, August 10-12, 1976, Yorktown Heights, New York, United States [doi>10.1145/800205.806334]
• 7: Takahasi, H. and Mori, M. "Double Exponential Formulas for Numerical Integration", Pub. Research Institute for Math. Science, Kyoto University, 9 (1974), 721-741
• 8: Grau, A.A. "Algorithm 256, Modified Graeffe Method", Collected Algorithms from ACM, 256-P1-0.
• 9: Richard P. Brent, Fast Multiple-Precision Evaluation of Elementary Functions, Journal of the ACM (JACM), v.23 n.2, p.242-251, April 1976 [doi>10.1145/321941.321944]
• 10: Ida. T., and Goto, E. Overflow Free and Variable Precision Computing in FLATS, Journal of Information Processing Vol. 1, No. 3 (1978)
• 11: Goto, E. and Terashima, M. MTAC - Mathematical Tabulative Automatic Computing, Technical Report of Information Science, 77-03, Faculty of Science, University of Tokyo, (1977)
• 12: Jerome A. Feldman , Paul D. Rovner, An ALGOL-based associative language, Communications of the ACM, v.12 n.8, p.439-449, Aug. 1969 [doi>10.1145/363196.363204]
• 13: Goto, E., Sassa, M. and Kanada, Y. Algorithms and Programming with CAM's (Content Addressable Associative Memories) Technical Report of Information Science Department, 78-04, Faculty of Science, University of Tokyo, (1978) submitted for publication
• 14: Marti, J.B., Hearn, A.C., Griss, M.L., and Griss, C. Standard Lisp Report, UUCS-78-101, University of Utah, 1978
• 15: John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
• 16: Sassa, M. and Goto, E. A Hashing Method for Fast Set Operations, Information Processing Letters, Vol. 5, No. 2, (1976)
• 17: Feustel, E.A. On the advantage of tagged architecture, IEEE Trans. Computers, Vol.C-21, No. 9 (1972)
• 18: Ida, T, and Goto, E., Performance of a Parallel Hash Hardware with Key Deletion, Proc. IFIP Congress 77, North-Holland (1977)
• 19: Ida, T, and Goto, E. Analysis of Parallel Hashing Algorithms with Key Deletion, Journal of Information Processing, Vol. 1, No.1 (1978)
• 20: Wegbreit, B. A Generalized Compactifying Garbage Collector. The Computer Journal, Vol. 15, No. 3, (1972)
• 21: Terashima, M. and Goto, E., Genetic Order and Compactifying Garbage Collectors, Information Processing Letters, Vol. 7, No. 1
• 22: Sassa, M. and Goto, E. "V-tape", a Virtual Memory Oriented Data Type, and its Resource Requirements, Information Processing Letters, Vol. 6, No. 2, (1977)

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.0 General

Additional Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: System architectures

  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS

General Terms:
Design, Performance