PARALLEL ALGORITHMS AND CORRECTNESS IN PARALLEL PROGRAMS

被引：0

|

作者：

MIRENKOV, NN

机构：

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 1985年 / 11卷 / 06期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

COMPUTER SYSTEMS, DIGITAL

引用

收藏

页码：321 / 332

页数：12

相关论文

共 50 条

[1] On the correctness of parallel algorithms
Karpov, YG
Borshchev, AV
Rudakov, VV
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1996, 22 (04) : 164 - 171
[2] On the Correctness of Parallel Algorithms
Karpov, Y. G.
Borshchev, A. V.
Rudakov, V. V.
[J]. Programming and Computer Software (English Translation of Programmirovanie), 22 (04):
[3] THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS
FLON, L
SUZUKI, N
[J]. SIAM JOURNAL ON COMPUTING, 1981, 10 (02) : 227 - 246
[4] PROVING TOTAL CORRECTNESS OF PARALLEL PROGRAMS
BABICH, AF
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (06) : 558 - 574
[5] ON CORRECTNESS OF PARALLEL ALGORITHMS OF LOGICAL CONTROL
ZAKREVSKIY, AD
[J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (01): : 109 - 114
[6] Verification of Correctness of Parallel Algorithms in Practice
Nalepa, Jakub
Blocho, Miroslaw
[J]. RECENT ADVANCES IN COMPUTATIONAL OPTIMIZATION, WCO 2016, 2018, 717 : 135 - 151
[7] PARALLEL ALGORITHMS AND STATIC ANALYSIS OF PARALLEL PROGRAMS
MIRENKOV, NN
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 269 : 48 - 59
[8] CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS
GOGUEN, JA
MESEGUER, J
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 268 - 290
[9] Verifying the correctness of parallel logical control algorithms
Zakrevskii, A.D.
[J]. Programming and computer software, 1988, 13 (05): : 218 - 221
[10] VERIFYING THE CORRECTNESS OF PARALLEL LOGICAL CONTROL ALGORITHMS
ZAKREVSKII, AD
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1987, 13 (05) : 218 - 221

← 1 2 3 4 5 →