Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 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)
著者:: Пинжин А. Е. Алексей Евгеньевич
出版事項: (2008)
Спецификация программ: понятийные средства и их организация
著者:: Агафонов В. Н. Валерий Николаевич
出版事項: (Новосибирск, Наука, 1990)
著者:: Агафонов В. Н. Валерий Николаевич
出版事項: (Новосибирск, Наука, 1990)
Использование абстракций и спецификаций при разработке программ: пер. с англ.
著者:: Лисков Б. Барбара
出版事項: (Москва, Мир, 1989)
著者:: Лисков Б. Барбара
出版事項: (Москва, Мир, 1989)
Программный комплекс для имитационного моделирования момента сопротивления производственных механизмов; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
著者:: Филипас А. А. Александр Александрович
出版事項: (2013)
著者:: Филипас А. А. Александр Александрович
出版事項: (2013)
Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
著者:: Ануреев И. С. Игорь Сергеевич
出版事項: (2013)
著者:: Ануреев И. С. Игорь Сергеевич
出版事項: (2013)
Системы оптимизации программ
著者:: Архангельский Б. В. Борис Владимирович
出版事項: (Киев, Технiка, 1983)
著者:: Архангельский Б. В. Борис Владимирович
出版事項: (Киев, Технiка, 1983)
Автоматизация конструирования библиотек программ
著者:: Арушанян О. Б. Олег Багратович
出版事項: (Москва, Изд-во Московского ун-та, 1988)
著者:: Арушанян О. Б. Олег Багратович
出版事項: (Москва, Изд-во Московского ун-та, 1988)
Методы определения уровней безопасности элементов онтологии; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
著者:: Хоанг Ван Кует
出版事項: (2013)
著者:: Хоанг Ван Кует
出版事項: (2013)
Спецификация программ: понятийные средства и их организация
著者:: Агафонов В. Н. Валерий Николаевич
出版事項: (Новосибирск, Наука, 1987)
著者:: Агафонов В. Н. Валерий Николаевич
出版事項: (Новосибирск, Наука, 1987)
Алгоритм синтеза нечётких логических регуляторов на основе самоорганизации; Приборы и системы. Управление, контроль, диагностика; № 8
著者:: Усков А. А.
出版事項: (2004)
著者:: Усков А. А.
出版事項: (2004)
Справочник по типовым программам моделирования
出版事項: (Киев, Технiка, 1980)
出版事項: (Киев, Технiка, 1980)
Подпрограмма "Книжные памятники РФ": проблемы реализации и перспективы; Библиотечное дело - XXI век; № 1
著者:: Яцунок Е. И. Екатерина Ивановна
出版事項: (2006)
著者:: Яцунок Е. И. Екатерина Ивановна
出版事項: (2006)
Программирование на языке Фортран IV: пер. с нем.
著者:: Грунд Ф.
出版事項: (Москва, Мир, 1976)
著者:: Грунд Ф.
出版事項: (Москва, Мир, 1976)
Фортран и мониторная система
出版事項: (Москва, Статистика, 1970)
出版事項: (Москва, Статистика, 1970)
Применение ЦВМ в задачах анализа и синтеза автоматических систем: учебное пособие; Ч. 1
出版事項: (Москва, Изд-во МЭИ, 1973)
出版事項: (Москва, Изд-во МЭИ, 1973)
Блок прецизионного АЦП; Схемотехника; № 12
著者:: Грязин Л.
出版事項: (2004)
著者:: Грязин Л.
出版事項: (2004)
Задания для самостоятельной работы по курсу «Программирование». Часть 1 учебно-методическое пособие
著者:: Воронина И. Е.
出版事項: (Воронеж, ВГУ, 2021)
著者:: Воронина И. Е.
出版事項: (Воронеж, ВГУ, 2021)
Математическое введение в информатику учебник
著者:: Дудаков С. М.
出版事項: (Тверь, ТвГУ, 2020)
著者:: Дудаков С. М.
出版事項: (Тверь, ТвГУ, 2020)
Теория и практика языков программирования: учебник
著者:: Орлов С. А. Сергей Александрович
出版事項: (Санкт-Петербург, Питер, 2013)
著者:: Орлов С. А. Сергей Александрович
出版事項: (Санкт-Петербург, Питер, 2013)
Выбор поставщиков как реализация проекта; Методы менеджмента качества; № 6
著者:: Самуэльсон А.
出版事項: (2002)
著者:: Самуэльсон А.
出版事項: (2002)
Задание «Резьба» (в программе Компас – 3D V13) методические указания по выполнению
著者:: Карманова Л. Л.
出版事項: (Челябинск, ЮУрГУ, 2015)
著者:: Карманова Л. Л.
出版事項: (Челябинск, ЮУрГУ, 2015)
Программирование на Python учебное пособие
著者:: Рагимханова Г. С.
出版事項: (Махачкала, ДГПУ, 2022)
著者:: Рагимханова Г. С.
出版事項: (Махачкала, ДГПУ, 2022)
Практикум по основам программирования. Массивы. Строки. Подпрограммы учебное пособие
著者:: Тракимус Ю. В.
出版事項: (Новосибирск, НГТУ, 2021)
著者:: Тракимус Ю. В.
出版事項: (Новосибирск, НГТУ, 2021)
Сухой высоковольтный вывод на основе RIP-изоляции для наружной установки; Современные техника и технологии; Т. 1
著者:: Иванюк Е. В.
出版事項: (2010)
著者:: Иванюк Е. В.
出版事項: (2010)
Настройка регуляторов методом уравнений синтеза; Промышленные АСУ и контроллеры; № 4
著者:: Деменков Н. П.
出版事項: (2003)
著者:: Деменков Н. П.
出版事項: (2003)
Алгоритмизация и программирование: учебное пособие
著者:: Апатова Н. В. Наталья Владимировна
出版事項: (Москва, Инфра-Инженерия, 2025)
著者:: Апатова Н. В. Наталья Владимировна
出版事項: (Москва, Инфра-Инженерия, 2025)
Автоматизированные методы спецификации: пер. с англ.
著者:: Деметрович Я. Янош
出版事項: (Москва, Мир, 1989)
著者:: Деметрович Я. Янош
出版事項: (Москва, Мир, 1989)
Программирование. Ч. 1 методические рекомендации
著者:: Зайцев М. Г.
出版事項: (Новосибирск, НГТУ, 2014)
著者:: Зайцев М. Г.
出版事項: (Новосибирск, НГТУ, 2014)
Фортран: программированное учебное пособие
出版事項: (Киев, Вища школа, 1980)
出版事項: (Киев, Вища школа, 1980)
Фортран: программированное учебное пособие
出版事項: (Киев, Вища школа, 1989)
出版事項: (Киев, Вища школа, 1989)
Моделирование синтеза покрытия с использованием синтеза в твердой фазе; Молодежь и современные информационные технологии
著者:: Шампиева А. Т.
出版事項: (2013)
著者:: Шампиева А. Т.
出版事項: (2013)
Альбом чертежей и спецификаций
出版事項: (Москва, 1972)
出版事項: (Москва, 1972)
Введение в инженерное дело: пер. с англ.
著者:: Крик Э. Эдвард
出版事項: (Москва, Энергия, 1970)
著者:: Крик Э. Эдвард
出版事項: (Москва, Энергия, 1970)
Моделирование электромагнитных процессов в реакторе синтеза Токамак; Атомная техника за рубежом; № 8
著者:: Джонсон Д.
出版事項: (2003)
著者:: Джонсон Д.
出版事項: (2003)
Влияние предварительной обработки высококремнеземных цеолитов на процесс превращения метанола в углеводороды; Журнал физической химии; Т. 61, вып. 7
著者:: Рябов Ю. В.
出版事項: (1987)
著者:: Рябов Ю. В.
出版事項: (1987)
Инженерная и компьютерная графика. Сборка и сборочный чертеж в Компас-3D учебно-методическое пособие к лабораторной работе №3 и самостоятельных работ для студентов технических направлений подготовки и специальностей всех форм обучения
著者:: Гришаева Н. Ю.
出版事項: (Москва, ТУСУР, 2023)
著者:: Гришаева Н. Ю.
出版事項: (Москва, ТУСУР, 2023)
Методические рекомендации по изучению полового созревания хрящевых рыб (Chondrichthyes)
著者:: Орлов А. М.
出版事項: (Махачкала, ДГУ, 2019)
著者:: Орлов А. М.
出版事項: (Махачкала, ДГУ, 2019)
Теория логического вывода
著者:: Смирнов В. А. Владимир Александрович
出版事項: (Москва, РОССПЭН, 1999)
著者:: Смирнов В. А. Владимир Александрович
出版事項: (Москва, РОССПЭН, 1999)
Приборы iButton; Схемотехника; № 6
著者:: Николайчук О.
出版事項: (2003)
著者:: Николайчук О.
出版事項: (2003)
Т. 1; Методы программирования: в 2 т.
出版事項: (1982)
出版事項: (1982)
類似資料
-
Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
著者:: Пинжин А. Е. Алексей Евгеньевич
出版事項: (2008) -
Спецификация программ: понятийные средства и их организация
著者:: Агафонов В. Н. Валерий Николаевич
出版事項: (Новосибирск, Наука, 1990) -
Использование абстракций и спецификаций при разработке программ: пер. с англ.
著者:: Лисков Б. Барбара
出版事項: (Москва, Мир, 1989) -
Программный комплекс для имитационного моделирования момента сопротивления производственных механизмов; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
著者:: Филипас А. А. Александр Александрович
出版事項: (2013) -
Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
著者:: Ануреев И. С. Игорь Сергеевич
出版事項: (2013)