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

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Малявко, А. А.$<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
IPRBooks-47725
47725

    Малявко, А. А.
    Формальные языки и компиляторы [Электронный ресурс] : учебник / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2014. - 431 с. - ISBN 978-5-7782-2318-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
62
ББК 32.97

Кл.слова (ненормированные):
компилятор -- программирование -- формальный язык
Аннотация: Изложены теоретические основы аппарата определения лексики (регулярные выражения) и синтаксиса (формальные грамматики) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных выражений в конечный автомат – лексический анализатор. Изучаются нисходящие и восходящие методы синтаксического анализа, основанные на преобразовании формальных грамматик в конечные автоматы с магазинной памятью. Рассматриваются различные способы решения задачи нейтрализации синтаксических ошибок. Изучаются наиболее типичные задачи, решаемые на этапе семантического анализа: организация памяти программы, доступ к локальным и нелокальным данным, контроль типов. Обсуждаются основные задачи генератора кода, такие как управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Приводится описание учебного программного обеспечения и методические указания по выполнению лабораторных работ и курсового проектирования. Учебник рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин, а также студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие
2.
IPRBooks-45019
45019

    Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2012 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 / Малявко А. А. - 2012. - 120 с. - ISBN 978-5-7782-1960-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004.43
ББК 32.97

Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- семантический анализ -- тип данных -- оптимизация программы
Аннотация: В третьей части учебного пособия рассматриваются задачи, решаемые семантическими анализаторами и генераторами объектного кода трансляторов. Основное внимание уделяется принципам, закладываемым в организацию памяти транслируемой программы, и методам доступа к локальным и нелокальным данным процедур. На этой основе рассмотрены применяемые в современных языках подходы к контролю типов данных и функции семантического анализа. Обсуждаются основные задачи генератора кода, такие как формирование последовательности тетрад, управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Пособие адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие
3.
IPRBooks-45018
45018

    Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004.43
ББК 32.97

Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие
4.
IPRBooks-45017
45017

    Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 / Малявко А. А. - 2010. - 104 с. - ISBN 978-5-7782-1429-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004.43
ББК 32.97

Кл.слова (ненормированные):
системное обеспечение -- программное обеспечение -- формальный язык -- метод трансляции -- компилятор -- интерпретатор
Аннотация: В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие
5.
IPRBooks-91542
91542

    Малявко, А. А.
    Суперкомпьютеры и системы. Построение вычислительных кластеров [Электронный ресурс] : учебное пособие / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2018. - 96 с. - ISBN 978-5-7782-3633-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004.272
ББК 32.97

Кл.слова (ненормированные):
pelicanhpc -- архитектура slurm -- высокое быстродействие -- вычислительный кластер -- гибридный гипервизор -- кластер condor -- кластерная система -- параллельное вычисление -- суперкомпьютер -- тorque
Аннотация: В пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации кластерных вычислительных систем, а также для освоения принципов их использования. Описываются архитектурные решения четырех актуальных программных продуктов, имеющих практическую ценность для организации параллельных вычислений: PelicanHPC, Тorque, HTCondor, Slurm. Пособие адресовано студентам, обучающимся по направлениям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия», а также может быть полезно студентам-старшекурсникам и аспирантам других специальностей и преподавателям смежных дисциплин.

(для доступа требуется авторизация)


Доп.точки доступа:
Менжулин, С. А.
Свободных экз. нет
Найти похожие
6.
IPRBooks-91437
91437

    Малявко, А. А.
    Суперкомпьютеры и системы. Мультикомпьютеры [Электронный ресурс] : учебное пособие / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2017. - 64 с. - ISBN 978-5-7782-3294-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004.272
ББК 32.97

Кл.слова (ненормированные):
высокопроизводительная система -- вычислительная система -- вычислительный кластер -- интерфейс mpi -- коммуникационная сеть -- массивно-параллельный процессор -- мультикомпьютер -- мультипроцессор -- сеть infiniband -- суперкомпьютер
Аннотация: В учебном пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации суперкомпьютеров и параллельных вычислительных систем, а также для освоения принципов их использования. Описываются основные архитектурные решения двух основных современных классов параллельных вычислительных систем - кластеров высокой производительности и массивно-параллельных процессоров. Пособие адресовано студентам, обучающимся по специальностям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».

(для доступа требуется авторизация)


Доп.точки доступа:
Менжулин, С. А.
Свободных экз. нет
Найти похожие
7.
IPRBooks-91438
91438

    Малявко, А. А.
    Суперкомпьютеры и системы. Мультипроцессоры [Электронный ресурс] : учебное пособие / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2017. - 64 с. - ISBN 978-5-7782-3295-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004.272
ББК 32.97

Кл.слова (ненормированные):
numa-система -- uma-система -- вычислительная система -- вычислительный акселератор -- графический процессор -- мультикомпьютер -- мультипроцессор -- суперкомпьютер
Аннотация: В пособии содержатся материалы, которые можно использовать при изучении структурной и функциональной организации суперкомпьютеров и параллельных вычислительных систем, а также для освоения принципов их использования. Приводятся основные сведения о классификации архитектур суперкомпьютеров, делается обзор поколений средств вычислительной техники, в результате смены которых появились современные суперкомпьютеры. Описываются основные архитектурные решения одного из подклассов параллельных вычислительных систем - мультипроцессоров. Пособие адресовано студентам, обучающимся по направлениям «Информатика и вычислительная техника» и «Программная инженерия».

(для доступа требуется авторизация)


Доп.точки доступа:
Менжулин, С. А.
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 26.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)