Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 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)

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

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

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

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

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

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

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

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

Программирование на языке Фортран IV: пер. с нем.
著者:: Грунд Ф.
出版事項: (Москва, Мир, 1976)

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

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

Блок прецизионного АЦП; Схемотехника; № 12
著者:: Грязин Л.
出版事項: (2004)

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

Математическое введение в информатику учебник
著者:: Дудаков С. М.
出版事項: (Тверь, ТвГУ, 2020)

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

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

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

Программирование на Python учебное пособие
著者:: Рагимханова Г. С.
出版事項: (Махачкала, ДГПУ, 2022)

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

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

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

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

Автоматизированные методы спецификации: пер. с англ.
著者:: Деметрович Я. Янош
出版事項: (Москва, Мир, 1989)

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

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

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

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

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

Введение в инженерное дело: пер. с англ.
著者:: Крик Э. Эдвард
出版事項: (Москва, Энергия, 1970)

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

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

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

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

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

Приборы iButton; Схемотехника; № 6
著者:: Николайчук О.
出版事項: (2003)

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