Малявко, А. А. Формальные языки и компиляторы [Электронный ресурс] : учебник / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2014. - 431 с. - ISBN 978-5-7782-2318-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): компилятор -- программирование -- формальный язык Аннотация: Изложены теоретические основы аппарата определения лексики (регулярные выражения) и синтаксиса (формальные грамматики) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных выражений в конечный автомат – лексический анализатор. Изучаются нисходящие и восходящие методы синтаксического анализа, основанные на преобразовании формальных грамматик в конечные автоматы с магазинной памятью. Рассматриваются различные способы решения задачи нейтрализации синтаксических ошибок. Изучаются наиболее типичные задачи, решаемые на этапе семантического анализа: организация памяти программы, доступ к локальным и нелокальным данным, контроль типов. Обсуждаются основные задачи генератора кода, такие как управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Приводится описание учебного программного обеспечения и методические указания по выполнению лабораторных работ и курсового проектирования. Учебник рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин, а также студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения. Свободных экз. нет |
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2012 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 / Малявко А. А. - 2012. - 120 с. - ISBN 978-5-7782-1960-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): программное обеспечение -- формальный язык -- метод трансляции -- семантический анализ -- тип данных -- оптимизация программы Аннотация: В третьей части учебного пособия рассматриваются задачи, решаемые семантическими анализаторами и генераторами объектного кода трансляторов. Основное внимание уделяется принципам, закладываемым в организацию памяти транслируемой программы, и методам доступа к локальным и нелокальным данным процедур. На этой основе рассмотрены применяемые в современных языках подходы к контролю типов данных и функции семантического анализа. Обсуждаются основные задачи генератора кода, такие как формирование последовательности тетрад, управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Пособие адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения. Свободных экз. нет |
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения. Свободных экз. нет |
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 / Малявко А. А. - 2010. - 104 с. - ISBN 978-5-7782-1429-3 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): системное обеспечение -- программное обеспечение -- формальный язык -- метод трансляции -- компилятор -- интерпретатор Аннотация: В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения. Свободных экз. нет |
Малявко, А. А. Суперкомпьютеры и системы. Построение вычислительных кластеров [Электронный ресурс] : учебное пособие / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2018. - 96 с. - ISBN 978-5-7782-3633-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): pelicanhpc -- архитектура slurm -- высокое быстродействие -- вычислительный кластер -- гибридный гипервизор -- кластер condor -- кластерная система -- параллельное вычисление -- суперкомпьютер -- тorque Аннотация: В пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации кластерных вычислительных систем, а также для освоения принципов их использования. Описываются архитектурные решения четырех актуальных программных продуктов, имеющих практическую ценность для организации параллельных вычислений: PelicanHPC, Тorque, HTCondor, Slurm. Пособие адресовано студентам, обучающимся по направлениям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия», а также может быть полезно студентам-старшекурсникам и аспирантам других специальностей и преподавателям смежных дисциплин. Доп.точки доступа: Менжулин, С. А. Свободных экз. нет |
Малявко, А. А. Суперкомпьютеры и системы. Мультикомпьютеры [Электронный ресурс] : учебное пособие / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2017. - 64 с. - ISBN 978-5-7782-3294-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): высокопроизводительная система -- вычислительная система -- вычислительный кластер -- интерфейс mpi -- коммуникационная сеть -- массивно-параллельный процессор -- мультикомпьютер -- мультипроцессор -- сеть infiniband -- суперкомпьютер Аннотация: В учебном пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации суперкомпьютеров и параллельных вычислительных систем, а также для освоения принципов их использования. Описываются основные архитектурные решения двух основных современных классов параллельных вычислительных систем - кластеров высокой производительности и массивно-параллельных процессоров. Пособие адресовано студентам, обучающимся по специальностям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия». Доп.точки доступа: Менжулин, С. А. Свободных экз. нет |
Малявко, А. А. Суперкомпьютеры и системы. Мультипроцессоры [Электронный ресурс] : учебное пособие / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2017. - 64 с. - ISBN 978-5-7782-3295-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): numa-система -- uma-система -- вычислительная система -- вычислительный акселератор -- графический процессор -- мультикомпьютер -- мультипроцессор -- суперкомпьютер Аннотация: В пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации суперкомпьютеров и параллельных вычислительных систем, а также для освоения принципов их использования. Приводятся основные сведения о классификации архитектур суперкомпьютеров, делается обзор поколений средств вычислительной техники, в результате смены которых появились современные суперкомпьютеры. Описываются основные архитектурные решения одного из подклассов параллельных вычислительных систем - мультипроцессоров. Пособие адресовано студентам, обучающимся по направлениям «Информатика и вычислительная техника» и «Программная инженерия». Доп.точки доступа: Менжулин, С. А. Свободных экз. нет |