THEORY AND PRACTICE OF PARALLELISM DETECTION IN SEQUENTIAL PROGRAMS

被引：0

作者：

VOEVODIN, VV ^{[1
]}

机构：

[1] MOSCOW MV LOMONOSOV STATE UNIV,CTR COMP,MOSCOW,RUSSIA

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 1992年 / 18卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents a new approach to analysis of sequential programs; this approach is based on construction of a parametric representation of realization histories. A method for finding an explicit form of histories for a broad class of programs is described. An implementation of the approach presented in the analysis and transformation system V-ray Program Analyzer & Adviser can be used for detecting potential parallelism in programs.

引用

页码：110 / 121

页数：12

共 50 条

[21] THE INTEGRATION OF THEORY AND PRACTICE IN PROFESSIONAL PROGRAMS
DERR, RL
JOURNAL OF EDUCATION FOR LIBRARIANSHIP, 1983, 23 (03) : 193 - 206
[22] SEQUENTIAL PARALLELISM IN THE SYNOPTIC GOSPELS
TYSON, JB
NEW TESTAMENT STUDIES, 1976, 22 (03) : 276 - 308
[23] Parallelism in Finite Element Programs
Carstea, Ion
Carstea, Daniela
Carstea, Alexandru Adrian
FINITE DIFFERENCES, FINITE ELEMENTS, FINITE VOLUMES AND BOUNDARY ELEMENTS, 2008, : 96 - +
[24] AND PARALLELISM AND NONDETERMINISM IN LOGIC PROGRAMS
CONERY, JS
KIBLER, DF
NEW GENERATION COMPUTING, 1985, 3 (01) : 43 - 70
[25] ANALYZING PROGRAMS WITH EXPLICIT PARALLELISM
SRINIVASAN, H
WOLFE, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 589 : 405 - 419
[26] Test programs to observe parallelism
Christopher, TW
ACM SIGPLAN NOTICES, 2001, 36 (09) : 31 - 36
[27] Relating data-parallelism and (and-) parallelism in logic programs
Hermenegildo, MV
Carro, M
COMPUTER LANGUAGES, 1996, 22 (2-3): : 143 - 163
[28] Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism
Ha, Ok-Kyoon
Jun, Yong-Kee
SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 424 - +
[29] Health Promotion Programs: From Theory to Practice
Hendrickson, Sherry Garrett
JOURNAL OF NEUROSCIENCE NURSING, 2011, 43 (03) : 183 - 184
[30] RURAL-DEVELOPMENT PROGRAMS IN THEORY AND PRACTICE
MARTIN, SJ
TRICKER, MJ
BOVAIRD, AG
REGIONAL STUDIES, 1990, 24 (03) : 268 - 276

← 1 2 3 4 5 →