УДК |
Аннотация: Монография представляет собой математическое изложение основных подходов к оптимизации программ, математических моделей программ, ориентированных на оптимизацию, теории оптимизирующих преобразований на линейных участках и внутри участков повторяемости, а также теории глобальной оптимизации и оптимизации, учитывающей контекст применения программы. Книга содержит большое число алгоритмов оптимизации ч оценками их сложности. Для записи алгоритмов используется специально разработанный теоретико-множественный язык программирования, подобный языку Сетл, а качество алгоритмов оценивается в терминах ресурсов абстрактной ЭВМ, необходимых для их выполнения. Книга предназначена тем, кто ведет исследования в области системного и теоретического программирования, преподает или изучает эти дисциплины, а также разработчикам математического обеспечения ЭВМ.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44 ИВМ-Фонд
Свободных экз. нет