RUS  ENG
Full version
JOURNALS // Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences // Archive

Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2009 Issue 1(18), Pages 260–266 (Mi vsgtu665)

Computer Science

To the Question of Optimizing the Real-time Controlling Algorithms

A. A. Tyugashev, A. Yu. Bogatov

S. P. Korolyov Samara State Aerospace University. Dept. of Computer Systems

Abstract: The problem of machine-independent optimization is studied for the programs, based on real-time controlling algorithm. This article describes a mathematical model of the controlling algorithm semantics and equivalent optimizing transformations based on it.

Keywords: mathematical model, control algorithm, equivalent optimizing transformations, functional task, system of the linear equations, binary tree.

UDC: 519.712

MSC: 68W40

Original article submitted 15/I/2009
revision submitted – 16/II/2009

DOI: 10.14498/vsgtu665



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024