Категория:ISPRASOPEN-2018
Материал из 0x1.tv
Версия от 17:33, 19 июля 2020; StasFomin (обсуждение | вклад)
Короткая ссылка: Category:ISPRASOPEN-2018
Конференция ISPRASOPEN-2018, она же открытая конференция ИСП РАН им. В.П. Иванникова, прошла 22-23 ноября 2018 года в Москве, в здании Российской Академии Наук.
- Можно подписаться на новые доклады в категории RSS/Atom
Plays:1595 Comments:19
Most popular talks:
- Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)
- Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках (Виктория Корчагова, ISPRASOPEN-2018)
- Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018)
- Подход к анализу исполняемого кода на основе восстановления программной архитектуры (Дмитрий Кононов, ISPRASOPEN-2018)
- Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)
Страницы в категории «ISPRASOPEN-2018»
Показано 48 страниц из 48, находящихся в данной категории.
P
- PioNER — Наборы данных и базовые методы для распознавания именованных сущностей в армянском языке (Цолак Гукасян, ISPRASOPEN-2018)
- Plenary session «History of continuous innovation» (ISPRASOPEN-2018)
T
W
В
Г
Д
И
- Информатика и ЭВМ-70. Анализ и аспекты развития (Екатерина Лаврищева, ISPRASOPEN-2018)
- Использование генератора адаптивных вложенных сеток HydroBox3D для численного моделирования процесса образования сверхновой типа Ia — слияния углеродно-кислородных белых карликов, коллапса и нецентрального взрыва
К
М
- Метод анализа атак повторного использования кода (Алексей Вишняков, ISPRASOPEN-2018)
- Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем (Александр Самонов, ISPRASOPEN-2018)
Н
О
- О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018)
- Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Ирина Дудина, ISPRASOPEN-2018)
- Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках (Виктория Корчагова, ISPRASOPEN-2018)
- Обзор применения блокчейн-технологий смарт-контрактов в организациях (Александр Кормилицын, ISPRASOPEN-2018)
- Обработка аварийных завершений с целью выявления уникальных дефектов (Федор Ниськов, ISPRASOPEN-2018)
- Оптимизация энергопотребления и качества предоставления сервисов в контейнерных облачных средах (Андрей Черных, ISPRASOPEN-2018)
- ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании (Иван Васильев, ISPRASOPEN-2018)
- Оценки переноса Антарктических донных вод по модели MPI-ESM с усвоением данных наблюдений (Константин Беляев, ISPRASOPEN-2018)
П
- Персонализированные математические модели кровотока (Юрий Василевский, ISPRASOPEN-2018)
- Платформа INMOST для распределенного математического моделирования (Кирилл Терехов, ISPRASOPEN-2018)
- Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018)
- Пленарная сессия «История непрерывных инноваций» (ISPRASOPEN-2018)
- Подход к анализу исполняемого кода на основе восстановления программной архитектуры (Дмитрий Кононов, ISPRASOPEN-2018)
- Подход к управлению метаданными происхождения и правами доступа к данным в распределенном хранилище с использованием блокчейн-платформы Hyperledger (Андрей Демичев, ISPRASOPEN-2018)
- Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf (Сергей Ковалев, ISPRASOPEN-2018)
- Применение метода КАБАРЕ для ячеек polyhedral в среде СПО OpenFoam (Михаил Зайцев, ISPRASOPEN-2018)
Р
- Разработка и исследование моделей временных данных со смешанными частотами на примере анализа урожайности зерновых (Кристина Пивоварова, ISPRASOPEN-2018)
- Распознавание именованных сущностей в зашумленных доменах (Влад Лялин, ISPRASOPEN-2018)
- Расчет параметров течения в модельном ветропарке с учетом данных ветромониторинга (Сергей Стрижак, ISPRASOPEN-2018)
- Реализация обработки JSON-данных в In-memory Data Grid в качестве сквозного слоя кэширования к РСУБД (Никита Лазарев, ISPRASOPEN-2018)
С
- Сильные и слабые стороны блокчейн-технологий (Николай Пакулин, ISPRASOPEN-2018)
- Сокращение размера динамических библиотек в формате ELF после компоновки (Владислав Иванишин, ISPRASOPEN-2018)
- Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки (Данил Асфандияров, ISPRASOPEN-2018)
- Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018)
- Сравнительная оценка точности решателя QGDFoam при решении задачи обтекания конуса невязким потоком (Артем Кувшинников, ISPRASOPEN-2018)
- Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах (Ильсеяр Алимова, ISPRASOPEN-2018)
Т
- Тестирование производительности SQL-операций в распределенных In-Memory СУБД (Давид Бадалян, ISPRASOPEN-2018)
- Трассировка операций с файловой системой ext3 в эмуляторе QEMU (Владислав Степанов, ISPRASOPEN-2018)
У
Ф
- Фишинг-атаки и способы их предотвращения в блокчейн-проектах (Александр Андрюхин, ISPRASOPEN-2018)
- Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)
Ч
- Численное моделирование акустических возмущений, генерируемых истечением струи при малых числах Рейнольдса (Андрей Епихин, ISPRASOPEN-2018)
- Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка (Михаил Левин, ISPRASOPEN-2018)
- Численное моделирование динамики капли жидкости в пористой среде с использованием алгоритма адаптивных сеток (Андрей Иванцов, ISPRASOPEN-2018)
- Численное моделирование качки судна с шахтным устройством на встречном волнении (Кирилл Овчинников, ISPRASOPEN-2018)