Algebra of algorithms and Kaluzhnin's graphschemas

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

1978 ◽  
Vol 10 (1) ◽  
pp. 74-77 ◽  
Author(s):  
A.A. Kaposi ◽  
L.M. Popovic ◽  
G. Rzevski


2009 ◽  
Vol 93 (1-3) ◽  
pp. 111-125 ◽  
Author(s):  
Anatoliy Doroshenko ◽  
Olena Yatsenko


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.



2015 ◽  
Vol 51 (1) ◽  
pp. 142-149 ◽  
Author(s):  
F. I. Andon ◽  
A. E. Doroshenko ◽  
A. G. Beketov ◽  
V. A. Iovchev ◽  
E. A. Yatsenko


Cybernetics ◽  
1983 ◽  
Vol 18 (5) ◽  
pp. 533-542
Author(s):  
V. M. Glushkov ◽  
Yu. V. Kapitonova ◽  
A. A. Letichevskii


Author(s):  
M. L. V. Pitteway


Sign in / Sign up

Export Citation Format

Share Document