Accession Number:

AD0711334

Title:

ANALYSIS AND SYNTHESIS OF CONCURRENT SEQUENTIAL PROGRAMS.

Descriptive Note:

Technical rept.,

Corporate Author:

STANFORD UNIV CALIF STANFORD ELECTRONICS LABS

Personal Author(s):

• Bredt,Thomas H.

Report Date:

1970-05-01

Pagination or Media Count:

54.0

Abstract:

The paper presents analysis and synthesis procedures for a class of sequential programs. The procedures aid in the design of programs for parallel computer systems. In particular, the interactions of a given program with other programs or circuits in a system can be described precisely. The basis for the work is a model for parallel computer systems in which the operation of each component is described by a flow table and the components interact by changing values on interconnecting lines. The details of the model are discussed in another paper. The analysis procedure produces a flow table description of a program. In program synthesis, a flow table description is converted to a sequential program. Using flow table design procedures, a control program for the two-program mutual exclusion problem is produced. Author

Descriptors:

• (*COMPUTER PROGRAMMING
• ANALYSIS)
• MATHEMATICAL MODELS
• MULTIPLE OPERATION

Subject Categories:

• Computer Programming and Software
• Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE