Models for specification and anaysis of parallel computing systems

Authors:
R. M. Mattheyses;S. E. Conry
Affiliations:
General Electric Research and Development Center, Schenectady, New York;Electrical and Computer Engineering Department, Clarkson College, Potsdam, New York
Venue:
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Year:
1979

Citing 12
Cited 1

On the Interconnection of Asynchronous Control Structures

Journal of the ACM (JACM)
Structured Programming with go to Statements

ACM Computing Surveys (CSUR)
Petri Nets

ACM Computing Surveys (CSUR)
Monitors: an operating system structuring concept

Communications of the ACM
Computer programming as an art

Communications of the ACM
Program development by stepwise refinement

Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules

Communications of the ACM
The architecture of concurrent programs

The architecture of concurrent programs
PASCAL user manual and report

PASCAL user manual and report
The Elements of Programming Style

The Elements of Programming Style
The Theory of Parsing, Translation, and Compiling

The Theory of Parsing, Translation, and Compiling
CLU REFERENCE MANUAL

CLU REFERENCE MANUAL

Combined network complexity measures

IBM Journal of Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of designing a properly functioning parallel hardware or software system is considerably more difficult than that of designing a similar sequential system. In this paper we formulate criteria which a design methodology for parallel systems should satisfy and explore the use of various models as the basis for such a design tool.