Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика

Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика

Библиографические подробности
Источник:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 39-44]
Главный автор:	Коваленко Д. А. Дмитрий Алексеевич
Примечания:	Заглавие с титульного листа Электронная версия печатной публикации Рассматриваются методы и алгоритмы автоматического синтеза параллельной программы по заданным непроцедурным спецификациям. Исследуются подходы к синтезу параллельных программ с использованием ярусно-параллельной формы графа алгоритма. Приводится вычислительная сложность предлагаемых алгоритмов. Рассматриваются вопросы практической реализации разработанных подходов.
Язык:	русский
Опубликовано:	2008
Серии:	Управление, вычислительная техника и информатика
Предметы:	автоматический синтез параллельные программы функциональные модели структурные модели спецификации графы практическая реализация труды учёных ТПУ электронный ресурс
Online-ссылка:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/09.pdf
Формат:	Электронный ресурс Статья
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173266

Схожие документы

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

Обоснование линейно-упорядоченного представления графовых моделей программ; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
по: Огородов С. В. Сергей Витальевич
Опубликовано: (2008)

Системная информатика: Сборник научных трудов; Вып. 7; Проблемы теории и методологии создания параллельных и распределенных систем
Опубликовано: (Новосибирск, Наука, 2000)

Об использовании параллельных вычислений для анализа растущих систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
по: Тарасенко П. Ф.
Опубликовано: (2008)

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

Математические модели и методы в параллельных процессах
по: Воеводин В. В. Валентин Васильевич
Опубликовано: (Москва, Наука, 1986)

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

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

Применение технологии параллельных вычислений для оптимизации модели глобального освещения; Известия Томского политехнического университета [Известия ТПУ]; Т. 319, № 5 : Управление, вычислительная техника и информатика
по: Парубец В. В. Валерий Валерьевич
Опубликовано: (2011)

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

Поля напряжений равновестных групп параллельных пластических сдвигов; Физическая мезомеханика; Т. 9, № 5
по: Неверов В. В.
Опубликовано: (2006)

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

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

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

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

Стратегия установления выводимости формул в структурных функциональных моделях; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
по: Коваленко Д. А. Дмитрий Алексеевич
Опубликовано: (2006)

Верификация и тестирование сложных программных средств; Информационные технологии; № 7
по: Липаев В. В.
Опубликовано: (2004)

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

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

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

Применение ячеек однородной структуры для вычисления непрерывного вейвлет-преобразования; Известия Томского политехнического университета [Известия ТПУ]; Т. 317, № 5 : Управление, вычислительная техника и информатика
по: Хамухин А. А. Александр Анатольевич
Опубликовано: (2010)

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

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

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

О построении активных моделей распределенных систем реального времени; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
по: Погребной В. К. Владимир Кириллович
Опубликовано: (2008)

Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Опубликовано: (1988)

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

Применение технологий Применение технологий NVIDIA CUDA при решении динамических моделей CUDA при решении динамических моделей; Физико-технические проблемы в науке, промышленности и медицине
по: Клименко А. В.
Опубликовано: (2016)

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

Новые SCADAPack от ПЛКСистемы; Промышленные АСУ и контроллеры; № 3
Опубликовано: (2006)

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

Разработка моделей и алгоритмов оптимизации обходов элементов графов и их применение для планирования движения спецавтотранспорта: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01.
по: Чердынцев Е. С. Евгений Сергеевич
Опубликовано: (Томск, 1983)

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

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

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

Построение 3D модели решетчатого графа; Технологии Microsoft в теории и практике программирования
по: Скорикова Е. А.
Опубликовано: (2014)

Анализ алгоритма расчета формы плазменного шнура токамака КТМ с точки зрения параллельных вычислений; Известия Томского политехнического университета [Известия ТПУ]; Т. 321, № 5 : Управление, вычислительная техника и информатика
Опубликовано: (2012)

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

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

Алгоритм разработки психодиагностического опросника учебно-методическое пособие
по: Акимова А. Ю.
Опубликовано: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2025)