Estimating the Convergence of a Simulated Annealing Algorithm for the Problem of Constructing Multiprocessor Schedules

摘要

An algorithm for constructing a computational system with the minimum number of processors while observing restrictions on system reliability and program execution time is considered. The problem is formulated mathematically, and an algorithm based on simulated annealing is proposed. Asymptotic convergence of the algorithm is formally proved.