Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 30, выпуск 2, 2018, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией члена-корреспондента РАН А.И. Аветисяна

Скачать полный выпуск
PDF


Содержание

Столяров А.В., Французов О.Г., Аникина А.С. Чистая компиляция как парадигма программирования Стр. 7-24.

Бугеря А.Б., Ким Е.С., Соловьев М.А. Распараллеливание реализаций сугубо последовательных алгоритмов Стр. 25-44.

Лозов П.А., Булычев Д.Ю. Преобразование типизированных функций в реляционную форму Стр. 45-64.

Фокина Н.Ю., Соловьев М.А. Автоматизированная генерация декодеров машинных команд Стр. 65-80.

Гонахчян В.И. Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Стр. 81-98.

Ефанов Д.В., Сапожников В.В., Сапожников Вл.В., Пивоваров Д.В. Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Стр. 99-112.

Никешин А.В., Шнитман В.З. Обзор расширяемого протокола аутентификации и его методов Стр. 113-148.

Азимов Р.Ш., Григорьев С.В. Синтаксический анализ графов с использованием конъюнктивных грамматик Стр. 149-166.

Бурдонов И.Б., Косачев А.С. Проблема отката в ориентированной распределенной системе Стр. 167-194.

Сытник А.А., Шульга Т.Э., Данилов Н.А. Онтология предметной области «Удобство использования программного обеспечения» Стр. 195-214.

Гилязев Р.А., Турдаков Д.Ю. Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных Стр. 215-250.

Нужный А.С., Прозоров А.А., Бугаев В.И., Шувалов Н.Д., Подымов В.В. Анализ баллистокардиограммы на граничных вычислительных узлах Стр. 251-262.

Смирнова Е.В., Марчевский И.К., Бондарчук В.О. Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Стр. 263-284.

Корчагова В.Н., Фуфаев И.Н., Сауткина С.М., Лукин В.В. Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Стр. 285-300.

Авдеева А.Н., Пузикова В.В. Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Стр. 301-316.

Вернуться к списку всех томов