The Community for Technology Leaders
Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on (1995)
Aizu-Wakamatsu, Fukushima, Japan
Mar. 15, 1995 to Mar. 17, 1995
ISBN: 0-8186-7038-X
pp: 271
A.E. Doroshenko , V.M. Glushkov Inst. of Cybern., Acad. of Sci., Kiev, Ukraine
A.B. Godlevsky , V.M. Glushkov Inst. of Cybern., Acad. of Sci., Kiev, Ukraine
ABSTRACT
An approach to declarative construction of parallel implementations (dynamical parallelizers) for a general class of sequential imperative programs by means of the algebraic programming system APS is considered. It gives advantages of rapid prototyping and evolutionary development of efficient parallelizers. An operational model of a dynamical parallelizer in the form of transition system is constructed and major parts of its declarative implementation are described as systems of relations. Techniques for designing efficient parallelizers are presented and exemplified.
INDEX TERMS
parallel programming; software prototyping; systems analysis; software tools; computer aided software engineering; parallel implementations; algebraic programming tools; declarative construction; dynamical parallelizers; sequential imperative programs; algebraic programming system APS; rapid prototyping; evolutionary development; dynamical parallelizer; transition system; declarative implementation
CITATION
A.E. Doroshenko, A.B. Godlevsky, "Constructing parallel implementations with algebraic programming tools", Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on, vol. 00, no. , pp. 271, 1995, doi:10.1109/AISPAS.1995.401329
93 ms
(Ver 3.3 (11022016))