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

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

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



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






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


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


Чистая компиляция как парадигма программирования
А. В. Столяров, О. Г. Французов, А. С. Аникина
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
Труды института системного программирования РАН
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025