Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Малявко, А. А.$<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Вид документа : Однотомное издание
Шифр издания : 47725
Автор(ы) : Малявко А. А.
Заглавие : Формальные языки и компиляторы : Учебник
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2014
Колич.характеристики :431 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2318-9: Б.ц.
УДК : 62
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): компилятор--программирование--формальный язык
Аннотация: Изложены теоретические основы аппарата определения лексики (регулярные выражения) и синтаксиса (формальные грамматики) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных выражений в конечный автомат – лексический анализатор. Изучаются нисходящие и восходящие методы синтаксического анализа, основанные на преобразовании формальных грамматик в конечные автоматы с магазинной памятью. Рассматриваются различные способы решения задачи нейтрализации синтаксических ошибок. Изучаются наиболее типичные задачи, решаемые на этапе семантического анализа: организация памяти программы, доступ к локальным и нелокальным данным, контроль типов. Обсуждаются основные задачи генератора кода, такие как управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Приводится описание учебного программного обеспечения и методические указания по выполнению лабораторных работ и курсового проектирования. Учебник рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин, а также студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 45019
Автор(ы) : Малявко А. А.
Заглавие : Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3: Учебное пособие. Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3
Выходные данные : : Новосибирский государственный технический университет Б.м., 2012
Колич.характеристики :120 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-1960-1: Б.ц.
УДК : 004.43
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программное обеспечение--формальный язык--метод трансляции--семантический анализ--тип данных--оптимизация программы
Аннотация: В третьей части учебного пособия рассматриваются задачи, решаемые семантическими анализаторами и генераторами объектного кода трансляторов. Основное внимание уделяется принципам, закладываемым в организацию памяти транслируемой программы, и методам доступа к локальным и нелокальным данным процедур. На этой основе рассмотрены применяемые в современных языках подходы к контролю типов данных и функции семантического анализа. Обсуждаются основные задачи генератора кода, такие как формирование последовательности тетрад, управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Пособие адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 45018
Автор(ы) : Малявко А. А.
Заглавие : Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2: Учебное пособие. Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2
Выходные данные : : Новосибирский государственный технический университет Б.м., 2011
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-1668-6: Б.ц.
УДК : 004.43
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программное обеспечение--формальный язык--метод трансляции--синтаксический анализ--нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 45017
Автор(ы) : Малявко А. А.
Заглавие : Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1: Учебное пособие. Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1
Выходные данные : : Новосибирский государственный технический университет Б.м., 2010
Колич.характеристики :104 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-1429-3: Б.ц.
УДК : 004.43
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): системное обеспечение--программное обеспечение--формальный язык--метод трансляции--компилятор--интерпретатор
Аннотация: В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 91542
Автор(ы) : Малявко А. А., Менжулин С. А.
Заглавие : Суперкомпьютеры и системы. Построение вычислительных кластеров : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :96 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3633-2: Б.ц.
УДК : 004.272
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): pelicanhpc--архитектура slurm--высокое быстродействие--вычислительный кластер--гибридный гипервизор--кластер condor--кластерная система--параллельное вычисление--суперкомпьютер--тorque
Аннотация: В пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации кластерных вычислительных систем, а также для освоения принципов их использования. Описываются архитектурные решения четырех актуальных программных продуктов, имеющих практическую ценность для организации параллельных вычислений: PelicanHPC, Тorque, HTCondor, Slurm. Пособие адресовано студентам, обучающимся по направлениям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия», а также может быть полезно студентам-старшекурсникам и аспирантам других специальностей и преподавателям смежных дисциплин.
(для доступа требуется авторизация)

Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : 91437
Автор(ы) : Малявко А. А., Менжулин С. А.
Заглавие : Суперкомпьютеры и системы. Мультикомпьютеры : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2017
Колич.характеристики :64 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3294-5: Б.ц.
УДК : 004.272
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): высокопроизводительная система--вычислительная система--вычислительный кластер--интерфейс mpi--коммуникационная сеть--массивно-параллельный процессор--мультикомпьютер--мультипроцессор--сеть infiniband--суперкомпьютер
Аннотация: В учебном пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации суперкомпьютеров и параллельных вычислительных систем, а также для освоения принципов их использования. Описываются основные архитектурные решения двух основных современных классов параллельных вычислительных систем - кластеров высокой производительности и массивно-параллельных процессоров. Пособие адресовано студентам, обучающимся по специальностям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
(для доступа требуется авторизация)

Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 91438
Автор(ы) : Малявко А. А., Менжулин С. А.
Заглавие : Суперкомпьютеры и системы. Мультипроцессоры : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2017
Колич.характеристики :64 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3295-2: Б.ц.
УДК : 004.272
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): numa-система--uma-система--вычислительная система--вычислительный акселератор--графический процессор--мультикомпьютер--мультипроцессор--суперкомпьютер
Аннотация: В пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации суперкомпьютеров и параллельных вычислительных систем, а также для освоения принципов их использования. Приводятся основные сведения о классификации архитектур суперкомпьютеров, делается обзор поколений средств вычислительной техники, в результате смены которых появились современные суперкомпьютеры. Описываются основные архитектурные решения одного из подклассов параллельных вычислительных систем - мультипроцессоров. Пособие адресовано студентам, обучающимся по направлениям «Информатика и вычислительная техника» и «Программная инженерия».
(для доступа требуется авторизация)

Найти похожие

 
Статистика
за 29.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)