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

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

Bibliographic Details
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 39-44]
Main Author:	Коваленко Д. А. Дмитрий Алексеевич
Summary:	Заглавие с титульного листа Электронная версия печатной публикации Рассматриваются методы и алгоритмы автоматического синтеза параллельной программы по заданным непроцедурным спецификациям. Исследуются подходы к синтезу параллельных программ с использованием ярусно-параллельной формы графа алгоритма. Приводится вычислительная сложность предлагаемых алгоритмов. Рассматриваются вопросы практической реализации разработанных подходов.
Language:	Russian
Published:	2008
Series:	Управление, вычислительная техника и информатика
Subjects:	автоматический синтез параллельные программы функциональные модели структурные модели спецификации графы практическая реализация труды учёных ТПУ электронный ресурс
Online Access:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/09.pdf
Format:	Electronic Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173266

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Решение прикладных задач с использованием гетерогенных вычислительных систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 323, № 5 : Управление, вычислительная техника и информатика
by: Лощухина Т. Е. Татьяна Евгеньевна
Published: (2013)

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

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