Подписаться
Nikolay Efanov
Nikolay Efanov
МФТИ
Нет подтвержденного адреса электронной почты
Название
Процитировано
Процитировано
Год
Constructing the formal grammar of system calls
N Efanov, P Emelyanov
Proceedings of the 13th Central & Eastern European Software Engineering …, 2017
142017
Linux Process Tree Reconstruction Using The Attributed Grammar-Based Tree Transformation Model
N Efanov, P Emelyanov
Proceedings of the 14th Central and Eastern European Software Engineering …, 2018
92018
О некоторых комбинаторных свойствах деревьев процессов LINUX
НН Ефанов
Чебышевский сборник 19 (2 (66)), 151-162, 2018
62018
On some combinatorial properties of LINUX process trees
NN Efanov
Chebyshevskii Sbornik 19 (2), 151-162, 2018
42018
Построение формальной грамматики системных вызовов
НН Ефанов, ПВ Емельянов
М. Информационное обеспечение математических моделей, 83-90, 2017
42017
On semilattice of Linux processes’ states
NN Efanov
ЧЕБЫШЕВСКИЙ СБОРНИК 20 (4), 121-135, 2020
3*2020
О некоторых полурешеточных свойствах состояний процессов Linux
НН Ефанов
Конференция проводится при финансовой поддержке РФФИ, проект № 19-01-20049, 165, 2019
32019
О формальной корректности атрибутного алгоритма реконструкции деревьев процессов Linux
НН Ефанов
Председатель программного комитета–, 88, 2019
12019
Исправление аномалий в графах реконструкции деревьев процессов Linux
НН Ефанов
Труды Московского физико-технического института 11 (3 (43)), 50-60, 2019
12019
Комбинаторные и групповые свойства деревьев процессов Linux
НН Ефанов
Сборник трудов XV международной конференции «Алгебра, теория чисел и …, 2018
12018
Pathfinder: статический анализатор программ на базе решения задач достижимости на графах в КС-ограничениях
НН Ефанов, АР Федоров, ЭВ Шамбер, АА Щербаков, АП Елесина
Труды МФТИ, 2021
2021
Проблемы вычислительно эффективного сравнения деревьев процессов локализованными тестами графовых изоморфизмов
ИА Склонин, НН Ефанов
Председатель программного комитета—профессор ВН Чубариков Сопредседатели …, 2021
2021
On Synthetic Process Trees Reconstruction Using Graph-Based Operation Restore Model
NN Efanov
2020 International Conference Engineering and Telecommunication (En&T), 1-5, 2020
2020
О применении грамматик с правым контекстом в статическом анализе исходного кода программ.
АА Державин, НН Ефанов
АЛГЕБРА, ТЕОРИЯ ЧИСЕЛ И ДИСКРЕТНАЯ ГЕОМЕТРИЯ: СОВРЕМЕННЫЕ ПРОБЛЕМЫ …, 2020
2020
Generalized Theory of Process Trees Reconstruction: Fixing Pitfalls of Checkpoint-Restore
N Efanov, P Emelyanov
2019
Классификация правил проверки атрибутов в деревьях процессов Linux
НН Ефанов
Естественные и технические науки, 216-221, 2018
2018
Алгоритмы динамического управления энергопотреблением в облачной системе
НН Ефанов, АЛ Мелехова, АО Бондарь
Программная инженерия, 20-30, 2015
2015
О некоторых комбинаторных свойствах деревьев процессов Ефанов Николай Николаевич—аспирант кафедры информатики и вычислительной математики МФТИ, преподаватель, программист …
НН Ефанов
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВОССТАНОВЛЕНИЯ ДЕРЕВЬЕВ ПРОЦЕССОВ НА ГРАФАХ РЕКОНСТРУКЦИИ
НН Ефанов
Построение модели прогнозирования времени миграции виртуальной машины.
ИГ Редько, НН Ефанов
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20