skip to main content
article
Free Access

Direct architectural implementation of a requirements-oriented computing structure

Published:18 November 1979Publication History
Skip Abstract Section

Abstract

Many of the advances in computing technology that have a direct bearing on software productivity have been integrated into a unique requirements-oriented computing structure devoid of transfer of control constructs. Overhead is a major obstacle to such a structure. A computer architecture based on this structure is therefore derived for which combinational logic can be used to solve this overhead problem. A family of computers called Transition Machines is thereby defined which addresses many of the major problem areas affecting software productivity.

References

  1. 1 Anastas, M. S. and Vaughan, R. F., "Parallel Transition Machines", Proceedings of 1979 International Conference on Parallel Processing, IEEE, Michigan (August 1979)Google ScholarGoogle Scholar
  2. 2 Keller, R. M., "Formal Verification of Parallel Programs", Communications of the ACM 19, 7 (July 1976) Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Kuck, D. J., "A Survey of Parallel Machine Organization and Programming", ACM Computing Surveys 9, 1 (March 1977) Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Ledgard, H. F. and Marcotty, M., "A Genealogy of Control Structures", Communications of the ACM 18, 11 (November 1975) Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Minsky, M., "Form and Content in Computer Science", ACM Turing Lecture, Journal of the ACM 17, 2 (February 1970) Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Parnas, D. L., "A Technique for Software Module Specification with Examples", Communications of the ACM 15, 5 (May 1972) Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 Tanenbaum, A. S., "Implications of Structured Programming for Machine Architecture", Communications of the ACM 21, 3 (March 1978) Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Vaughan, R. F. and Anastas, M. S., "Microprocessor Based Transition Machines", Proceedings of COMPCON '79 Fall, IEEE, W.D.C. (September 1979)Google ScholarGoogle Scholar
  9. 9 Vaughan, R. F. and Anastas, M. S., "Limiting Multiprocessor Performance Analysis", Proceedings of 1979 International Conference on Parallel Processing, IEEE, Michigan (August 1979)Google ScholarGoogle Scholar
  10. 10 Vaughan, R. F. and Anastas, M. S., "Preliminary Analyses to Obtain an Expanded Model and Preferred Implementation of Verifiably Secure ADP Systems", Boeing document D180-25090-1 (February 1979)Google ScholarGoogle Scholar

Index Terms

  1. Direct architectural implementation of a requirements-oriented computing structure

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGMICRO Newsletter
            ACM SIGMICRO Newsletter  Volume 10, Issue 4
            Dec. 1979
            113 pages
            ISSN:1050-916X
            DOI:10.1145/1014188
            Issue’s Table of Contents

            Copyright © 1979 Authors

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 18 November 1979

            Check for updates

            Qualifiers

            • article
          • Article Metrics

            • Downloads (Last 12 months)3
            • Downloads (Last 6 weeks)0

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!