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