Algebra of algorithms and Kaluzhnin's graphschemas

1994 ◽  
Vol 30 (2) ◽  
pp. 159-169
Author(s):  
G. E. Tseitlin ◽  
E. L. Yushchenko
Keyword(s):  
Algebra Of Algorithms

An algebra of algorithms and its application to program design and maintenance

1978 ◽  
Vol 10 (1) ◽  
pp. 74-77 ◽  
Author(s):  
A.A. Kaposi ◽  
L.M. Popovic ◽  
G. Rzevski
Keyword(s):  
Program Design ◽  
Algebra Of Algorithms

Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs

2009 ◽  
Vol 93 (1-3) ◽  
pp. 111-125 ◽  
Author(s):  
Anatoliy Doroshenko ◽  
Olena Yatsenko
Keyword(s):  
Parallel Programs ◽  
Algebra Of Algorithms ◽  
And Algebra

Algebra-Dynamic Models for CPU- and GPU-Parallel Program Design and the Model of Auto-Tuning

2021 ◽  
pp. 112-142
Keyword(s):  
Graphics Processing Units ◽  
Dynamic Models ◽  
Formal Model ◽  
Multicore Processors ◽  
Parallel Programs ◽  
Transition Systems ◽  
Multithreaded Programs ◽  
Algebra Of Algorithms ◽  
Auto Tuning ◽  
And Algebra

This chapter considers algebra-dynamic models of parallel programs, which are based on concepts of transition systems theory and algebra of algorithms. The models of sequential and parallel multithreaded programs for multicore processors and program models for graphics processing units are constructed. The authors describe transformations of programs aimed at transition from sequential to parallel versions (parallelization) and improving performance of parallel programs in respect to execution time (optimization). The transformations are based on using rewriting rules technique. The formal model of program auto-tuning as an evolutional extension of transition systems is proposed, and some properties of programs are considered.

Software Tools for Automation of Parallel Programming on the Basis of Algebra of Algorithms

2015 ◽  
Vol 51 (1) ◽  
pp. 142-149 ◽  
Author(s):  
F. I. Andon ◽  
A. E. Doroshenko ◽  
A. G. Beketov ◽  
V. A. Iovchev ◽  
E. A. Yatsenko
Keyword(s):  
Parallel Programming ◽  
Software Tools ◽  
Algebra Of Algorithms

Algebra of algorithms and dynamic parallel execution of sequential programs

Cybernetics ◽  
1983 ◽  
Vol 18 (5) ◽  
pp. 533-542
Author(s):  
V. M. Glushkov ◽  
Yu. V. Kapitonova ◽  
A. A. Letichevskii
Keyword(s):  
Parallel Execution ◽  
Sequential Programs ◽  
Algebra Of Algorithms

The Algebra of Algorithms

1985 ◽  
pp. 837-853 ◽  
Author(s):  
M. L. V. Pitteway
Keyword(s):  
Algebra Of Algorithms
Sign in / Sign up

Export Citation Format

Share Document