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

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

Մատենագիտական մանրամասներ
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 77-84]
Հիմնական հեղինակ:	Пинжин А. Е. Алексей Евгеньевич
Այլ հեղինակներ:	Новосельцев В. Б. Виталий Борисович
Ամփոփում:	Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами.
Լեզու:	ռուսերեն
Հրապարակվել է:	2008
Շարք:	Управление, вычислительная техника и информатика
Խորագրեր:	алгоритмы синтеза синтез подпрограммы спецификация предварительная подготовка структуры данных затраты линейные функции функциональные связи логические выводы функциональное программирование условия труды учёных ТПУ электронный ресурс программы
Առցանց հասանելիություն:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf
Ձևաչափ:	Էլեկտրոնային Գրքի գլուխ
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173677

Նմանատիպ նյութեր

Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
‌: Пинжин А. Е. Алексей Евгеньевич
Հրապարակվել է: (2008)

Спецификация программ: понятийные средства и их организация
‌: Агафонов В. Н. Валерий Николаевич
Հրապարակվել է: (Новосибирск, Наука, 1990)

Использование абстракций и спецификаций при разработке программ: пер. с англ.
‌: Лисков Б. Барбара
Հրապարակվել է: (Москва, Мир, 1989)

Программный комплекс для имитационного моделирования момента сопротивления производственных механизмов; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
‌: Филипас А. А. Александр Александрович
Հրապարակվել է: (2013)

Системы оптимизации программ
‌: Архангельский Б. В. Борис Владимирович
Հրապարակվել է: (Киев, Технiка, 1983)

Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
‌: Ануреев И. С. Игорь Сергеевич
Հրապարակվել է: (2013)

Автоматизация конструирования библиотек программ
‌: Арушанян О. Б. Олег Багратович
Հրապարակվել է: (Москва, Изд-во Московского ун-та, 1988)

Методы определения уровней безопасности элементов онтологии; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
‌: Хоанг Ван Кует
Հրապարակվել է: (2013)

Алгоритм синтеза нечётких логических регуляторов на основе самоорганизации; Приборы и системы. Управление, контроль, диагностика; № 8
‌: Усков А. А.
Հրապարակվել է: (2004)

Спецификация программ: понятийные средства и их организация
‌: Агафонов В. Н. Валерий Николаевич
Հրապարակվել է: (Новосибирск, Наука, 1987)

Справочник по типовым программам моделирования
Հրապարակվել է: (Киев, Технiка, 1980)

Применение ЦВМ в задачах анализа и синтеза автоматических систем: учебное пособие; Ч. 1
Հրապարակվել է: (Москва, Изд-во МЭИ, 1973)

Фортран и мониторная система
Հրապարակվել է: (Москва, Статистика, 1970)

Подпрограмма "Книжные памятники РФ": проблемы реализации и перспективы; Библиотечное дело - XXI век; № 1
‌: Яцунок Е. И. Екатерина Ивановна
Հրապարակվել է: (2006)

Программирование на языке Фортран IV: пер. с нем.
‌: Грунд Ф.
Հրապարակվել է: (Москва, Мир, 1976)

Блок прецизионного АЦП; Схемотехника; № 12
‌: Грязин Л.
Հրապարակվել է: (2004)

Задания для самостоятельной работы по курсу «Программирование». Часть 1 учебно-методическое пособие
‌: Воронина И. Е.
Հրապարակվել է: (Воронеж, ВГУ, 2021)

Теория и практика языков программирования: учебник
‌: Орлов С. А. Сергей Александрович
Հրապարակվել է: (Санкт-Петербург, Питер, 2013)

Математическое введение в информатику учебник
‌: Дудаков С. М.
Հրապարակվել է: (Тверь, ТвГУ, 2020)

Программирование на Python учебное пособие
‌: Рагимханова Г. С.
Հրապարակվել է: (Махачкала, ДГПУ, 2022)

Практикум по основам программирования. Массивы. Строки. Подпрограммы учебное пособие
‌: Тракимус Ю. В.
Հրապարակվել է: (Новосибирск, НГТУ, 2021)

Выбор поставщиков как реализация проекта; Методы менеджмента качества; № 6
‌: Самуэльсон А.
Հրապարակվել է: (2002)

Задание «Резьба» (в программе Компас – 3D V13) методические указания по выполнению
‌: Карманова Л. Л.
Հրապարակվել է: (Челябинск, ЮУрГУ, 2015)

Сухой высоковольтный вывод на основе RIP-изоляции для наружной установки; Современные техника и технологии; Т. 1
‌: Иванюк Е. В.
Հրապարակվել է: (2010)

Настройка регуляторов методом уравнений синтеза; Промышленные АСУ и контроллеры; № 4
‌: Деменков Н. П.
Հրապարակվել է: (2003)

Алгоритмизация и программирование: учебное пособие
‌: Апатова Н. В. Наталья Владимировна
Հրապարակվել է: (Москва, Инфра-Инженерия, 2025)

Фортран: программированное учебное пособие
Հրապարակվել է: (Киев, Вища школа, 1989)

Фортран: программированное учебное пособие
Հրապարակվել է: (Киев, Вища школа, 1980)

Программирование. Ч. 1 методические рекомендации
‌: Зайцев М. Г.
Հրապարակվել է: (Новосибирск, НГТУ, 2014)

Моделирование синтеза покрытия с использованием синтеза в твердой фазе; Молодежь и современные информационные технологии
‌: Шампиева А. Т.
Հրապարակվել է: (2013)

Автоматизированные методы спецификации: пер. с англ.
‌: Деметрович Я. Янош
Հրապարակվել է: (Москва, Мир, 1989)

Введение в инженерное дело: пер. с англ.
‌: Крик Э. Эдвард
Հրապարակվել է: (Москва, Энергия, 1970)

Альбом чертежей и спецификаций
Հրապարակվել է: (Москва, 1972)

Моделирование электромагнитных процессов в реакторе синтеза Токамак; Атомная техника за рубежом; № 8
‌: Джонсон Д.
Հրապարակվել է: (2003)

Т. 1; Методы программирования: в 2 т.
Հրապարակվել է: (1982)

Приборы iButton; Схемотехника; № 6
‌: Николайчук О.
Հրապարակվել է: (2003)

Теория логического вывода
‌: Смирнов В. А. Владимир Александрович
Հրապարակվել է: (Москва, РОССПЭН, 1999)

Методические рекомендации по изучению полового созревания хрящевых рыб (Chondrichthyes)
‌: Орлов А. М.
Հրապարակվել է: (Махачкала, ДГУ, 2019)

Влияние предварительной обработки высококремнеземных цеолитов на процесс превращения метанола в углеводороды; Журнал физической химии; Т. 61, вып. 7
‌: Рябов Ю. В.
Հրապարակվել է: (1987)

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