Эффективный алгоритм синтеза программ с условиями и подпрограммами

Эффективный алгоритм синтеза программ с условиями и подпрограммами

Dettagli Bibliografici
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 77-84]
Autore principale:	Пинжин А. Е. Алексей Евгеньевич
Altri autori:	Новосельцев В. Б. Виталий Борисович
Riassunto:	Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами.
Lingua:	russo
Pubblicazione:	2008
Serie:	Управление, вычислительная техника и информатика
Soggetti:	алгоритмы синтеза синтез подпрограммы спецификация предварительная подготовка структуры данных затраты линейные функции функциональные связи логические выводы функциональное программирование условия труды учёных ТПУ электронный ресурс программы
Accesso online:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf
Natura:	Elettronico Capitolo di libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173677

Documenti analoghi

Алгоритм синтеза программ с явной и неявной рекурсией
di: Пинжин А. Е. Алексей Евгеньевич
Pubblicazione: (2008)

Алгоритм синтеза нечётких логических регуляторов на основе самоорганизации
di: Усков А. А.
Pubblicazione: (2004)

Реализация эффективного алгоритма синтеза линейных функциональных программ
di: Новосельцев В. Б. Виталий Борисович
Pubblicazione: (2008)

Функциональное программирование учебник и практикум для вузов
di: Кубенский А. А. Александр Александрович
Pubblicazione: (Москва, Юрайт, 2023)

Функциональное программирование учебник и практикум для вузов
di: Кубенский А. А. Александр Александрович
Pubblicazione: (Москва, Юрайт, 2025)

Функциональное программирование учебник и практикум для вузов
di: Кубенский А. А. Александр Александрович
Pubblicazione: (Москва, Юрайт, 2021)

Функциональное программирование учебник и практикум для вузов
di: Кубенский А. А. Александр Александрович
Pubblicazione: (Москва, Юрайт, 2024)

Функциональное программирование учебник и практикум для вузов
di: Кубенский А. А. Александр Александрович
Pubblicazione: (Москва, Юрайт, 2022)

Логика и теория познания межвузовский сборник
Pubblicazione: (Ленинград, Изд-во ЛГУ, 1990)

Программирование на языке C# ЛР в ИСР Visual C# 2010 Express для студентов направления «Информатика и вычислительная техника»
di: Акчурин Э. А.
Pubblicazione: (Самара, ПГУТИ, 2011)

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

Методы определения уровней безопасности элементов онтологии
di: Хоанг Ван Кует
Pubblicazione: (2013)

Обольстить логикой. Выводы на все случаи жизни
di: Дрёссер К. Кристоф
Pubblicazione: (Москва, Лаборатория знаний, 2025)

Основания математики. Логические исчисления и формализация арифметики.
di: Гильберт Д. Давид
Pubblicazione: (Москва, Наука, 1982)

Диагностирование логических схем. Алгоритмы моделирования и автоматического синтеза теста
di: Иоффе М. И. Михаил Израилевич
Pubblicazione: (Москва, Наука, 1989)

Исследование алгоритмов логического вывода
di: Осадчая И. А.
Pubblicazione: (2015)

Critical Thinking. A Concise Guide
di: Bowell T. Tracy
Pubblicazione: (London, Routledge, 2004)

Анализ эффективности применения метода индексации фактов
di: Осадчая И. А.
Pubblicazione: (2016)

Логический вывод
Pubblicazione: (Москва, Наука, 1979)

Инструментальный комплекс для создания экспертных систем, использующих модели функциональных отношений
di: Силич М. П.
Pubblicazione: (2005)

Контроллер п.з.с.-матрицы для спектральных исследований
di: Линник А. С.
Pubblicazione: (2004)

Использование онтологий в системах управления знаниями организаций
Pubblicazione: (2006)

Формирование базы знаний системы поддержки принятия решений медицинских исследований
di: Шагарова М. Д.
Pubblicazione: (2016)

Логика: теория аргументации и критического мышления
di: Воробьева С. В.
Pubblicazione: (Минск, БГУ, 2018)

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

Прикладная логика
di: Попов С. В. Сергей Викторович
Pubblicazione: (Москва, Физматлит, 2011)

Языки программирования низкого уровня: Практикум
di: Бочкарева В. В.
Pubblicazione: (Москва, РТУ МИРЭА, 2021)

Программирование учебное пособие
di: Шелест В. Д. Вячеслав
Pubblicazione: (СПб., БХВ-Петербург, 2002)

Программирование. Функциональный подход учебник и практикум для вузов
di: Зыков С. В. Сергей Викторович
Pubblicazione: (Москва, Юрайт, 2023)

Программирование. Функциональный подход учебник и практикум для вузов
di: Зыков С. В. Сергей Викторович
Pubblicazione: (Москва, Юрайт, 2024)

Программирование. Функциональный подход учебник и практикум для вузов
di: Зыков С. В. Сергей Викторович
Pubblicazione: (Москва, Юрайт, 2022)

Программирование. Функциональный подход учебник и практикум для вузов
di: Зыков С. В. Сергей Викторович
Pubblicazione: (Москва, Юрайт, 2023)

Программирование. Функциональный подход учебник и практикум для вузов
di: Зыков С. В. Сергей Викторович
Pubblicazione: (Москва, Юрайт, 2025)

Программирование. Функциональный подход учебник и практикум для вузов
di: Зыков С. В. Сергей Викторович
Pubblicazione: (Москва, Юрайт, 2021)

Современные тенденции в разработке функциональных продуктов питания: теория и практика учебное пособие для вузов
di: Соколова Н. Н.
Pubblicazione: (Санкт-Петербург, Лань, 2025)

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

Основы построения цифровых моделей химико-технологических процессов
di: Кузнецов А. С.
Pubblicazione: (Москва, РТУ МИРЭА, 2022)

Теория логического вывода
Pubblicazione: (Москва, Наука, 1973)

Программирование на Фортране для инженеров- строителей пер. с англ.
di: Мак-Куэн Р.
Pubblicazione: (Москва, Стройиздат, 1978)

Логика [учебное пособие]
di: Бартон В. И. Виталий Иванович
Pubblicazione: (Минск, Новое знание, 2008)