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