Abstract:
A formal method is proposed for conversion of linear program parts so as to ensure a minimal time of their execution in a single processor computer by using faster instructions and reducing the number of operand transfers between the registers and core memory. The method operates through analysis of data flow charts.