RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2018, том 30, выпуск 2  


Чистая компиляция как парадигма программирования
А. В. Столяров, О. Г. Французов, А. С. Аникина
7
Распараллеливание реализаций сугубо последовательных алгоритмов
А. Б. Бугеря, Е. С. Ким, М. А. Соловьев
25
Преобразование типизированных функций в реляционную форму
П. А. Лозов, Д. Ю. Булычев
45
Автоматизированная генерация декодеров машинных команд
Н. Ю. Фокина, М. А. Соловьев
65
Алгоритм удаления невидимых поверхностей на основе программных проверок видимости
В. И. Гонахчян
81
Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4»
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров
99
Обзор расширяемого протокола аутентификации и его методов
А. В. Никешин, В. З. Шнитман
113
Синтаксический анализ графов с использованием конъюнктивных грамматик
Р. Ш. Азимов, С. В. Григорьев
149
Проблема отката в ориентированной распределенной системе
И. Б. Бурдонов, А. С. Косачев
167
Онтология предметной области «Удобство использования программного обеспечения»
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
195
Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных
Р. А. Гилязев, Д. Ю. Турдаков
215
Анализ баллистокардиограммы на граничных вычислительных узлах
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов
251
Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук
263
Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин
285
Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении
А. Н. Авдеева, В. В. Пузикова
301
Труды института системного программирования РАН
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018