Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей

Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей

Dettagli Bibliografici
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 39-44]
Autore principale:	Коваленко Д. А. Дмитрий Алексеевич
Riassunto:	Заглавие с титульного листа Электронная версия печатной публикации Рассматриваются методы и алгоритмы автоматического синтеза параллельной программы по заданным непроцедурным спецификациям. Исследуются подходы к синтезу параллельных программ с использованием ярусно-параллельной формы графа алгоритма. Приводится вычислительная сложность предлагаемых алгоритмов. Рассматриваются вопросы практической реализации разработанных подходов.
Pubblicazione:	2008
Serie:	Управление, вычислительная техника и информатика
Soggetti:	автоматический синтез параллельные программы функциональные модели структурные модели спецификации графы практическая реализация труды учёных ТПУ электронный ресурс
Accesso online:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/09.pdf
Natura:	Elettronico Capitolo di libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173266

Documenti analoghi

Разработка системы автоматического синтеза параллельных программ на базе теории структурных функциональных моделей
di: Коваленко Д. А. Дмитрий Алексеевич
Pubblicazione: (2007)

Формальные модели параллельных вычислений сборник научных трудов
Pubblicazione: (Новосибирск, Изд-во ВЦ СО АН СССР, 1988)

Об использовании параллельных вычислений для анализа растущих систем
di: Тарасенко П. Ф.
Pubblicazione: (2008)

Разработка модели макрочастиц на основе технологии параллельных вычислений
di: Остроухов П. А.
Pubblicazione: (2010)

Способы упрощения структурных схем и линеаризации моделей систем автоматического управления в MATLAB учебное пособие
di: Преображенский Е. В.
Pubblicazione: (Москва, МАИ, 2023)

Теория и практика параллельных вычислений учебное пособие
di: Гергель В. П. Виктор Павлович
Pubblicazione: (Москва, БИНОМ. Лаборатория знаний, 2013)

Поля напряжений равновестных групп параллельных пластических сдвигов
di: Неверов В. В.
Pubblicazione: (2006)

Обоснование линейно-упорядоченного представления графовых моделей программ
di: Огородов С. В. Сергей Витальевич
Pubblicazione: (2008)

Спецификация по 3D-модели сборочной единицы в САПР «КОМПАС- 3D» учебно-методическое пособие
di: Вербицкий Р. А.
Pubblicazione: (Москва, РТУ МИРЭА, 2023)

Накопление деформации в параллельных структурных элементах деформационного рельефа
di: Алфёрова Е. А. Екатерина Александровна
Pubblicazione: (2014)

Теория соответствия для систем с блокировками и разрушениями
di: Бурдонов И. Б.
Pubblicazione: (Москва, ФИЗМАТЛИТ, 2008)

Синтез схем управления параллельных вычислительных систем
di: Стародубцев Н. А. Николай Алексеевич
Pubblicazione: (Ленинград, Наука, 1984)

Применение технологии параллельных вычислений для оптимизации модели глобального освещения
di: Парубец В. В. Валерий Валерьевич
Pubblicazione: (2011)

Стратегия установления выводимости формул в структурных функциональных моделях
di: Коваленко Д. А. Дмитрий Алексеевич
Pubblicazione: (2006)

Сети Петри в моделировании и управлении
di: Лескин А. А. Алексей Алексеевич
Pubblicazione: (Ленинград, Наука, 1989)

Гибридная архитектура параллельных вычислительных систем
di: Кориков А. М. Анатолий Михайлович
Pubblicazione: (2012)

Архитектура параллельных ЭВМ учебное пособие
di: Шпаковский Г. И. Геннадий Иванович
Pubblicazione: (Минск, Университетское, 1989)

Верификация и тестирование сложных программных средств
di: Липаев В. В.
Pubblicazione: (2004)

Разработка и внедрение системы автоматического расхода сухого метилмеркаптана заключительный отчет о НИР тема: х/д 6-В-2/81
Pubblicazione: (Томск, 1986)

Разработка и исследование графовых моделей технологических алгоритмов в АСУ-ТП диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.01
di: Кошовкин И. Н. Иван Николаевич
Pubblicazione: (Томск, [Б. и.], 1980)

Автоматизация конструирования логических структур на базе семиотического моделирования
di: Гаскаров Д. В.
Pubblicazione: (2003)

Вып. 124 : Языки спецификаций и логическое программирование
Pubblicazione: (1988)

Применение технологий Применение технологий NVIDIA CUDA при решении динамических моделей CUDA при решении динамических моделей
di: Клименко А. В.
Pubblicazione: (2016)

Информационное моделирование объектов строительства: практикум
di: Кирколуп Е. Р.
Pubblicazione: (Барнаул, АлтГТУ, 2020)

INMOST - программная платформа и графическая среда для разработки параллельных численных моделей на сетках общего вида учебное пособие для вузов
Pubblicazione: (Москва, Изд-во Московского ун-та, 2013)

Эконометрика в среде GRETL учебное пособие для студентов, обучающихся по направлениям 38.03.01 экономика, 38.03.02 менеджмент, 38.03.05 бизнес-информатика, 38.04.01 экономика
di: Балаш В. А.
Pubblicazione: (Саратов, СГУ, 2019)

Планирование параллельных вычислительныех процессов
di: Барский А. Б. Аркадий Бенционович
Pubblicazione: (Москва, Машиностроение, 1980)

Программные средства для автоматического металлографического анализа
di: Семенков И. В. Илья Владимирович
Pubblicazione: (2013)

Классификация счётных моделей полных теорий. Ч. 2 монография
di: Судоплатов С. В.
Pubblicazione: (Новосибирск, НГТУ, 2014)

Новые SCADAPack от ПЛКСистемы
Pubblicazione: (2006)

Системы автоматического синтеза и анализа трёхмерных изображений
di: Катыс П. Г.
Pubblicazione: (2003)

Построение 3D модели решетчатого графа
di: Скорикова Е. А.
Pubblicazione: (2014)

Основы асинхронных методов параллельных вычислений
di: Нестеренко Б. Б. Борис Борисович
Pubblicazione: (Киев, Наук. думка, 1989)

Системный анализ в горном деле
di: Рогов Е. И. Евгений Иванович
Pubblicazione: (Алма-Ата, Наука, 1976)

Методы автоматического анализа и синтеза текста учебное пособие
Pubblicazione: (Минск, Вышэйшая школа, 1985)

Программное обеспечение параллельных процессов
di: Трахтенгерц Э. А. Эдуард Анатольевич
Pubblicazione: (Москва, Наука, 1987)

Сети, связь и потоки пер. с англ.
di: Фрэнк Г. Говард
Pubblicazione: (Москва, Связь, 1978)

Практикум по методам параллельных вычислений учебник
Pubblicazione: (Москва, Изд-во Московского ун-та, 2010)

Датчик автоматического подсчета объема вводимого лекарственного средства
Pubblicazione: (2011)

Т. 6: Средства и системы автоматического контроля и управления в цветной металлургии
Pubblicazione: (1973)