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.
- 1 Anastas, M. S. and Vaughan, R. F., "Parallel Transition Machines", Proceedings of 1979 International Conference on Parallel Processing, IEEE, Michigan (August 1979)Google Scholar
- 2 Keller, R. M., "Formal Verification of Parallel Programs", Communications of the ACM 19, 7 (July 1976) Google Scholar
Digital Library
- 3 Kuck, D. J., "A Survey of Parallel Machine Organization and Programming", ACM Computing Surveys 9, 1 (March 1977) Google Scholar
Digital Library
- 4 Ledgard, H. F. and Marcotty, M., "A Genealogy of Control Structures", Communications of the ACM 18, 11 (November 1975) Google Scholar
Digital Library
- 5 Minsky, M., "Form and Content in Computer Science", ACM Turing Lecture, Journal of the ACM 17, 2 (February 1970) Google Scholar
Digital Library
- 6 Parnas, D. L., "A Technique for Software Module Specification with Examples", Communications of the ACM 15, 5 (May 1972) Google Scholar
Digital Library
- 7 Tanenbaum, A. S., "Implications of Structured Programming for Machine Architecture", Communications of the ACM 21, 3 (March 1978) Google Scholar
Digital Library
- 8 Vaughan, R. F. and Anastas, M. S., "Microprocessor Based Transition Machines", Proceedings of COMPCON '79 Fall, IEEE, W.D.C. (September 1979)Google Scholar
- 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 Scholar
- 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 Scholar
Index Terms
Direct architectural implementation of a requirements-oriented computing structure
Recommendations
Direct architectural implementation of a requirements-oriented computing structure
MICRO 12: Proceedings of the 12th annual workshop on MicroprogrammingMany 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 ...
Requirement Analysis of Talents Comprehensive Skills for Japan-Oriented Software Outsourcing
ICEICE '12: Proceedings of the 2012 Second International Conference on Electric Information and Control Engineering - Volume 01With the rapid development of Japan-oriented software outsourcing, dramatic increase in demand for qualified talents, requirement analysis of talents comprehensive skills for Japan-oriented software outsourcing are important. Based on the software ...






Comments