METHODOLOGY FOR THE DESIGN OF PARALLEL PROGRAMS.

被引：0

作者：

Mattheyses, R.M.

Conry, S.E.

机构：

来源：

| 1978年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper first presents a set of interconnection rules to be used in constructing control flow graphs for parallel programs. It then demonstrates that use of these rules enforces the principle of hierarchical design in a very natural way. The impact of this design discipline on reliability issues is discussed. The limitation of this set of rules is indicated as well as how they may be overcome.

引用

页码：651 / 655

共 50 条

[31] French Space Programs.
Curien, Hubert
Onde electrique, 1984, 64 (01): : 59 - 63
[32] Epa fuel programs.
Freed, CN
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1997, 213 : 95 - ENVR
[33] RECURSION IN LOGICS OF PROGRAMS.
Harel, David
1979, : 81 - 92
[34] NIH bridges programs.
Silber, H
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2000, 220 : U142 - U142
[35] Landscape programs. Then and now
Northcutt, Paul E.
Public Works, 1992, 123 (03):
[36] A METHODOLOGY FOR IMPROVING PARALLEL PROGRAMS BY ADDING COMMUNICATIONS
PETTOROSSI, A
SKOWRON, A
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 208 : 228 - 250
[37] STRUCTURE SYNTHESIS OF PARALLEL PROGRAMS (METHODOLOGY AND TOOLS)
CEJTLIN, GE
JUSHCHENKO, EL
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 78 - 81
[38] SCALING PARALLEL PROGRAMS FOR MULTIPROCESSORS - METHODOLOGY AND EXAMPLES
SINGH, JP
HENNESSY, JL
GUPTA, A
COMPUTER, 1993, 26 (07) : 42 - 50
[39] Design and verification of parallel programs
Wang, J
Chi, XB
DCABES 2004, Proceedings, Vols, 1 and 2, 2004, : 317 - 319
[40] FORMAL STRUCTURE OF THE DESIGN PROCESS AND SOFTWARE IN INDUSTRIAL COMPUTER-AIDED DESIGN PROGRAMS.
Gakh, V.Ya.
Krutitskii, A.Yu.
1600,

← 1 2 3 4 5 →