Реализация эффективного алгоритма синтеза линейных функциональных программ; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 312, № 5 : Управление, вычислительная техника и информатика.— 2008.— [С. 32-35] |
|---|---|
| Yazar: | Новосельцев В. Б. Виталий Борисович |
| Diğer Yazarlar: | Пинжин А. Е. Алексей Евгеньевич |
| Özet: | Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза линейных программ на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от количества атрибутов и функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами. |
| Dil: | Rusça |
| Baskı/Yayın Bilgisi: |
2008
|
| Seri Bilgileri: | Управление, вычислительная техника и информатика |
| Konular: | |
| Online Erişim: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v312/i5/07.pdf |
| Materyal Türü: | Elektronik Kitap Bölümü |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173262 |
Benzer Materyaller
Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
Yazar:: Пинжин А. Е. Алексей Евгеньевич
Baskı/Yayın Bilgisi: (2008)
Yazar:: Пинжин А. Е. Алексей Евгеньевич
Baskı/Yayın Bilgisi: (2008)
Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
Yazar:: Коваленко Д. А. Дмитрий Алексеевич
Baskı/Yayın Bilgisi: (2008)
Yazar:: Коваленко Д. А. Дмитрий Алексеевич
Baskı/Yayın Bilgisi: (2008)
Разработка системы автоматического синтеза параллельных программ на базе теории структурных функциональных моделей; Современные техника и технологии; Т. 2
Yazar:: Коваленко Д. А. Дмитрий Алексеевич
Baskı/Yayın Bilgisi: (2007)
Yazar:: Коваленко Д. А. Дмитрий Алексеевич
Baskı/Yayın Bilgisi: (2007)
Теория и применение метода осреднения функциональных поправок: монография
Yazar:: Лучка А. Ю. Антон Юрьевич
Baskı/Yayın Bilgisi: (Киев, Изд-во АН УССР, 1963)
Yazar:: Лучка А. Ю. Антон Юрьевич
Baskı/Yayın Bilgisi: (Киев, Изд-во АН УССР, 1963)
Метатезис линейных олефинов и их функциональных производных на иммобилизованном вольфрам-кремнийсодержащем катализаторе; Нефтехимия; Т. 44, № 2
Baskı/Yayın Bilgisi: (2004)
Baskı/Yayın Bilgisi: (2004)
Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
Yazar:: Пинжин А. Е. Алексей Евгеньевич
Baskı/Yayın Bilgisi: (2008)
Yazar:: Пинжин А. Е. Алексей Евгеньевич
Baskı/Yayın Bilgisi: (2008)
Наблюдатели состояния для линейных систем с неопределенностью
Yazar:: Коровин С. К. Сергей Константинович
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2007)
Yazar:: Коровин С. К. Сергей Константинович
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2007)
Разработка прикладных программ в интегрированной среде Lazarus. Лабораторный практикум по дисциплинам «Информатика» и «Информационные технологии в управлении техносферной безопасностью» 200301 «Техносферная безопасность» (бакалавриат)
Baskı/Yayın Bilgisi: (Москва, ТУСУР, 2018)
Baskı/Yayın Bilgisi: (Москва, ТУСУР, 2018)
Асимптотическое поведение решений дифференциально-функциональных уравнений: сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, Изд-во Ин-та математики АН УССР, 1978)
Baskı/Yayın Bilgisi: (Киев, Изд-во Ин-та математики АН УССР, 1978)
Качественное исследование дифференциально-функциональных уравнений: сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1980)
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1980)
Электротехнические расчеты на языке Бейсик. 70 программ на персональном компьютере
Yazar:: Геворкян Г. Х. Геворк Хоренович
Baskı/Yayın Bilgisi: (Москва, Энергоатомиздат, 1989)
Yazar:: Геворкян Г. Х. Геворк Хоренович
Baskı/Yayın Bilgisi: (Москва, Энергоатомиздат, 1989)
Разработка алгоритмов и программ некоторых задач технического этапа проектирования вычислительных устройств: отчет о НИР; тема: № 5/71
Baskı/Yayın Bilgisi: (Томск, 1973)
Baskı/Yayın Bilgisi: (Томск, 1973)
Язык описания генераторов комбинаторных множеств; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
Yazar:: Титков А. В.
Baskı/Yayın Bilgisi: (2008)
Yazar:: Титков А. В.
Baskı/Yayın Bilgisi: (2008)
Введение в теорию функционально-дифференциальных уравнений
Yazar:: Азбелев Н. В. Николай Викторович
Baskı/Yayın Bilgisi: (Москва, Наука, 1991)
Yazar:: Азбелев Н. В. Николай Викторович
Baskı/Yayın Bilgisi: (Москва, Наука, 1991)
Устройства USB; Схемотехника; № 9
Yazar:: Вальпа О.
Baskı/Yayın Bilgisi: (2003)
Yazar:: Вальпа О.
Baskı/Yayın Bilgisi: (2003)
Разработка метода бинарной декомпозиции функциональных предикатов; Известия Томского политехнического университета [Известия ТПУ]; Т. 320, № 5 : Управление, вычислительная техника и информатика
Yazar:: Рудометкина М. Н.
Baskı/Yayın Bilgisi: (2012)
Yazar:: Рудометкина М. Н.
Baskı/Yayın Bilgisi: (2012)
Случайные возмущения дифференциально-функциональных уравнений
Yazar:: Царьков Е. Ф.
Baskı/Yayın Bilgisi: (Рига, Зинатне, 1989)
Yazar:: Царьков Е. Ф.
Baskı/Yayın Bilgisi: (Рига, Зинатне, 1989)
Бирациональная геометрия: линейные системы и конечно порожденные алгебры: Сборник статей
Baskı/Yayın Bilgisi: (Москва, Наука, 2003)
Baskı/Yayın Bilgisi: (Москва, Наука, 2003)
Метод функциональных параметров в теории обыкновенных дифференциальных уравнений
Yazar:: Черепенников В. Б. Валерий Борисович
Baskı/Yayın Bilgisi: (Новосибирск, Наука, 1983)
Yazar:: Черепенников В. Б. Валерий Борисович
Baskı/Yayın Bilgisi: (Новосибирск, Наука, 1983)
Линейная алгебра в примерах и задачах: учебное пособие
Yazar:: Бортаковский А. С. Александр Сергеевич
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2005)
Yazar:: Бортаковский А. С. Александр Сергеевич
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2005)
Разработка программы упорядочивания транслируемых линейных участков; Технологии Microsoft в теории и практике программирования
Yazar:: Колесник Е. С.
Baskı/Yayın Bilgisi: (2014)
Yazar:: Колесник Е. С.
Baskı/Yayın Bilgisi: (2014)
Функционально-дифференциальные уравнения: межвузовский сборник научных трудов
Baskı/Yayın Bilgisi: (Пермь, Изд-во ППИ, 1986)
Baskı/Yayın Bilgisi: (Пермь, Изд-во ППИ, 1986)
Разработка, исследование и изготовление образцов специализированных и универсальных электронных функциональных блоков; Принципиальные научно-технические решения для разработки специализированныхи универсальных электронных функциональных блоков: Промежуточный отчет о НИР; Тема: х/д 9-10/79
Baskı/Yayın Bilgisi: (Томск, 1979)
Baskı/Yayın Bilgisi: (Томск, 1979)
Метод селекции границ интервалов данных для определения законов распределения функциональных зависимостей; Электроэнергия: от получения и распределения до эффективного использования
Yazar:: Прутик А. Ф. Алексей Фёдорович
Baskı/Yayın Bilgisi: (2010)
Yazar:: Прутик А. Ф. Алексей Фёдорович
Baskı/Yayın Bilgisi: (2010)
Открытая среда разработки программного обеспечения Lazarus. Лабораторный практикум по дисциплинам «Информатика-2» и «Технологии прикладного программирования радиоэлектронных средств» 110303 «Конструирование и технология электронных средств» (бакалавриат)
Baskı/Yayın Bilgisi: (Москва, ТУСУР, 2018)
Baskı/Yayın Bilgisi: (Москва, ТУСУР, 2018)
Сборник задач по программированию задачник
Yazar:: Бадмаева Э. С.
Baskı/Yayın Bilgisi: (Улан-Удэ, БГУ, 2019)
Yazar:: Бадмаева Э. С.
Baskı/Yayın Bilgisi: (Улан-Удэ, БГУ, 2019)
Современные тенденции в разработке функциональных продуктов питания: теория и практика учебное пособие для вузов
Yazar:: Соколова Н. Н.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2025)
Yazar:: Соколова Н. Н.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2025)
Сравнение времени оценки устойчивости линейных систем НА ЭВМ с использованием алгебраических критериев; Молодежь и современные информационные технологии
Yazar:: Черняк К. А.
Baskı/Yayın Bilgisi: (2020)
Yazar:: Черняк К. А.
Baskı/Yayın Bilgisi: (2020)
Технология производства функциональных пищевых продуктов учебное пособие
Yazar:: Трубина И. А.
Baskı/Yayın Bilgisi: (Ставрополь, СтГАУ, 2020)
Yazar:: Трубина И. А.
Baskı/Yayın Bilgisi: (Ставрополь, СтГАУ, 2020)
Обоснование линейно-упорядоченного представления графовых моделей программ; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
Yazar:: Огородов С. В. Сергей Витальевич
Baskı/Yayın Bilgisi: (2008)
Yazar:: Огородов С. В. Сергей Витальевич
Baskı/Yayın Bilgisi: (2008)
Некоторые вопросы математической теории процессов управления: пер. с англ.
Yazar:: Беллман Р. Ричард
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1962)
Yazar:: Беллман Р. Ричард
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1962)
Практика функционального цифрового моделирования в радиотехнике: учебное пособие
Yazar:: Мартюшев Ю. Ю. Юрий Юрьевич
Baskı/Yayın Bilgisi: (Москва, Горячая линия-Телеком, 2012)
Yazar:: Мартюшев Ю. Ю. Юрий Юрьевич
Baskı/Yayın Bilgisi: (Москва, Горячая линия-Телеком, 2012)
Основы программирования. Подготовка к компьютерному ЕГЭ по информатике и ИКТ учебное пособие
Yazar:: Каплиева Н. А.
Baskı/Yayın Bilgisi: (Воронеж, ВГУ, 2021)
Yazar:: Каплиева Н. А.
Baskı/Yayın Bilgisi: (Воронеж, ВГУ, 2021)
Дифференциальные уравнения. Ряды: учебное пособие
Yazar:: Терехина Л. И. Людмила Ивановна
Baskı/Yayın Bilgisi: (Томск, Дельтаплан, 2002)
Yazar:: Терехина Л. И. Людмила Ивановна
Baskı/Yayın Bilgisi: (Томск, Дельтаплан, 2002)
Программы в помощь изучающим теорию линейных систем управления: пер. с англ.
Yazar:: Мнлса Дж. Л.
Baskı/Yayın Bilgisi: (Москва, Машиностроение, 1981)
Yazar:: Мнлса Дж. Л.
Baskı/Yayın Bilgisi: (Москва, Машиностроение, 1981)
Болезни билиарной системы учебное пособие
Yazar:: Волевач Л. В.
Baskı/Yayın Bilgisi: (Уфа, БГМУ, 2021)
Yazar:: Волевач Л. В.
Baskı/Yayın Bilgisi: (Уфа, БГМУ, 2021)
Линейная алгебра в примерах и задачах: учебное пособие
Yazar:: Бортаковский А. С. Александр Сергеевич
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2010)
Yazar:: Бортаковский А. С. Александр Сергеевич
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2010)
Линейная алгебра в примерах и задачах: учебное пособие
Yazar:: Бортаковский А. С. Александр Сергеевич
Baskı/Yayın Bilgisi: (Москва, Инфра-М, 2015)
Yazar:: Бортаковский А. С. Александр Сергеевич
Baskı/Yayın Bilgisi: (Москва, Инфра-М, 2015)
Численные методы декомпозиции в линейных задачах механики
Yazar:: Базилевич Ю. Н. Юрий Николаевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1987)
Yazar:: Базилевич Ю. Н. Юрий Николаевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1987)
Расширение функциональных возможностей нефтяного нагревательного оборудования; Нефтяное хозяйство; № 10
Yazar:: Иванов А. Б.
Baskı/Yayın Bilgisi: (2003)
Yazar:: Иванов А. Б.
Baskı/Yayın Bilgisi: (2003)
Benzer Materyaller
-
Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
Yazar:: Пинжин А. Е. Алексей Евгеньевич
Baskı/Yayın Bilgisi: (2008) -
Методы и средства автоматического синтеза параллельных программ на базе теории структурных функциональных моделей; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
Yazar:: Коваленко Д. А. Дмитрий Алексеевич
Baskı/Yayın Bilgisi: (2008) -
Разработка системы автоматического синтеза параллельных программ на базе теории структурных функциональных моделей; Современные техника и технологии; Т. 2
Yazar:: Коваленко Д. А. Дмитрий Алексеевич
Baskı/Yayın Bilgisi: (2007) -
Теория и применение метода осреднения функциональных поправок: монография
Yazar:: Лучка А. Ю. Антон Юрьевич
Baskı/Yayın Bilgisi: (Киев, Изд-во АН УССР, 1963) -
Метатезис линейных олефинов и их функциональных производных на иммобилизованном вольфрам-кремнийсодержащем катализаторе; Нефтехимия; Т. 44, № 2
Baskı/Yayın Bilgisi: (2004)