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

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

Bibliographic Details
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 77-84]
Main Author:	Пинжин А. Е. Алексей Евгеньевич
Other Authors:	Новосельцев В. Б. Виталий Борисович
Summary:	Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами.
Language:	Russian
Published:	2008
Series:	Управление, вычислительная техника и информатика
Subjects:	алгоритмы синтеза синтез подпрограммы спецификация предварительная подготовка структуры данных затраты линейные функции функциональные связи логические выводы функциональное программирование условия труды учёных ТПУ электронный ресурс программы
Online Access:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf
Format:	Electronic Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173677

Similar Items

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

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

Использование абстракций и спецификаций при разработке программ: пер. с англ.
by: Лисков Б. Барбара
Published: (Москва, Мир, 1989)

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

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

Системы оптимизации программ
by: Архангельский Б. В. Борис Владимирович
Published: (Киев, Технiка, 1983)

Автоматизация конструирования библиотек программ
by: Арушанян О. Б. Олег Багратович
Published: (Москва, Изд-во Московского ун-та, 1988)

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

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

Алгоритм синтеза нечётких логических регуляторов на основе самоорганизации; Приборы и системы. Управление, контроль, диагностика; № 8
by: Усков А. А.
Published: (2004)

Справочник по типовым программам моделирования
Published: (Киев, Технiка, 1980)

Подпрограмма "Книжные памятники РФ": проблемы реализации и перспективы; Библиотечное дело - XXI век; № 1
by: Яцунок Е. И. Екатерина Ивановна
Published: (2006)

Программирование на языке Фортран IV: пер. с нем.
by: Грунд Ф.
Published: (Москва, Мир, 1976)

Фортран и мониторная система
Published: (Москва, Статистика, 1970)

Применение ЦВМ в задачах анализа и синтеза автоматических систем: учебное пособие; Ч. 1
Published: (Москва, Изд-во МЭИ, 1973)

Блок прецизионного АЦП; Схемотехника; № 12
by: Грязин Л.
Published: (2004)

Задания для самостоятельной работы по курсу «Программирование». Часть 1 учебно-методическое пособие
by: Воронина И. Е.
Published: (Воронеж, ВГУ, 2021)

Математическое введение в информатику учебник
by: Дудаков С. М.
Published: (Тверь, ТвГУ, 2020)

Теория и практика языков программирования: учебник
by: Орлов С. А. Сергей Александрович
Published: (Санкт-Петербург, Питер, 2013)

Выбор поставщиков как реализация проекта; Методы менеджмента качества; № 6
by: Самуэльсон А.
Published: (2002)

Задание «Резьба» (в программе Компас – 3D V13) методические указания по выполнению
by: Карманова Л. Л.
Published: (Челябинск, ЮУрГУ, 2015)

Программирование на Python учебное пособие
by: Рагимханова Г. С.
Published: (Махачкала, ДГПУ, 2022)

Практикум по основам программирования. Массивы. Строки. Подпрограммы учебное пособие
by: Тракимус Ю. В.
Published: (Новосибирск, НГТУ, 2021)

Сухой высоковольтный вывод на основе RIP-изоляции для наружной установки; Современные техника и технологии; Т. 1
by: Иванюк Е. В.
Published: (2010)

Настройка регуляторов методом уравнений синтеза; Промышленные АСУ и контроллеры; № 4
by: Деменков Н. П.
Published: (2003)

Алгоритмизация и программирование: учебное пособие
by: Апатова Н. В. Наталья Владимировна
Published: (Москва, Инфра-Инженерия, 2025)

Автоматизированные методы спецификации: пер. с англ.
by: Деметрович Я. Янош
Published: (Москва, Мир, 1989)

Программирование. Ч. 1 методические рекомендации
by: Зайцев М. Г.
Published: (Новосибирск, НГТУ, 2014)

Фортран: программированное учебное пособие
Published: (Киев, Вища школа, 1980)

Фортран: программированное учебное пособие
Published: (Киев, Вища школа, 1989)

Моделирование синтеза покрытия с использованием синтеза в твердой фазе; Молодежь и современные информационные технологии
by: Шампиева А. Т.
Published: (2013)

Альбом чертежей и спецификаций
Published: (Москва, 1972)

Введение в инженерное дело: пер. с англ.
by: Крик Э. Эдвард
Published: (Москва, Энергия, 1970)

Моделирование электромагнитных процессов в реакторе синтеза Токамак; Атомная техника за рубежом; № 8
by: Джонсон Д.
Published: (2003)

Влияние предварительной обработки высококремнеземных цеолитов на процесс превращения метанола в углеводороды; Журнал физической химии; Т. 61, вып. 7
by: Рябов Ю. В.
Published: (1987)

Инженерная и компьютерная графика. Сборка и сборочный чертеж в Компас-3D учебно-методическое пособие к лабораторной работе №3 и самостоятельных работ для студентов технических направлений подготовки и специальностей всех форм обучения
by: Гришаева Н. Ю.
Published: (Москва, ТУСУР, 2023)

Методические рекомендации по изучению полового созревания хрящевых рыб (Chondrichthyes)
by: Орлов А. М.
Published: (Махачкала, ДГУ, 2019)

Теория логического вывода
by: Смирнов В. А. Владимир Александрович
Published: (Москва, РОССПЭН, 1999)

Приборы iButton; Схемотехника; № 6
by: Николайчук О.
Published: (2003)

Т. 1; Методы программирования: в 2 т.
Published: (1982)