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

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

Bibliografiska uppgifter
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 77-84]
Huvudupphovsman:	Пинжин А. Е. Алексей Евгеньевич
Övriga upphovsmän:	Новосельцев В. Б. Виталий Борисович
Sammanfattning:	Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами.
Språk:	ryska
Publicerad:	2008
Serie:	Управление, вычислительная техника и информатика
Ämnen:	алгоритмы синтеза синтез подпрограммы спецификация предварительная подготовка структуры данных затраты линейные функции функциональные связи логические выводы функциональное программирование условия труды учёных ТПУ электронный ресурс программы
Länkar:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf
Materialtyp:	Elektronisk Bokavsnitt
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173677

Liknande verk

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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