The 667 records in series spz:neicon:ispranproceedings.

  1. Arutyun Avetisyan, Арутюн Аветисян (2018) “Планирование команд и конвейеризация циклов на современных архитектурах // Instruction scheduling and software pipelining for modern architectures” / spz:neicon:ispranproceedings:1000
  2. Roman Zhuykov, Dmitry Melnik, Ruben Buchatskiy, Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий (2018) “Программная конвейеризация циклов на платформе ARM // Loops software pipelining on ARM platform” / spz:neicon:ispranproceedings:1001
  3. Roman Zhuykov, Dmitry Plotnikov, Mamikon Vardanyan, Роман Жуйков, Дмитрий Плотников, Мамикон Варданян (2018) “Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM // Automatic tuning of GCC optimization passes for ARM platform” / spz:neicon:ispranproceedings:1002
  4. Kirill Batuzov, Кирилл Батузов (2018) “Задача локального распределения регистров во время динамической двоичной трансляции // Local Register Allocation Problem in Dynamic Binary Translation” / spz:neicon:ispranproceedings:1003
  5. K. Batuzov, P. Dovgaluk, V. Koshelev, V. Padaryan, К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян (2018) “Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU // Two approaches to full-system deterministic replay in QEMU” / spz:neicon:ispranproceedings:1004
  6. A. Avetisyan I., A. Getman I., А. Аветисян И., А. Гетьман И. (2018) “Восстановление структуры бинарных данных по трассам программ // Recovery of binary data structures from program traces” / spz:neicon:ispranproceedings:1005
  7. V. Savitsky O., D. Sidorov V., В. Савицкий О., Д. Сидоров В. (2018) “Инкрементальный анализ исходного кода на языках C/C++ // Incremental source code analysis for C/C++ languages” / spz:neicon:ispranproceedings:1006
  8. A. Tikhonov YU., A. Avetisyan I., А. Тихонов Ю., А. Аветисян И. (2018) “Комбинированный (статический и динамический) анализ бинарного кода // Combined (static and dynamic) analysis of binary code” / spz:neicon:ispranproceedings:1007
  9. Ilya Ledovskikh N., Maxim Bakulin G., И. Ледовских Н., М. Бакулин Г. (2018) “Подход к восстановлению потока управления запутанной программы // An Approach to Reconstruction of Control Flow of an Obfuscated Program” / spz:neicon:ispranproceedings:1008
  10. Valery Ignatyev, В. Игнатьев Н. (2018) “Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования // Static analysis usage for customizable checks of programming languages semantic constraints” / spz:neicon:ispranproceedings:1009
  11. Alexander Kudryavtsev, Vladimir Koshelev, Arutyun Avetisyan, А. Кудрявцев О., В. Кошелев К., А. Аветисян И. (2018) “Перспективы виртуализации высокопроизводительных систем архитектуры x64 // The prospects for virtualization of high performance x64 systems” / spz:neicon:ispranproceedings:1010
  12. Andrey Belevantsev, Alexey Merkulov, Vladimir Platonov, Андрей Белеванцев, Алексей Меркулов, Владимир Платонов (2018) “Использование стандарта OpenCL для программирования ПЛИС // Optimizations in Dynamic Binary Translation” / spz:neicon:ispranproceedings:1011
  13. Alexander Monakov, А. Монаков В. (2018) “Оптимизация расчётов в пакете OpenFOAM на GPU // Optimizing OpenFOAM GPU Solvers” / spz:neicon:ispranproceedings:1012
  14. Igor Bourdonov, Alexander Kosachev , Игорь Бурдонов, Александр Косачев (2018) “Финальные модели спецификации // The final models of specification” / spz:neicon:ispranproceedings:1013
  15. S. Vartanov, D. Sidorov, С. Вартанов П., Д. Сидоров В. (2018) “Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов // Optimization of Boolean satisfiability solver by caching intermediate results” / spz:neicon:ispranproceedings:1014
  16. M. Mandrykin U., V. Mutilin S., E. Novikov M., A. Khoroshilov V., М. Мандрыкин У., В. Мутилин С., Е. Новиков М., А. Хорошилов В. (2018) “Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux // Static Verification Tools for C Programs and Linux Device Drivers: A Survey” / spz:neicon:ispranproceedings:1015
  17. Vadim Mutilin, Mikhail Mandrykin, В. Мутилин С., М. Мандрыкин У. (2018) “Интерполяция формул с кванторами в CSIsat на основе инстанцирования // Instantiation-Based Interpolation for Quantified Formulae in CSIsat” / spz:neicon:ispranproceedings:1016
  18. V. Mutilin S., E. Novikov M., A. Khoroshilov V., В. Мутилин С., Е. Новиков М., А. Хорошилов В. (2018) “Анализ типовых ошибок в драйверах операционной системы Linux // Analysis of typical faults in Linux operating system drivers” / spz:neicon:ispranproceedings:1017
  19. A. Tretyakov V., Андрей Третьяков (2018) “Автоматизация построения расписаний для периодических систем реального времени // Automation of scheduling for periodic real-time systems” / spz:neicon:ispranproceedings:1018
  20. Andrey Gomzin G., Anton Korshunov V., А. Гомзин Г., А. Коршунов В. (2018) “Системы рекомендаций: обзор современных подходов // Recommender systems: a survey of modern approaches” / spz:neicon:ispranproceedings:1019
  21. M. Bernovskiy M., N. Kuzyurin N., М. Берновски М., Н. Кузюрин Н. (2018) “Случайные графы, модели и генераторы безмасштабных графов // Random graphs, models and generators of scale-free graphs” / spz:neicon:ispranproceedings:1020
  22. V. Zakharov A., T. Novikova A., В. Захаров А., Т. Новикова А. (2018) “Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ // Polynomial time algorithm for checking strong equivalence of program” / spz:neicon:ispranproceedings:1021
  23. M. Trushnikov A., М. Трушников А. (2018) “Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу // On one problem of Koffman-Shor connected to strip packing problem” / spz:neicon:ispranproceedings:1022
  24. A. Shokurov V., А. Шокуров В. (2018) “Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала // Comparing complexities of problems of determining of Grebner’s basis of ideal and solving this ideal” / spz:neicon:ispranproceedings:1023
  25. Ya. Khetagurov A., Я. Хетагуров А. (2018) “О построении аппроксимирующих функций характеристик малого числа систем // On creation approximating functions of characteristics of small number of systems” / spz:neicon:ispranproceedings:1024
  26. Andrey Belevantsev, Alexey Kravets, Alexander Monakov, Андрей Белеванцев, Алексей Кравец, Александр Монаков (2018) “Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели // Automatically generating OpenCL code from loop nests via a polyhedral model” / spz:neicon:ispranproceedings:1025
  27. Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov, Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов (2018) “Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ // Using static analysis for finding security vulnerabilities and critical errors in source code” / spz:neicon:ispranproceedings:1026
  28. Arutyun Avetisyan, Alexey Borodin, Арутюн Аветисян, Алексей Бородин (2018) “Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок // Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors” / spz:neicon:ispranproceedings:1027
  29. Ildar Isaev, Denis Sidorov, Alexander Gerasimov, Mikhail Ermakov, И. Исаев К., Д. Сидоров В., А. Герасимов Ю., М. Ермаков К. (2018) “Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты // Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets” / spz:neicon:ispranproceedings:1028
  30. A. Avetisyan I., K. Dolgorukova U., Sh. Kurmangaleev F., А. Аветисян И., К. Курмангалеев Ю., Ш. Курмангалеев Ф. (2018) “Динамическое профилирование программы для системы LLVM // Dynamic profile collection for LLVM” / spz:neicon:ispranproceedings:1029
  31. A. Avetisyan I., M. Akopyan S., S. Gaissaryan S., А. Аветисян И., М. Акопян С., С. Гайсарян С. (2018) “Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava // The methods of precise measurement of the loop nests' execution time during JavaMPI-programs analysis in ParJava environment” / spz:neicon:ispranproceedings:1030
  32. Dmitry Melnik, Alexandr Monakov, Дмитрий Мельник, Александр Монаков (2018) “Поддержка команд с условным выполнением в селективном планировщике команд // Support for Conditional Execution in Selective Scheduling” / spz:neicon:ispranproceedings:1031
  33. M. Klimushenkova A., V. Makarov. A., М. Климушенкова А., В. Макаров А. (2018) “Метод автоматического восстановления переменных из трассы исполнения программы // A Method for Automatic Recovery of Variables Based on Program Execution Traces” / spz:neicon:ispranproceedings:1032
  34. Pavel Dovgalyuk, Павел Довгалюк (2018) “Детерминированное воспроизведение процесса выполнения программ в виртуальной машине // Deterministic program rerun within a virtual machine” / spz:neicon:ispranproceedings:1033
  35. Pavel Klemenkov A., П. Клеменков А. (2018) “Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов // Software performance estimation in a virtualized environment based on atomic tests” / spz:neicon:ispranproceedings:1034
  36. V. Zakharov A., T. Novikova A., В. Захаров А., Т. Новикова А. (2018) “Применение алгебры подстановок для унификации программ // On the application of substitution algebra to program unification” / spz:neicon:ispranproceedings:1035
  37. V. Lipaev V., В. Липаев В. (2018) “Риски проектирования и производства мобильных программных продуктов // Risks of Design and Development of Portable Software Products” / spz:neicon:ispranproceedings:1036
  38. Ivan Bludov V., И. Блудов В. (2018) “Решение проблемы NULL в запросах к реляционной базе данных, используя операторы реляционной алгебры A. // Solving NULL issue in queries to a relational database using the operators of relational algebra A” / spz:neicon:ispranproceedings:1037
  39. A. Eldarkhanov M., А. Эльдарханов М. (2018) “Обзор моделей данных объектно-ориентированных СУБД // An Overview of Data Models of Object-Oriented DBMSs” / spz:neicon:ispranproceedings:1038
  40. D. Vasilik N., Д. Василик Н. (2018) “Оценка Производительности Протокола Реализации Snapshot Isolation // Snapshot Isolation Protocol Performance Evaluation” / spz:neicon:ispranproceedings:1039
  41. Kirill Smirnov K., George Chernishev A., К. Смирнов К., Г. Чернышев А. (2018) “Экспериментальное исследование параллельного исполнения SQL запросов // Empirical study of parallel SQL query execution” / spz:neicon:ispranproceedings:1040
  42. R. Miniakhmetov M., Р. Миниахметов М. (2018) “Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL // Integrating Fuzzy c-Means Clustering with PostgreSQL” / spz:neicon:ispranproceedings:1041
  43. Anton Pavlov S., Boris Dobrov V., А. Павлов С., Б. Добров В. (2018) “Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов // Detecting Content Spam on the Web through Text Diversity Analysis” / spz:neicon:ispranproceedings:1042
  44. Nikita Astrakhantsev, Никита Астраханцев (2018) “Извлечение объектов и их атрибутов из таблиц текстовых документов // Extracting Objects and Their Attributes from Tables in Text Documents” / spz:neicon:ispranproceedings:1043
  45. Sergey Bartunov, Alexander Boldakov, Denis Turdakov, С. Бартунов О., А. Болдаков А., Д. Турдаков Ю. (2018) “WikifyMe: создание модели сравнения для викификаторов // WikifyMe: Creating Testbed for Wikifiers” / spz:neicon:ispranproceedings:1044
  46. Anton Korshunov V., Denis Turdakov Yu., Jinguk Jeong, Minho Lee, Changsung Moon, А. Коршунов В., Д. Турдаков Ю., Чингук Чонг, Минхо Ли , Чансунг Мун (2018) “Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий // A category-driven approach to deriving domain specific subsets of Wikipedia” / spz:neicon:ispranproceedings:1045
  47. Martin Davtyan, Мартин Давтян (2018) “Эвристическое моделирование данных в информационных системах // Heuristic data modeling in information systems” / spz:neicon:ispranproceedings:1046
  48. C. Pan S., К. Пан С. (2018) “Разработка параллельной СУБД на основе PostgreSQL // Development of a Parallel DBMS on the Basis of PostgreSQL” / spz:neicon:ispranproceedings:1047
  49. В. Иванников П. (2018) “Предислоаие” / spz:neicon:ispranproceedings:1048
  50. A. Tichonov Y., A. Avetisyan I., А. Тихонов Ю., А. Аветисян И. (2018) “Развитие taint-анализа для решения задачи поиска программных закладок // Development of taint-analysis methods to solve the problem of searching of undeclared features” / spz:neicon:ispranproceedings:1049
  51. D. Silakov V., Д. Силаков В. (2018) “Использование аппаратной виртуализации в контексте информационной безопасности // Using Hardware-assisted Virtualization in the Information Security Area” / spz:neicon:ispranproceedings:1050
  52. Kirill Batuzov, Alexey Merkulov, Кирилл Батузов, Алексей Меркулов (2018) “Оптимизация динамической двоичной трансляции // Optimizations in Dynamic Binary Translation” / spz:neicon:ispranproceedings:1051
  53. S. Syromyatnikov V., С. Сыромятников В. (2018) “Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST // Declarative Interface of Detecting Defects on Syntax Trees: KAST Language” / spz:neicon:ispranproceedings:1052
  54. L. Dvoryansky V., Л. Дворянский В. (2018) “О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри // On the modeling of infinite counters by ordinary Petri nets” / spz:neicon:ispranproceedings:1053
  55. V. Lipaev V., В. Липаев В. (2018) “Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени // Cross programming system YAUZA-6 for specialized real time computers (70s–80s of the last century)” / spz:neicon:ispranproceedings:1054
  56. S. Zelenov V., С. Зеленов В. (2018) “Планирование строго периодических задач в системах реального времени // Scheduling of Strictly Periodic Tasks in Real-Time Systems” / spz:neicon:ispranproceedings:1055
  57. N. Pakulin V., A. Tugaenko N., Н. Пакулин В., А. Тугаенко Н. (2018) “Тестирование протоколов электронной почты Интернета с использованием моделей // Model-based testing of Internet Mail Protocols” / spz:neicon:ispranproceedings:1056
  58. A. Kamkin S., M. Chupilko M., А. Камкин C., М. Чупилко M. (2018) “Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции // Mechanisms for functional testing of hardware models at different levels of abstraction” / spz:neicon:ispranproceedings:1057
  59. V. Mutilin S., E. Novikov M., A. Strakh V., A. Khoroshilov V., P. Shved E., В. Мутилин С., Е. Новиков М., А. Страх В., А. Хорошилов В., П. Швед Е. (2018) “Архитектура Linux Driver Verification // Linux Driver Verification Architecture” / spz:neicon:ispranproceedings:1058
  60. Sergey Kuznetsov D., С. Кузнецов Д. (2018) “Транзакционные параллельные СУБД: новая волна // Transactional Massive-Parallel DBMSs: A New Wave” / spz:neicon:ispranproceedings:1059
  61. Evgeny Kostychev, Vitaly Omelchenko, Sergey Zelenov, Е. Костычев А., В. Омельченко А., С. Зеленов В. (2018) “Нацеленная генерация данных для тестирования приложений над базами данных // Covering functionality of database applications by generating special data” / spz:neicon:ispranproceedings:1060
  62. Anton Korshunov V., А. Коршунов В. (2018) “Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии // Keyterm extraction from microblogs' messages using Wikipedia” / spz:neicon:ispranproceedings:1061
  63. I. Taranov, И. Таранов С. (2018) “Использование префиксного дерева для хранения и поиска строк во внешней памяти // Using prefix trees for searching text strings with disk-based storage” / spz:neicon:ispranproceedings:1062
  64. В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:1063
  65. S. Kuznetsov D., С. Кузнецов Д. (2018) “Год эпохи перемен в технологии баз данных // The year of epoch of changes for the database technology” / spz:neicon:ispranproceedings:1064
  66. Sergey Kuznetsov. D., С. Кузнецов Д. (2018) “MapReduce: внутри, снаружи или сбоку от параллельных СУБД? // MapReduce: within, outside, or on the side-by-side with parallel DBMSs?” / spz:neicon:ispranproceedings:1065
  67. Leonid Karpov E., Valery Yudin N., Л. Карпов Е., В. Юдин Н. (2018) “Обмен данными в распределенной системе поддержки решений // Data exchange in distributed software system for decision support” / spz:neicon:ispranproceedings:1066
  68. Leonid Karpov E., Valery Yudin N., Л. Карпов Е., В. Юдин Н. (2018) “Многопараметрическое управление на основе прецедентов // Case-based multi-parametric object control” / spz:neicon:ispranproceedings:1067
  69. V. Semenov A., D. Ilyin V., S. Morozov V., O. Sidyaka V., В. Семенов А., Д. Ильин В., С. Морозов В., О. Сидяка В. (2018) “Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных // Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages” / spz:neicon:ispranproceedings:1068
  70. V. Semenov A., O. Sidyaka V., В. Семенов А., О. Сидяка В. (2018) “Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях // Theoretical and practical complexity estimates for local propagation methods in constraint-based programming applications” / spz:neicon:ispranproceedings:1069
  71. Sergey Martishin, Marina Khrapchenko V., С. Мартишин А., М. Храпченко В. (2018) “Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма // The algorithm on base of Nelder–Mead modified method and genetic algorithm for strip packing problem” / spz:neicon:ispranproceedings:1070
  72. N. Kuzjurin N., A. Pospelov I., Н. Кузюрин Н., А. Поспелов И. (2018) “Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу // Probabilistic analysis a algorithm for strip packing” / spz:neicon:ispranproceedings:1071
  73. V. Padaryan A., M. Soloviev A., A. Kononov I., В. Падарян А., М. Соловьев А., А. Кононов И. (2018) “Моделирование операционной семантики машинных инструкций // Modeling operational semantics of machine instructions” / spz:neicon:ispranproceedings:1072
  74. I. Karetin I., V. Makarov A., И. Каретин И., В. Макаров А. (2018) “Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора // Power saving code optimization based on using the power controllable components of CPU” / spz:neicon:ispranproceedings:1073
  75. A. Getman I., Y. Markin V., V. Padaryan A., E. Shchetinin I., А. Гетьман И., Ю. Маркин В., В. Падарян А., Е. Щетинин И. (2018) “Восстановление формата данных // Format recovery” / spz:neicon:ispranproceedings:1074
  76. В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:1075
  77. Victor Kuliamin. V., В. Кулямин В. (2018) “Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий // Model Based Testing Framework Using Component Technologies” / spz:neicon:ispranproceedings:1076
  78. S. Groshev. G., С. Грошев Г. (2018) “Технология создания гетерогенных трасс, их анализа и генерации из них отчётов // Technology of heterogeneous logging, analysis and report generation” / spz:neicon:ispranproceedings:1077
  79. Evgeni Kornykhin V., Е. Корныхин В. (2018) “Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам // Mirror-based method of constraints generation for test programs generation by test template” / spz:neicon:ispranproceedings:1078
  80. Pavel Dovgalyuk M., Maria Klimushenkova A., Anna Mukhina, П. Довгалюк М., М. Климушенкова А., А. Мухина М. (2018) “Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров // Development of plug-ins for architectures support in TrEx using language for processors instructions specification” / spz:neicon:ispranproceedings:1079
  81. D. Vorobyev N., A. Kamkin S., Д. Воробьев Н., А. Камкин С. (2018) “Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов // Test Program Generation for Microprocessors Based on Pipeline Hazards Templates” / spz:neicon:ispranproceedings:1080
  82. M. Chupilko. M., М. Чупилко М. (2018) “Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций // Formal specifications-based automation of system testing of hardware designs” / spz:neicon:ispranproceedings:1081
  83. A. Kamkin S., А. Камкин С. (2018) “Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров // Some issues of automation of test program generation for branch units of microprocessors” / spz:neicon:ispranproceedings:1082
  84. A. Nikeshin V., N. Pakulin V., V. Shnitman. Z., А. Никешин В., Н. Пакулин В., В. Шнитман З. (2018) “Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 // Conformance test suite for implementations of the security protocol suite IPsec v2” / spz:neicon:ispranproceedings:1083
  85. Igor Burdonov B., Alexander Kosachev S., И. Бурдонов Б., А. Косачев С. (2018) “Тестирование конформности на основе соответствия состояний // Conformance testing based on a state relation” / spz:neicon:ispranproceedings:1084
  86. Pavel Iakovenko N., П. Яковенко Н. (2018) “Прозрачный механизм удаленного обслуживания системных вызовов // Transparent mechanism for remote system call execution” / spz:neicon:ispranproceedings:1085
  87. D. Grushin A., A. Pospelov I., Д. Грушин А., А. Поспелов И. (2018) “Система моделирования Grid: реализация и возможности применения // Grid modeling environment: implementation and application” / spz:neicon:ispranproceedings:1086
  88. В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:947
  89. A. Kudryavtsev O., V. Koshelev K., A. Izbyshev O., I. Dudina A., Sh. Kurmangaleev F., A. Avetisyan I., V. Ivannikov P., V. Velikhov E., E. Ryabinkin A., А. Кудрявцев О., В. Кошелев К., А. Избышев О., И. Дудина А., Ш. Курмангалеев Ф., А. Аветисян И., В. Иванников П., В. Велихов Е., Е. Рябинкин А. (2018) “Разработка и реализация облачной системы для решения высокопроизводительных задач // HPC cloud system design and implementation” / spz:neicon:ispranproceedings:948
  90. I. Dudina A., A. Kudryavtsev O., S. Gaissaryan S., И. Дудина А., А. Кудрявцев О., С. Гайсарян С. (2018) “Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях // Topology-aware cloud scheduling for HPC” / spz:neicon:ispranproceedings:949
  91. M. Akopyan S., N. Andreev E., М. Акопян С., Н. Андреев Е. (2018) “Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях // Research and development of inefficiency patterns in MPI, UPC applications” / spz:neicon:ispranproceedings:950
  92. I. Marchevsky K., V. Puzikova V., И. Марчевский К., В. Пузикова В. (2018) “Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM // OpenFOAM iterative methods efficiency analysis for linear systems solving” / spz:neicon:ispranproceedings:951
  93. Ia. Zagumennyi V., Yu. Chashechkin D., Ярослав Загуменный Викторович, Юлий Чашечкин Дмитриевич (2018) “Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB // Calculations of continouosly stratified fluid flows using the open source computational packages on basis of the technological platform UniHUB.” / spz:neicon:ispranproceedings:952
  94. Yu. Rumyantsev A., Ю. Румянцев А. (2018) “Прямая передача данных между ПЛИС Virtex-7 по шине PCI Express // Direct data transfer between FPGAs Virtex-7 via PCI Express bus” / spz:neicon:ispranproceedings:953
  95. Sh. Kurmangaleev F., Ш. Курмангалеев Ф. (2018) “Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования // Machine-specific optimization methods for C/C++ applications that are distributed in the LLVM intermediate representation format” / spz:neicon:ispranproceedings:954
  96. Sh. Kurmangaleev F., K. Dolgorukova Y., V. Savchenko V., A. Nurmukhametov R., H. Matevosyan A., V. Korchagin P., Ш. Курмангалеев Ф., К. Долгорукова Ю., В. Савченко В., А. Нурмухаметов Р., Р. Матевосян А., В. Корчагин П. (2018) “О методах деобфускации программ // Software deobfuscation methods: analysis and implementation” / spz:neicon:ispranproceedings:955
  97. I. Bronshteyn E., И. Бронштейн Е. (2018) “Вывод типов для языка Python // Type inference for Python programming language” / spz:neicon:ispranproceedings:956
  98. V. Ivannikov P., S. Vartanov P., M. Ermakov K., В. Иванников П., С. Вартанов П., М. Ермаков К. (2018) “Автоматический поиск ошибок синхронизации в приложениях на платформе Android // Automatic concurrency defect detection for Android applications” / spz:neicon:ispranproceedings:957
  99. V. Ivannikov P., A. Petrenko K., V. Kuliamin V., A. Maksimov V., В. Иванников П., А. Петренко К., В. Кулямин В., А. Максимов В. (2018) “Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей // How the story of UniTESK technology applications mirrors development of model based testing” / spz:neicon:ispranproceedings:958
  100. M. Mandrykin U., V. Mutilin S., A. Khoroshilov V., М. Мандрыкин У., В. Мутилин С., А. Хорошилов В. (2018) “Введение в метод CEGAR - уточнение абстракции по контрпримерам // Introduction to CEGAR —Counter-Example Guided Abstraction Refinement” / spz:neicon:ispranproceedings:959
  101. E. Novikov M., Е. Новиков М. (2018) “Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux // Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel” / spz:neicon:ispranproceedings:960
  102. Vladimir Fedotov, Владимир Федотов (2018) “Автоматизация регрессионного тестирования при помощи анализа трасс событий // Automated event trace analysis for regression testing” / spz:neicon:ispranproceedings:961
  103. S. Kuznetsov D., A. Poskonin V., С. Кузнецов Д., А. Посконин В. (2018) “Распределенные горизонтально масштабируемые решения для управления данными // Modern Data Management Systems” / spz:neicon:ispranproceedings:962
  104. S. Gerasimov V., R. Kurynin V., I. Mashechkin V., M. Petrovskiy I., D. Tsarev V., A. Shestimerov A., С. Герасимов В., Р. Курынин В., И. Машечкин В., М. Петровский И., Д. Царёв В., А. Шестимеров А. (2018) “Инструментальные средства оценки качества научно-технических документов // Tools for Quality Assessment of Scientific and Technical Documents” / spz:neicon:ispranproceedings:963
  105. V. Zolotov A., V. Semenov A., В. Золотов А., В. Семенов А. (2018) “Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен // Advanced indexing methods for large spatial data in complex dynamic scenes” / spz:neicon:ispranproceedings:964
  106. I. Bludov V., И. Блудов В. (2018) “Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных // Features of SQL table expressions and their compliance with the concepts of relational model” / spz:neicon:ispranproceedings:965
  107. L. Karpov E., V. Yudin N., Л. Карпов Е., В. Юдин Н. (2018) “Роль предыстории при оценке сложного объекта в управлении по прецедентам // State prehistory for complex object estimation in a control system based on cases” / spz:neicon:ispranproceedings:966
  108. V. Yudin N., L. Karpov E., В. Юдин Н., Л. Карпов Е. (2018) “Гибридный подход к построению систем поддержки решений // Hybrid approach to building decision support system” / spz:neicon:ispranproceedings:967
  109. M. Trushnikov A., М. Трушников А. (2018) “Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу // Probabilistic analysis of a new strip packing algorithm” / spz:neicon:ispranproceedings:968
  110. В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:969
  111. M. Akopyan S., М. Акопян С. (2018) “Расширение модели ParJava для случая кластеров с многоядерными узлами // Extension of ParJava model for HPC clusters with multicore nodes” / spz:neicon:ispranproceedings:970
  112. Alexey Merkulov, Andrey Belevantsev, Алексей Меркулов, Андрей Белеванцев (2018) “Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL // Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator” / spz:neicon:ispranproceedings:971
  113. M. Bakulin G., S. Gaissaryan S., Sh. Kurmangaleev F., I. Ledovskikh N., V. Padaryan A., S. Shchevyeva M., М. Бакулин Г., С. Гайсарян С., Ш. Курмангалеев Ф., И. Ледовских Н., В. Падарян А., С. Щевьева М. (2018) “Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода // Dynamic analysis of virtualization- and dispatching-obfuscated applications” / spz:neicon:ispranproceedings:972
  114. Sh. Kurmangaleev F., V. Korchagin P., H. Matevosyan A., Ш. Курмангалеев Ф., В. Корчагин П., Р. Матевосян А. (2018) “Описание подхода к разработке обфусцирующего компилятора // Description of the approach to development of the obfuscating compiler” / spz:neicon:ispranproceedings:973
  115. V. Korchagin P., S. Kurmangaleev F., V. Savchenko V., S. Sargsyan S., Ш. Курмангалеев Ф., В. Корчагин П., В. Савченко В., С. Саргсян С. (2018) “Построение обфусцирующего компилятора на основе инфраструктуры LLVM // Building an obfuscation compiler based on LLVM infrastructure” / spz:neicon:ispranproceedings:974
  116. A. Nazarov G., M. Klimushenkova A., P. Dovgaluk M., V. Makarov A., А. Назаров Г., М. Климушенкова А., П. Довгалюк М., В. Макаров А. (2018) “Повышение уровня представления трасс выполнения программ // Raising the level of abstraction of program execution trace” / spz:neicon:ispranproceedings:975
  117. N. Lugovskoy L., Н. Луговской Л. (2018) “Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight // The refactoring approach used in Klocwork Insight toolkit” / spz:neicon:ispranproceedings:976
  118. V. Savitsky O., D. Sidorov V., В. Савицкий О., Д. Сидоров В. (2018) “«Ленивый» анализ исходного кода на языках С и С++ // Lazy source code analysis for C/C++ languages” / spz:neicon:ispranproceedings:977
  119. Pavel Klemenkov, Sergey Kuznetsov, П. Клеменков А., С. Кузнецов Д. (2018) “Большие данные: современные подходы к хранению и обработке // Big data: modern approaches to storage and analysis” / spz:neicon:ispranproceedings:978
  120. Andrey Poskonin, Андрей Посконин (2018) “Web-приложения и данные: проблемы абстракции и масштабируемости // Web applications and data: achieving abstraction and scalability” / spz:neicon:ispranproceedings:979
  121. S. Kuznetsov D., A. Prokhorov A., С. Кузнецов Д., А. Прохоров А. (2018) “Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями // Flash-based algorithms of database buffer management” / spz:neicon:ispranproceedings:980
  122. N. Mendkovich A., S. Kuznetsov D., Н. Мендкович А., С. Кузнецов Д. (2018) “Обзор развития методов лексической оптимизации запросов // An Overwiew of Evolution of Lexical Query Optimization Techniques” / spz:neicon:ispranproceedings:981
  123. Anton Korshunov, Andrey Gomzin, Антон Коршунов, Андрей Гомзин (2018) “Тематическое моделирование текстов на естественном языке // Topic modeling in natural language texts” / spz:neicon:ispranproceedings:982
  124. A. Koshkarev V., A. Medvedev A., Yu. Vishnyakov S., S. Polikarpov A., A. Sotnikov N., А. Кошкарев В., А. Медведев А., Ю. Вишняков С., С. Поликарпов А., А. Сотников Н. (2018) “Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных // Virtual GIS laboratory as a tool for spatial data analysis” / spz:neicon:ispranproceedings:983
  125. A. Alekseev A., N. Loukachevitch V., А. Алексеев А., Н. Лукашевич В. (2018) “Комбинирование признаков для извлечения тематических цепочек в новостном кластере // Use of Multiple Features for Extracting Topics from News Clusters” / spz:neicon:ispranproceedings:984
  126. Konstantin Kuznetcov, Кузнецов Константин (2018) “Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data // Linkset-based Data Integration System for LOD Space” / spz:neicon:ispranproceedings:985
  127. A. Pigul Yu., А. Пигуль Ю. (2018) “Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce // Comparative Study Parallel Join Algorithms for MapReduce environment” / spz:neicon:ispranproceedings:986
  128. Ekaterina Ivannikova, Е. Иванникова. A. (2018) “Обнаружение периодических наборов событий во временных базах данных // Periodic event sets detection in temporal databases” / spz:neicon:ispranproceedings:987
  129. Alexander Kossatchev, Александр Косачев (2018) “Зависимости между ошибками на классах тестируемых реализаций // Error dependencies on classes of implementations under testing” / spz:neicon:ispranproceedings:988
  130. V. Kuliamin V., В. Кулямин В. (2018) “Комбинаторная генерация программных конфигураций ОС // Combinatorial generation of operation system software configurations” / spz:neicon:ispranproceedings:989
  131. E. Novikov M., A. Khoroshilov V., Е. Новиков М., А. Хорошилов В. (2018) “Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ // Using Aspect-Oriented Programming for Querying Source Code” / spz:neicon:ispranproceedings:990
  132. A. Nikeshin V., N. Pakulin, V. Shnitman. Z., А. Никешин В., Н. Пакулин В., В. Шнитман З. (2018) “Разработка тестового набора для верификации реализаций протокола безопасности TLS // Test Suite development for verification of TLS security protocol” / spz:neicon:ispranproceedings:991
  133. D. Beyer, A. Petrenko K., Д. Бейер, А. Петренко К. (2018) “Верификация драйверов операционной системы Linux // Linux Driver Verification” / spz:neicon:ispranproceedings:992
  134. A. Tsyvarev V., V. Martirosyan A., А. Цыварев В., В. Мартиросян А. (2018) “Тестирование драйверов файловых систем в ОС Linux // Testing of Linux File System Drivers” / spz:neicon:ispranproceedings:993
  135. A. Shokurov V., K. Sergeev V., А. Шокуров В., К. Сергеев В. (2018) “Об одном методе построения схемы полного гомоморфного шифрования // On Constructing a Fully Homomorphic Encryption” / spz:neicon:ispranproceedings:994
  136. D. Grushin A., N. Kuzyurin N., Д. Грушин А., Н. Кузюрин Н. (2018) “Энергоэффективные вычисления для группы кластеров // Energy-efficient computations on a group of clusters” / spz:neicon:ispranproceedings:995
  137. S. Zhuk N., С. Жук Н. (2018) “О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью // On-line algorithm for scheduling parallel tasks on a group of related clusters” / spz:neicon:ispranproceedings:996
  138. T. Novikova A., V. Zakharov A., Т. Новикова А., В. Захаров А. (2018) “Унификация программ // Polynomial time algorithm for checking strong equivalence of program” / spz:neicon:ispranproceedings:997
  139. В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:998
  140. Arutyun Avetisyan, Арутюн Аветисян (2018) “Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения // Two-stage compilation for optimizing and deploying programs in general purpose languages” / spz:neicon:ispranproceedings:999
  141. N. Mendkovich A., S. Kuznetsov D., Н. Мендкович А., С. Кузнецов Д. (2018) “Оценка эффективности минимизации ограничений запросов к СУБД // Minimization of data base query's conditions: evoluation of efficiency” / spz:neicon:ispranproceedings:y:2013:i:5:p:113-130
  142. V. Zolotov A., V. Semenov A., В. Золотов А., В. Семенов А. (2018) “Исследование и развитие метода декомпозиции для анализа больших пространственных данных // On application of spatial decomposition method for large data sets indexing” / spz:neicon:ispranproceedings:y:2013:i:5:p:131-166
  143. N. Astrakhantsev A., Н. Астраханцев А. (2018) “Автоматическое извлечение новых концептов предметно-специфичных терминов // Automatic Extraction of New Concepts from Domain-Specific Terms” / spz:neicon:ispranproceedings:y:2013:i:5:p:167-178
  144. Anton Korshunov, Ivan Beloborodov, Andrey Gomzin, Christina Chuprina, Nikita Astrakhantsev, Yaroslav Nedumod, Denis Turdakov, Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков (2018) “Определение демографических атрибутов пользователей микроблогов // Detection of demographic attributes of microblog users” / spz:neicon:ispranproceedings:y:2013:i:5:p:179-194
  145. Alexander Shokurov, А. Шокуров В. (2018) “Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера // On Solving The Systems of Algebraic Equations Using Gröbner Bases” / spz:neicon:ispranproceedings:y:2013:i:5:p:195-206
  146. Alexey Voevodin, Semen Kosyachenko, А. Воеводин В., С. Косяченко А. (2018) “Оптимальное упорядочение конфликтующих объектов и задача коммивояжера // Optimal Ordering of Conflicting Objects and the Traveling Salesman Problem” / spz:neicon:ispranproceedings:y:2013:i:5:p:207-224
  147. M. Ermakov K., A. Gerasimov Y., М. Ермаков К., А. Герасимов Ю. (2018) “Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей // Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection” / spz:neicon:ispranproceedings:y:2013:i:5:p:29-38
  148. N. Zetser G., Н. Зельцер Г. (2018) “Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге // Automatic clone detection for refactoring” / spz:neicon:ispranproceedings:y:2013:i:5:p:39-50
  149. В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:y:2013:i:5:p:5-8
  150. N. Lugovskoy L., S. Syromyatnikov V., Н. Луговской Л., С. Сыромятников В. (2018) “Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов // Source code transformation and automatic correction of defects with KAST language” / spz:neicon:ispranproceedings:y:2013:i:5:p:51-66
  151. I. Bronshteyn E., И. Бронштейн Е. (2018) “Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования // Approach to detecting types inconsistency errors in a program code in dynamic languages” / spz:neicon:ispranproceedings:y:2013:i:5:p:67-84
  152. I. Zakharov S., V. Mutilin S., E. Novikov M., A. Khoroshilov V., И. Захаров С., В. Мутилин С., Е. Новиков М., А. Хорошилов В. (2018) “Моделирование окружения драйверов устройств операционной системы Linux // Environment Modeling of Linux Operating System Device Drivers” / spz:neicon:ispranproceedings:y:2013:i:5:p:85-112
  153. Sergey Vartanov, Alexander Gerasimov, С. Вартанов П., А. Герасимов Ю. (2018) “Применение динамического анализа для поиска дефектов в программах на языке // Applying dynamic analysis for defect detection in Java-applications” / spz:neicon:ispranproceedings:y:2013:i:5:p:9-28
  154. Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin, Н. Пакулин В., В. Шнитман З., А. Никешин В. (2018) “Автоматизация тестирования соответствия для телекоммуникационных протоколов // Automation of conformance testing for communication protocols” / spz:neicon:ispranproceedings:y:2014:i:1:p:109-148
  155. A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov, А. Камкин С., А. Коцыняк М., С. Смолов А., А. Татарников Д., М. Чупилко М., А. Сортов А. (2018) “Средства функциональной верификации микропроцессоров // Tools for Functional Verification of Microprocessors” / spz:neicon:ispranproceedings:y:2014:i:1:p:149-200
  156. D. Buzdalov V., S. Zelenov V., E. Kornykhin V., A. Petrenko K., A. Strakh V., A. Ugnenko A., A. Khoroshilov V., Д. Буздалов В., С. Зеленов В., Е. Корныхин В., А. Петренко К., А. Страх В., А. Угненко А., А. Хорошилов В. (2018) “Инструментальные средства проектирования систем интегрированной модульной авионики // Tools for System Design of Integrated Modular Avionics” / spz:neicon:ispranproceedings:y:2014:i:1:p:201-230
  157. V. Ivannikov P., A. Belevantsev A., A. Borodin E., V. Ignatiev N., D. Zhurikhin M., A. Avetisyan I., M. Leonov I., В. Иванников П., А. Белеванцев А., А. Бородин Е., В. Игнатьев Н., Д. Журихин М., А. Аветисян И., М. Леонов И. (2018) “Статический анализатор Svace для поиска дефектов в исходном коде программ // Static analyzer Svace for finding of defects in program source code” / spz:neicon:ispranproceedings:y:2014:i:1:p:231-250
  158. V. Padaryan A., A. Getman I., M. Solovyev A., M. Bakulin G., A. Borzilov I., V. Kaushan V., I. Ledovskich N., U. Markin V., S. Panasenko S., В. Падарян А., А. Гетьман И., М. Соловьев А., М. Бакулин Г., А. Борзилов И., В. Каушан В., И. Ледовских Н., Ю. Маркин В., С. Панасенко С. (2018) “Методы и программные средства, поддерживающие комбинированный анализ бинарного кода // Methods and software tools for combined binary code analysis” / spz:neicon:ispranproceedings:y:2014:i:1:p:251-276
  159. Igor Burdonov, Alexander Kossatchev, И. Бурдонов Б., А. Косачев С. (2018) “Развитие теории конформности: семантики, формальные модели, алгоритмы // Conformance theory development: semantics, formal models, algorithms” / spz:neicon:ispranproceedings:y:2014:i:1:p:27-72
  160. P. Dovgalyuk M., V. Makarov A., M. Padaryan S., M. Romaneev S., N. Fursova I., П. Довгалюк М., В. Макаров А., В. Падарян А., М. Романеев С., Н. Фурсова И. (2018) “Применение программных эмуляторов в задачах анализа бинарного кода // Application of software emulators for the binary code analysis” / spz:neicon:ispranproceedings:y:2014:i:1:p:277-296
  161. Roman Zhuykov, Dmitry Melnik, Ruben Buchatskiy, Vahagn Vardanyan, Vladislav Ivanishin, Eugene Sharygin, Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин (2018) “Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt // Dynamic and ahead of time optimization for JavaScript programs” / spz:neicon:ispranproceedings:y:2014:i:1:p:297-314
  162. Sergey Gaissaryan, Shamil Kurmangaleev, Kseniya Dolgorukova, Valery Savchenko, Sevak Sargsyan, С. Гайсарян С., Ш. Курмангалеев Ф., К. Долгорукова Ю., В. Савченко В., С. Саргсян С. (2018) “Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища // Applying two-stage LLVM-based compilation approach to application deployment via cloud storage” / spz:neicon:ispranproceedings:y:2014:i:1:p:315-326
  163. Victor Ivannikov, Shamil Kurmangaleev, Andrey Belevantsev, Alexey Nurmukhametov, Valery Savchenko, Hripsime Matevosyan, Arutyun Avetisyan, Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян (2018) “Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM // Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure” / spz:neicon:ispranproceedings:y:2014:i:1:p:327-342
  164. Dmitry Melnik, Shamil Kurmangaleev, Arutyun Avetisyan, Andrey Belevantsev, Dmitry Plotnikov, Mamikon Vardanyan, Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян (2018) “Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты // Optimizing programs for given hardware architectures with static compilation: methods and tools” / spz:neicon:ispranproceedings:y:2014:i:1:p:343-356
  165. Alexander Monakov, Eugene Velesevich, Vladimir Platonov, Arutyun Avetisyan, Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич (2018) “Инструменты анализа и разработки эффективного кода для параллельных архитектур // Analysis and development tools for efficient programs on parallel architectures” / spz:neicon:ispranproceedings:y:2014:i:1:p:357-374
  166. S. Vartanov P., A. Gerasimov Y., С. Вартанов П., А. Герасимов Ю. (2018) “Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных // Dynamic program analysis for error detection using goal-seeking input data generation” / spz:neicon:ispranproceedings:y:2014:i:1:p:375-394
  167. S. Syromyatnikov V., I. Bronshteyn E., N. Lugovskoy L., С. Сыромятников В., И. Бронштейн Е., Н. Луговской Л. (2018) “Рефакторинг в рамках программного проекта // Refactoring on the whole project” / spz:neicon:ispranproceedings:y:2014:i:1:p:395-402
  168. O. Samovarov I., S. Gaysaryan S., О. Самоваров И., С. Гайсарян С. (2018) “Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack // The web-laboratory architecture based on the cloud and the UniHUB implementation as an extension of the OpenStack platform” / spz:neicon:ispranproceedings:y:2014:i:1:p:403-420
  169. Denis Turdakov, Nikita Astrakhantsev, Yaroslav Nedumov, Andrey Sysoev, Ivan Andrianov, Vladimir Mayorov, Denis Fedorenko, Anton Korshunov, Sergey Kuznetsov, Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов (2018) “Texterra: инфраструктура для анализа текстов // Texterra: A Framework for Text Analysis” / spz:neicon:ispranproceedings:y:2014:i:1:p:421-438
  170. Anton Korshunov, Ivan Beloborodov, Nazar Buzun, Valeriy Avanesov, Roman Pastukhov, Kyrylo Chykhradze, Ilya Kozlov, Andrey Gomzin, Ivan Andrianov, Andrey Sysoev, Stepan Ipatov, Ilya Filonenko, Christina Chuprina, Denis Turdakov, Sergey Kuznetsov, Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов (2018) “Анализ социальных сетей: методы и приложения // Social network analysis: methods and applications” / spz:neicon:ispranproceedings:y:2014:i:1:p:439-456
  171. V. Semenov A., A. Anichkin S., S. Morozov V., O. Tarlapan A., V. Zolotov A., В. Семенов А., А. Аничкин С., С. Морозов В., О. Тарлапан А., В. Золотов А. (2018) “Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений // Effective Method For Scheduling Complex Industrial Programs Under Spatio-Temporal Constraints” / spz:neicon:ispranproceedings:y:2014:i:1:p:457-482
  172. N. Kuzyurin N., D. Grushin A., S. Fomin A., Н. Кузюрин Н., Д. Грушин А., C. Фомин A. (2018) “Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах // Two-dimensional packing problems and optimization in distributed computing systems” / spz:neicon:ispranproceedings:y:2014:i:1:p:483-502
  173. V. Ivannikov P., В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:y:2014:i:1:p:7-8
  174. E. Gerlits A., V. Kuliamin V., A. Maksimov V., A. Petrenko K., A. Khoroshilov V., A. Tsyvarev V., Е. Герлиц А., В. Кулямин В., А. Максимов В., А. Петренко К., А. Хорошилов В., А. Цыварев В. (2018) “Тестирование операционных систем // Testing of Operating Systems” / spz:neicon:ispranproceedings:y:2014:i:1:p:73-108
  175. V. Kuliamin, A. Petrenko, В. Кулямин В., А. Петренко К. (2018) “Развитие подхода к разработке тестов UniTESK // Evolution of UniTESK Test Development Technology” / spz:neicon:ispranproceedings:y:2014:i:1:p:9-26
  176. P. Dovgalyuk M., Y. Markin V., П. Довгалюк М., Ю. Маркин В. (2018) “Внесение неисправностей в программу с использованием детерминированного воспроизведения // Using Deterministic Replay for Software Fault Injection” / spz:neicon:ispranproceedings:y:2014:i:2:p:119-136
  177. Yu. Vorobyev B., P. Kudinov, M. Jeltsov, K. Kööp, T. Nhat V., Ю. Воробьев Б., П. Кудинов, М. Ельцов, К. Кёоп, К. Чыонг Ван Н. (2018) “Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС // Application of information technologies (genetic algorithms, neural networks, parallel calculations) in safety analysis of Nuclear Power Plants” / spz:neicon:ispranproceedings:y:2014:i:2:p:137-158
  178. V. Gonakhchyan I., В. Гонахчян И. (2018) “Обзор методов упрощения полигональных моделей на графическом процессоре // Survey of polygonal surface simplification algorithms on GPU” / spz:neicon:ispranproceedings:y:2014:i:2:p:159-174
  179. V. Zolotov A., V. Semenov A., В. Золотов А., В. Семенов А. (2018) “Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов // Effective spatio-temporal indexing methods for visual modeling of large industrial projects” / spz:neicon:ispranproceedings:y:2014:i:2:p:175-196
  180. V. Semenov A., S. Morozov V., D. Ilyin V., В. Семенов А., С. Морозов В., Д. Ильин В. (2018) “Комбинированный метод верификации масштабных моделей данных // A combined method for verification of large-scale data models” / spz:neicon:ispranproceedings:y:2014:i:2:p:197-230
  181. L. Karpov E., V. Yudin N., Л. Карпов Е., В. Юдин Н. (2018) “Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам // Lowing ambiguity level in object state estimation in a case-based control system” / spz:neicon:ispranproceedings:y:2014:i:2:p:231-244
  182. T. Novikova A., V. Zakharov A., Т. Новикова А., В. Захаров А. (2018) “Двусторонняя унификация программ и ее применение для задач рефакторинга” / spz:neicon:ispranproceedings:y:2014:i:2:p:245-268
  183. N. Varnovskij P., S. Martishin A., M. Khrapchenko V., A. Shokurov V., Н. Варновский П., С. Мартишин А., М. Храпченко В., А. Шокуров В. (2018) “Методы пороговой криптографии для защиты облачных вычислений // A Threshold Cryptosystem in Secure Cloud Computations” / spz:neicon:ispranproceedings:y:2014:i:2:p:269-274
  184. D. Nosov A., Д. Носов А. (2018) “О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти // Syntactical characterization of nondeterministic logspace complexity class” / spz:neicon:ispranproceedings:y:2014:i:2:p:275-296
  185. Igor Burdonov, Alexander Kosachev, Игорь Бурдонов, Александр Косачев (2018) “Обход неизвестного графа коллективом автоматов // Graph learning by a set of automata” / spz:neicon:ispranproceedings:y:2014:i:2:p:43-86
  186. I. Zakharov S., M. Mandrykin U., V. Mutilin S., E. Novikov M., A. Petrenko K., A. Khoroshilov V., И. Захаров С., М. Мандрыкин У., В. Мутилин С., Е. Новиков М., А. Петренко К., А. Хорошилов В. (2018) “Конфигурируемая система статической верификации модулей ядра операционных систем // Configurable Toolset for Static Verification of Operating Systems Kernel Modules” / spz:neicon:ispranproceedings:y:2014:i:2:p:5-42
  187. O. Goremykin V., О. Горемыкин В. (2018) “Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов // Description of hardware configurations of guest systems in QEMU emulator as separate text files” / spz:neicon:ispranproceedings:y:2014:i:2:p:87-96
  188. V. Koshelev K., A. Izbyshev O., I. Dudina A., В. Кошелев К., А. Избышев О., И. Дудина А. (2018) “Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM // Interprocedural taint analysis for LLVM-bitcode” / spz:neicon:ispranproceedings:y:2014:i:2:p:97-118
  189. Alexey Borodin, А. Бородин Е. (2018) “Статический поиск ошибок повторной блокировки семафора // Static detection of error of double locking of mutex” / spz:neicon:ispranproceedings:y:2014:i:3:p:103-112
  190. A. Nurmukhametov R., Sh. Kurmangaleev F., V. Kaushan V., S. Gaissaryan S., А. Нурмухаметов Р., Ш. Курмангалеев Ф., В. Каушан В., С. Гайсарян С. (2018) “Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения // Compiler protection techniques against software vulnerabilities exploitation” / spz:neicon:ispranproceedings:y:2014:i:3:p:113-126
  191. V. Padaryan A., V. Kaushan V., A. Fedotov N., В. Падарян А., В. Каушан В., А. Федотов Н. (2018) “Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке // Automated exploit generation method for stack buffer overflow vulnerabilities” / spz:neicon:ispranproceedings:y:2014:i:3:p:127-144
  192. V. Podymov V., V. Zakharov A., В. Подымов В., В. Захаров А. (2018) “Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами // A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators” / spz:neicon:ispranproceedings:y:2014:i:3:p:145-166
  193. N. Varnovsky P., V. Zakharov A., N. Kuzurin N., V. Shokurov A., Н. Варновский П., В. Захаров А., Н. Кузюрин Н., А. Шокуров В. (2018) “Современное состояние исследований в области обфускации программ: определения стойкости обфускации // The current state of art in program obfuscations:definitions of obfuscation security” / spz:neicon:ispranproceedings:y:2014:i:3:p:167-198
  194. A. Anichkin S., V. Semenov A., А. Аничкин С., В. Семенов А. (2018) “Современные модели и методы теории расписаний // A survey of emerging models and methods of scheduling” / spz:neicon:ispranproceedings:y:2014:i:3:p:5-50
  195. M. Galanin P., M. Gorbunov-Posadov M., A. Ermakov V., V. Lukin V., A. Rodin S., K. Shapovalov L., М. Галанин П., М. Горбунов-Посадов М., А. Ермаков В., В. Лукин В., А. Родин С., К. Шаповалов Л. (2018) “Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования // Prototype of an integrated software platform for tracking computer simulations to solve complex problems of mathematical modeling” / spz:neicon:ispranproceedings:y:2014:i:3:p:51-68
  196. K. Dolgorukova U., К. Долгорукова Ю. (2018) “Обзор масштабируемых систем межмодульных оптимизаций // Overview of Scalable Frameworks of Cross-Module Optimization” / spz:neicon:ispranproceedings:y:2014:i:3:p:69-90
  197. A. Monakov V., V. Platonov A., А. Монаков В., В. Платонов А. (2018) “Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA // Optimizations for linear solvers in OpenFOAM for MPI + CUDA platform” / spz:neicon:ispranproceedings:y:2014:i:3:p:91-102
  198. L. Ermakova, S. Ermakov, Л. Ермакова М., С. Ермаков А. (2018) “Лингвистический подход к определению суицида // Linguistic Approach to Suicide Detection” / spz:neicon:ispranproceedings:y:2014:i:4:p:113-122
  199. S. Popova V., I. Khodyrev A., С. Попова В., И. Ходырев А. (2018) “Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? // Ranking in keyphrase extraction problem: is it suitable to use statistics of words occurrences?” / spz:neicon:ispranproceedings:y:2014:i:4:p:123-136
  200. R. Pastukhov, A. Korshunov, D. Turdakov, S. Kuznetsov, Р. Пастухов К., А. Коршунов В., Д. Турдаков Ю., С. Кузнецов Д. (2018) “Улучшение качества разбиения графа с помощью многоуровневой оптимизации // Improving quality of graph partitioning using multilevel optimization” / spz:neicon:ispranproceedings:y:2014:i:4:p:21-32
  201. O. Borisenko, D. Turdakov, S. Kuznetsov, О. Борисенко Д., Д. Турдаков Ю., С. Кузнецов Д. (2018) “Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack // Automating cluster creation and management for Apache Spark in Openstack cloud” / spz:neicon:ispranproceedings:y:2014:i:4:p:33-44
  202. O. Borisenko, A. Laguta, D. Turdakov, S. Kuznetsov, О. Борисенко Д., А. Лагута В., Д. Турдаков Ю., С. Кузнецов Д. (2018) “Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии // Developing scalable software infrastructure for data storage and processing for computational biology problems” / spz:neicon:ispranproceedings:y:2014:i:4:p:45-54
  203. S. Kuznetsov ., С. Кузнецов Д. (2018) “Предисловие” / spz:neicon:ispranproceedings:y:2014:i:4:p:5-6
  204. D. Fedorenko, N. Astrakhantsev, D. Turdakov, Д. Федоренко Г., Н. Астраханцев А., Д. Турдаков Ю. (2018) “Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка // Automatic Recognition of Domain-Specific Terms: an Experimental Evaluation” / spz:neicon:ispranproceedings:y:2014:i:4:p:55-72
  205. N. Astrakhantsev, Н. Астраханце А. (2018) “Автоматическое извлечение терминов из коллекции текстов предметной области с помощью Википедии // Automatic term acquisition from domain-specific text collection by using Wikipedia” / spz:neicon:ispranproceedings:y:2014:i:4:p:7-20
  206. P. Fedotovsky V., G. Erokhin A., K. Cherednik E., K. Smirnov K., G. Chernishev A., П. Федотовский В., Г. Ерохин А., К. Чередник Е., К. Смирнов К., Г. Чернышев А. (2018) “Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи // To sort or not to sort: the evaluation of R-Tree and B+-Tree in transactional environment with ordered result requirement” / spz:neicon:ispranproceedings:y:2014:i:4:p:73-90
  207. A. Raskin, А. Раскин А. (2018) “Сравнение методик кластеризации частично упорядоченных множеств // Comparison of partial orders clustering techniques” / spz:neicon:ispranproceedings:y:2014:i:4:p:91-98
  208. D. Kostyrev, S. Anischenko, M. Petrushan, Д. Костырев В., С. Анищенко И., М. Петрушан В. (2018) “Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса // Time invariant hand gesture recognition for human-computer interaction” / spz:neicon:ispranproceedings:y:2014:i:4:p:99-112
  209. C. Brouzet, T. Dauxois, E. Ermanyuk, S. Joubaud, M. Kraposhin, I. Sibgatullin, К. Брузе, Т. Доксуа, Е. Ерманюк, С. Жубо, М. Крапошин, И. Сибгатуллин (2018) “Прямое численное моделирование аттракторов внутренних волн стратифицированной жидкости в трапециедальной области с колеблющейся вертикальной стенкой // Direct numerical simulation of internal gravity wave attractor in trapezoidal domain with oscillating vertical wall” / spz:neicon:ispranproceedings:y:2014:i:5:p:117-142
  210. N. Orlova S., Ya. Kachalkina N., Н. Орлова С., Я. Качалкина Н. (2018) “Исследование режимов виброкипящего гранулированного слоя с использованием пакета OpenFOAM // Investigation of vibrofluidized granular layer modes using OpenFOAM” / spz:neicon:ispranproceedings:y:2014:i:5:p:143-154
  211. B. Krasnopolsky, A. Medvedev, A. Chulyunin, Б. Краснопольский И., А. Медведев В., А. Чулюнин Ю. (2018) “Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM // On application of GPUs for modelling of hydrodynamic characteristics of screw marine propellers in OpenFOAM package” / spz:neicon:ispranproceedings:y:2014:i:5:p:155-172
  212. B. Kantsyrev L., Б. Канцырев Л. (2018) “Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами // Calculation of the disintegration of any break in the flow of a two-speed two-phase incompressible” / spz:neicon:ispranproceedings:y:2014:i:5:p:173-186
  213. N. Dimitrieva F., Ya. Zagumennyi V., Н. Димитриева Ф., Я. Загуменный В. (2018) “Численное моделирование стратифицированных течений с использованием OpenFOAM // Numerical simulation of stratified flows usingOpenFOAM package” / spz:neicon:ispranproceedings:y:2014:i:5:p:187-200
  214. M. Volik, М. Волик В. (2018) “Исследование влияния длины улиц на течение воздуха в них // Investigation of the effect of the length of the street on the flow of air in them” / spz:neicon:ispranproceedings:y:2014:i:5:p:201-212
  215. S. Tolstyh S., V. Podolsky E., С. Толстых С., В. Подольский Е. (2018) “Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности // Evaluation of complexity of the large-block cloud computing using arithmetic with enhanced accuracy” / spz:neicon:ispranproceedings:y:2014:i:5:p:29-64
  216. A. Avetisyan I., А. Аветисян И. (2018) “Предисловие // Preface” / spz:neicon:ispranproceedings:y:2014:i:5:p:5-6
  217. I. Bychkov, G. Oparin, A. Feoktistov, V. Bogdanova, A. Pashinin, И. Бычков В., Г. Опарин А., А. Феоктистов Г., В. Богданова Г., А. Пашинин А. (2018) “Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде // Multiagent methods and tools of management in a service-oriented distributed computing environment” / spz:neicon:ispranproceedings:y:2014:i:5:p:65-82
  218. G. Tsiperman, Г. Циперман Н. (2018) “Стохастическая модель процесса идентификации сервисов информационной системы // The stochastic model of information system services identification process” / spz:neicon:ispranproceedings:y:2014:i:5:p:7-28
  219. A. Trepacheva V., А. Трепачева В. (2018) “Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера // Improved known plaintexts attack on Domingo-Ferrer homomorphic cryptosystem” / spz:neicon:ispranproceedings:y:2014:i:5:p:83-98
  220. Ph. Burtyka, Ф. Буртыка Б. (2018) “Пакетное симметричное полностью гомоморфное шифрование на основе матричных полиномов // Batch Symmetric Fully Homomorphic Encryption Using Matrix Polynomials” / spz:neicon:ispranproceedings:y:2014:i:5:p:99-116
  221. Anton Ermakov, Антон Ермаков (2018) “Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции // Deriving checking sequences for nondeterministic FSMs” / spz:neicon:ispranproceedings:y:2014:i:6:p:111-124
  222. Jorge Lopez, Stephane Maag, Gerardo Morales, Х. Лопез, С. Мааг, Ж. Моралес (2018) “Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга // Scalable Evaluation of Distributed On-line Network Monitoring for Behavioral Feedback in Trust Management” / spz:neicon:ispranproceedings:y:2014:i:6:p:125-140
  223. D. Rivera, N. Kushik, C. Fuenzalida, A. Cavalli, N. Yevtushenko, Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко (2018) “Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом // A TEFSM-based Framework for QoE Evaluation of OTT Services” / spz:neicon:ispranproceedings:y:2014:i:6:p:17-30
  224. Stéphane Maag, Стефан Мааг (2018) “Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей // Model-Based Testing for MANETs” / spz:neicon:ispranproceedings:y:2014:i:6:p:31-46
  225. Svetlana Prokopenko, Светлана Прокопенко (2018) “Локализация неисправной компоненты в композиции расширенных автоматов // Locating a faulty component of an EFSM composition” / spz:neicon:ispranproceedings:y:2014:i:6:p:47-56
  226. Н. Евтушенко В., Ана Кавалли Р., А. Петренко К. (2018) “Предисловие” / spz:neicon:ispranproceedings:y:2014:i:6:p:5-16
  227. Igor Burdonov, Alexander Kossachev, Игорь Бурдонов, Александр Косачев (2018) “Построение прямого и обратного остовов автоматами на графе // Building direct and back spanning trees by automata on a graph” / spz:neicon:ispranproceedings:y:2014:i:6:p:57-62
  228. Igor Burdonov, Alexander Kossachev, Victor Kuliamin, Игорь Бурдонов, Александр Косачев, Виктор Кулямин (2018) “Параллельные вычисления автоматами на прямом и обратном остовах графа // Parallel calculations by automata on direct and back spanning trees of a graph” / spz:neicon:ispranproceedings:y:2014:i:6:p:63-66
  229. Maria Forostyanova, М. Форостьянова С. (2018) “Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов // Test derivation based on tree FSMs and tree automata” / spz:neicon:ispranproceedings:y:2014:i:6:p:67-76
  230. Alexandre Tvardovskiy, Александр Твардовский (2018) “К минимизации автоматов с таймаутами // On the minimization of timed Finite State Machines” / spz:neicon:ispranproceedings:y:2014:i:6:p:77-84
  231. O. Kondratyeva ., N. Yevtushenko ., A Cavalli., О. Кондратьева В., Н. Евтушенко В., А. Кавалли Р. (2018) “Решение автоматных уравнений для временных автоматов относительно параллельной композиции // Solving parallel equations for Finite State Machines with Timeouts” / spz:neicon:ispranproceedings:y:2014:i:6:p:85-98
  232. Vin La Hoa, Ana Cavalli, В. Ла Х., А. Кавалли (2018) “Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях // A study of Intrusion-tolerant routing in Wireless Sensor Networks” / spz:neicon:ispranproceedings:y:2014:i:6:p:99-110
  233. E. Lavrischeva M., L. Karpov E., A. Tomilin N., Е. Лаврищева М., Л. Карпов Е., А. Томилин Н. (2018) “Сервисные средства интернет для решения бизнес-задач // Internet services for solving business problems” / spz:neicon:ispranproceedings:y:2015:i:1:p:125-150
  234. V. Korolev Y., A. Korchagin Y., I. Mashechkin V., M. Petrovskiy I., D. Tsarev V., В. Королёв Ю., А. Корчагин Ю., И. Машечкин В., М. Петровский И., Д. Царёв В. (2018) “Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными // Applying Time Series to The Task of Background User Identification Based on Their Text Data Analysis” / spz:neicon:ispranproceedings:y:2015:i:1:p:151-172
  235. S. Kuznetsov D., С. Кузнецов Д. (2018) “Объектные модели ODMG и SQL десять лет спустя: нет противоречий // ODMG and SQL object models ten years later: there are no contradictions” / spz:neicon:ispranproceedings:y:2015:i:1:p:173-192
  236. S. Vartanov P., M. Ermakov K., С. Вартанов П., М. Ермаков К. (2018) “Применение статической инструментации байт-кода языка Java для динамического анализа программ // Applying Java bytecode static instrumentation for software dynamic analysis” / spz:neicon:ispranproceedings:y:2015:i:1:p:25-38
  237. Sevak Sargsyan, Shamil Kurmnagaleev, Andrey Belevantsev, Hayk Aslanyan, Artiom Baloian, Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян (2018) “Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ // Scalable code clone detection tool based on semantic analysis” / spz:neicon:ispranproceedings:y:2015:i:1:p:39-50
  238. M. Ermakov K., S. Vartanov P., М. Ермаков К., С. Вартанов П. (2018) “Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM // Dynamic Analysis of ARM ELF Shared Libraries Using Static Binary Instrumentation” / spz:neicon:ispranproceedings:y:2015:i:1:p:5-24
  239. Igor Burdonov, Alexander Kosachev, Игорь Бурдонов, Александр Косачев (2018) “Обход неизвестного графа коллективом автоматов. Недетерминированный случай // Graph Learning by a Set of Automata. The Nondeterministic Case” / spz:neicon:ispranproceedings:y:2015:i:1:p:51-68
  240. Igor Burdonov, Alexander Kosachev, Игорь Бурдонов, Александр Косачев (2018) “Мониторинг динамически меняющегося графа // Monitoring of dynamically changed graph” / spz:neicon:ispranproceedings:y:2015:i:1:p:69-96
  241. S. Smolov A., С. Смолов А. (2018) “Обзор методов извлечения моделей из HDL-описаний // A Survey of Methods for Model Extraction from HDL Descriptions” / spz:neicon:ispranproceedings:y:2015:i:1:p:97-124
  242. V. Kaushan V., A. Mamontov Y.U., V. Padaryan A., A. Fedotov N., В. Каушан В., А. Мамонтов Ю., В. Падарян А., А. Федотов Н. (2018) “Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ // Memory violation detection method in binary code” / spz:neicon:ispranproceedings:y:2015:i:2:p:105-126
  243. M. Klimushenkova A., P. Dovgalyuk M., М. Климушенкова А., П. Довгалюк М. (2018) “Методы повышения производительности обратной отладки // Methods to improve reverse debugging performance” / spz:neicon:ispranproceedings:y:2015:i:2:p:127-144
  244. A. Nikeshin V., N. Pakulin V., V. Shnitman Z., А. Никешин В., Н. Пакулин В., В. Шнитман З. (2018) “Тестирование реализаций клиента протокола TLS // TLS clients testing” / spz:neicon:ispranproceedings:y:2015:i:2:p:145-160
  245. R. Podlovchenko I., Р. Подловченко И. (2018) “Конечные автоматы в теории алгебраических схем программ // Finite state automata in the theory of algebraic program schemata” / spz:neicon:ispranproceedings:y:2015:i:2:p:161-172
  246. A. Molchanov ., А. Молчанов Э. (2018) “Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ // A Solution to the Equivalent Transformation Problem in a Class of Primitive Program Schemes” / spz:neicon:ispranproceedings:y:2015:i:2:p:173-188
  247. Igor Burdonov, Alexander Kossatchev, Игорь Бурдонов, Александр Косачев (2018) “Параллельные вычисления на динамически меняющемся графе // Parallel Calculations on Dynamic Graph” / spz:neicon:ispranproceedings:y:2015:i:2:p:189-220
  248. V. Zakharov A., В. Захаров А. (2018) “Моделирование и анализ поведения последовательных реагирующих программ // Modeling and analysis of the behavior of successive reactive programs” / spz:neicon:ispranproceedings:y:2015:i:2:p:221-250
  249. M. Ermakov ., S. Vartanov ., М. Ермаков К., С. Вартанов П. (2018) “Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java // Dynamic Java program analysis using virtual machine modification” / spz:neicon:ispranproceedings:y:2015:i:2:p:23-38
  250. M. Ermakov ., S. Vartanov ., М. Ермаков К., С. Вартанов П. (2018) “Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java // Detecting race conditions in Java programs using dynamic analysis” / spz:neicon:ispranproceedings:y:2015:i:2:p:39-52
  251. M. Akopyan S., М. Акопян С. (2018) “Использование многопоточных процессов в среде ParJava // Using multithreaded processes in ParJava environment” / spz:neicon:ispranproceedings:y:2015:i:2:p:5-22
  252. A. Belevantsev ., E. Velesevich ., А. Белеванцев А., Е. Велесевич А. (2018) “Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ // Analyzing C/C++ code entities and relations for program understanding” / spz:neicon:ispranproceedings:y:2015:i:2:p:53-64
  253. V. Efimov Y., K. Batuzov A., V. Padaryan A., В. Ефимов Ю., К. Батузов А., В. Падарян А. (2018) “Об особенностях детерминированного воспроизведения при минимальном наборе устройств // Deterministic replay specifics in case of minimal device set” / spz:neicon:ispranproceedings:y:2015:i:2:p:65-92
  254. Sevak Sargsyan, Севак Саргсян (2018) “Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода // Copy-paste semantic errors detection” / spz:neicon:ispranproceedings:y:2015:i:2:p:93-104
  255. Pavel Oleynik P., Павел Олейник Петрович (2018) “Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений // Unified Model for Testing Object-Oriented Application Development Tools” / spz:neicon:ispranproceedings:y:2015:i:3:p:101-114
  256. Nikita Voinov V., Pavel Drobintsev D., Igor Nikiforov V., Vsevolod Kotlyarov P., Alexander Kolchin V., Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин (2018) “Метод автоматической конкретизации символических тестовых сценариев // Method of Symbolic Test Scenarios Automated Concretization” / spz:neicon:ispranproceedings:y:2015:i:3:p:115-124
  257. A. Kamkin ., A. Protsenko ., A. Tatarnikov ., А. Камкин С., А. Проценко С., А. Татарников Д. (2018) “Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов // An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms” / spz:neicon:ispranproceedings:y:2015:i:3:p:125-138
  258. V. Kutsevol ., A. Meshkov ., M. Ryzhov ., P. Frolov ., В. Куцевол Н., А. Мешков Н., М. Рыжов П., П. Фролов В. (2018) “Подход к верификации модуля прямого доступа к памяти // An approach to Direct Memory Access module verification” / spz:neicon:ispranproceedings:y:2015:i:3:p:139-148
  259. Alexander Kamkin, Mikhail Petrochenkov, Александр Камкин, Михаил Петроченков (2018) “Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей // A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors” / spz:neicon:ispranproceedings:y:2015:i:3:p:149-160
  260. I. Melnichenko ., A. Kamkin ., S. Smolov ., И. Мельниченко ., А. Камкин ., С. Смолов . (2018) “Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов // An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs” / spz:neicon:ispranproceedings:y:2015:i:3:p:161-182
  261. Vladimir Burenkov, Владимир Буренков (2018) “О реализации формального метода верификации масштабируемых систем с когерентной памятью // On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems” / spz:neicon:ispranproceedings:y:2015:i:3:p:183-196
  262. S. Chernenok A., V. Nepomniaschy A., Сергей Черненок, Валерий Непомнящий (2018) “Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами // The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts” / spz:neicon:ispranproceedings:y:2015:i:3:p:197-218
  263. N. Nikitina, A. Mitsyuk, Н. Никитина, А. Мицюк (2018) “Редактор моделей процессов «Carassius» // Carassius: A Simple Process Model Editor” / spz:neicon:ispranproceedings:y:2015:i:3:p:219-236
  264. I. Shugurov, A. Mitsyuk, И. Шугуров, А. Мицюк (2018) “Iskra: Инструмент починки моделей процессов // Iskra: A Tool for Process Model Repair” / spz:neicon:ispranproceedings:y:2015:i:3:p:237-254
  265. Sergey Ivanov, Anna Kalenkova, Сергей Иванов, Анна Каленкова (2018) “Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML // Comparing process models in the BPMN 2.0 XML format” / spz:neicon:ispranproceedings:y:2015:i:3:p:255-266
  266. Kurbanmagomed Mallachiev, Nikolay Pakulin, К. Маллачиев, Н. Пакулин (2018) “Удаленное обслуживание системных вызовов в микроядерном гипервизоре // Remote Service of System Calls in Microkernel Hypervisor” / spz:neicon:ispranproceedings:y:2015:i:3:p:267-278
  267. Andrey Kiryantsev, Irina Stefanova, Андрей Кирьянцев, Ирина Стефанова (2018) “Создание приватного сервиса с использованием приложения CRYP2CHAT // Constructing Private Service with CRYP2CHAT application” / spz:neicon:ispranproceedings:y:2015:i:3:p:279-290
  268. Julia Belyakova, Stanislav Mikhalkovich, Ю. Белякова В., С. Михалкович С. (2018) “Проблемы обобщений C# и способы их решения с помощью концептов // Pitfalls of C# Generics and Their Solution Using Concepts” / spz:neicon:ispranproceedings:y:2015:i:3:p:29-46
  269. Veniamin Tarasov, Ekaterina Mezenceva, Danila Karbaev, Вениамин Тарасов, Екатерина Мезенцева, Данила Карбаев (2018) “Совмещенный классификатор для фильтрации сообщений на веб сайтах // Combined Classifier for Website Messages Filtration” / spz:neicon:ispranproceedings:y:2015:i:3:p:291-302
  270. Veniamin Tarasov, Sergey Malakhov, Вениамин Тарасов, Сергей Малахов (2018) “Программа статистической обработки данных анализатора wireshark и исследование входящего трафика // Statistical data handling program of Wireshark analyzer and incoming traffic research” / spz:neicon:ispranproceedings:y:2015:i:3:p:303-314
  271. Irina Bolodurina, Denis Parfenov, И. Болодурина П., Д. Парфёнов И. (2018) “Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг // Effective Use of Resources Distributed Cloud Computing Platform for Providing Quality Multimedia Services” / spz:neicon:ispranproceedings:y:2015:i:3:p:315-328
  272. Nataliia Limanova, Maxim Sedov, Наталия Лиманова, Максим Седов (2018) “Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения // Searching method of personal details on the basis of fuzzy comparison” / spz:neicon:ispranproceedings:y:2015:i:3:p:329-342
  273. D. Antonov V., V. Roublev S., Д. Антонов В., В. Рублев С. (2018) “Эффективное взаимодействие с СУБД DIM // Effective interaction with the DIM DBMS” / spz:neicon:ispranproceedings:y:2015:i:3:p:343-350
  274. D. Ustalov A., Д. Усталов А. (2018) “Инструментарий краудсорсинга для механизированного труда // A Crowdsourcing Engine for Mechanized Labor” / spz:neicon:ispranproceedings:y:2015:i:3:p:351-364
  275. L. Zelenko S., D. Konopelkin A., V. Ivanov S., A. Grigoriev O., A. Semenov E., M. Savachaev A., E. Poberezkin E., Лариса Зеленко, Дмитрий Конопелькин, Виталий Иванов, Александр Григорьев, Александр Семенов, Михаил Савачаев, Ефим Поберёзкин (2018) “Программные средства для организации и поддержки игровой дистанционной обучающей системы «3Ducation» // Software tools for organization and support of distance learning game system «3Ducation»” / spz:neicon:ispranproceedings:y:2015:i:3:p:365-378
  276. A. Tsyganov ., А. Цыганов А. (2018) “Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU // Acceleration of profile creation for three-dimensional vector video with GPGPU” / spz:neicon:ispranproceedings:y:2015:i:3:p:379-390
  277. Sofya Latkina, Софья Латкина (2018) “Двухшаговый генератор гармоничных мелодий // Two-step Harmonious Melody Generator” / spz:neicon:ispranproceedings:y:2015:i:3:p:391-406
  278. Darya Egorova, Victor Zhidchenko, Дарья Егорова, Виктор Жидченко (2018) “Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования // Visual Parallel Programming as PaaS cloud service with Graph-Symbolic Programming Technology” / spz:neicon:ispranproceedings:y:2015:i:3:p:47-56
  279. А. Камкин С., А. Петренко К., А. Терехов Н. (2018) “Предисловие” / spz:neicon:ispranproceedings:y:2015:i:3:p:5-8
  280. Alexandr Naumchev, Александр Наумчев (2018) “Бесшовная разработка программного обеспечения: применимость на примере // Seamless Development Applicability: an Experiment” / spz:neicon:ispranproceedings:y:2015:i:3:p:57-72
  281. A. Kovartsev N., V. Smirnov S., S. Smirnov V., А. Коварцев Н., В. Смирнов С., С. Смирнов В. (2018) “Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных // Intelligent Design of Class Structure Model based on Ontological Data Analysis” / spz:neicon:ispranproceedings:y:2015:i:3:p:73-86
  282. O. Chetverina A., Ольга Четверина (2018) “Классификация процедур для выбора стратегии оптимизации // Procedures classification for optimizing strategy assignment” / spz:neicon:ispranproceedings:y:2015:i:3:p:87-100
  283. I. Ratkevich S., И. Раткевич С. (2018) “Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio // FRIS language service for extended Fortran support in Microsoft Visual Studio” / spz:neicon:ispranproceedings:y:2015:i:3:p:9-28
  284. E. Tutubalina ., Е. Тутубалина В. (2018) “Совместная вероятностная тематическая модель для идентификации проблемных высказываний, связанных нарушением функциональности продуктов // Sentiment-based Topic Model for Mining Usability Issues and Failures with User Products” / spz:neicon:ispranproceedings:y:2015:i:4:p:111-128
  285. A. Gomzin ., S. Kuznetsov ., А. Гомзин Г., С. Кузнецов Д. (2018) “Методы построения социо-демографических профилей пользователей сети Интернет // Methods for construction of socio-demographic profile of Internet users” / spz:neicon:ispranproceedings:y:2015:i:4:p:129-144
  286. V. Zakharov A., V. Podymov V., В. Захаров А., В. Подымов В. (2018) “Применение алгоритмов проверки эквивалентности для оптимизации программ // On the application of equivalence checking algorithms for program minimization” / spz:neicon:ispranproceedings:y:2015:i:4:p:145-174
  287. I. Vakhrushev A., V. Kaushan V., V. Padaryan A., A. Fedotov N., И. Вахрушев А., В. Каушан В., В. Падарян А., А. Федотов Н. (2018) “Метод поиска уязвимости форматной строки // Search method for format string vulnerabilities” / spz:neicon:ispranproceedings:y:2015:i:4:p:23-38
  288. Evgeny Velesevich, Е. Велесевич А. (2018) “Обнаружение и оценка количества промахов когерентности на основе вероятностной модели // Evaluating a number of cache coherency misses based on a statistical model” / spz:neicon:ispranproceedings:y:2015:i:4:p:39-48
  289. M. Mandrykin U., A. Khoroshilov V., М. Мандрыкин У., А. Хорошилов В. (2018) “О дедуктивной верификации Си программ, работающих с разделяемыми данными // Towards Deductive Verification of C Programs with Shared Data” / spz:neicon:ispranproceedings:y:2015:i:4:p:49-68
  290. A. Get'man I., V. Ivannikov P., Yu. Markin V., V. Padaryan A., A. Tikhonov Yu., А. Гетьман И., В. Иванников П., Ю. Маркин В., В. Падарян А., А. Тихонов Ю. (2018) “Модель представления данных при проведении глубокого анализа сетевого трафика // Model of data handling for in-depth analysis of network traffic” / spz:neicon:ispranproceedings:y:2015:i:4:p:5-22
  291. S. Morozov V., D. Ilyin V., V. Semenov A., O. Tarlapan A., С. Морозов В., Д. Ильин В., В. Семенов А., О. Тарлапан А. (2018) “Библиотека ограничений для спецификации индустриальных моделей данных // A constraint library for specification of industrial data models” / spz:neicon:ispranproceedings:y:2015:i:4:p:69-110
  292. M. Mandrykin U., V. Mutilin S., М. Мандрыкин У., В. Мутилин С. (2018) “Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях // Modeling Memory with Uninterpreted Functions for Predicate Abstractions” / spz:neicon:ispranproceedings:y:2015:i:5:p:117-142
  293. E. Kornykhin ., A. Khoroshilov ., Е. Корныхин В., А. Хорошилов В. (2018) “Использование языка программирования Python для описания ограничений на архитектурные модели // Python-based constraint language for architecture models” / spz:neicon:ispranproceedings:y:2015:i:5:p:143-156
  294. A. Tsyvarev ., A. Khoroshilov ., А. Цыварев В., А. Хорошилов В. (2018) “Использование симуляции сбоев при тестировании компонентов ядра ОС Linux // Using fault injection for testing Linux kernel components” / spz:neicon:ispranproceedings:y:2015:i:5:p:157-174
  295. A. Petrenko K., V. Kuliamin V., A. Khoroshilov V., А. Петренко К., В. Кулямин В., А. Хорошилов В. (2018) “Об интеграции формальных методов в задачах верификации операционных систем // Integration Points of Operating System Verification Techniques” / spz:neicon:ispranproceedings:y:2015:i:5:p:175-190
  296. A. Asratian S., N. Kuzyurin N., А. Асратян С., Н. Кузюрин Н. (2018) “Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время // Approximating chromatic sum coloring of bipartite graphs in expected polynomial time” / spz:neicon:ispranproceedings:y:2015:i:5:p:191-198
  297. D. Grushin A., N. Kuzyurin N., Д. Грушин А., Н. Кузюрин Н. (2018) “Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей // Load balancing in Unihub SaaS system based on user behavior prediction” / spz:neicon:ispranproceedings:y:2015:i:5:p:23-34
  298. A. Aleksiyants ., O. Borisenko ., D. Turdakov ., A. Sher ., S. Kuznetsov ., А. Алексиянц В., О. Борисенко Д., Д. Турдаков Ю., А. Шер В., С. Кузнецов Д. (2018) “Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara // Implementing Apache Spark jobs execution and Apache Spark cluster creation for Openstack Sahara[1]” / spz:neicon:ispranproceedings:y:2015:i:5:p:35-48
  299. I. Bogomolov V., A. Aleksiyants ., A. Sher ., O. Borisenko ., A. Avetisyan ., И. Богомолов В., А. Алексиянц В., А. Шер В., О. Борисенко Д., А. Аветисян И. (2018) “Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone // A performance testing and stress testing of cloud platform central identity: OpenStack Keystone case study” / spz:neicon:ispranproceedings:y:2015:i:5:p:49-58
  300. I. Andrianov ., V. Mayorov ., D. Turdakov ., И. Андрианов А., В. Майоров Д., Д. Турдаков Ю. (2018) “Современные методы аспектно-ориентированного анализа эмоциональной окраски // Modern Approaches to Aspect-Based Sentiment Analysis” / spz:neicon:ispranproceedings:y:2015:i:5:p:5-22
  301. V. Koshelev ., I. Dudina ., V. Ignatyev ., A. Borzilov ., В. Кошелев К., И. Дудина А., В. Игнатьев И., А. Борзилов И. (2018) “Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя // Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference” / spz:neicon:ispranproceedings:y:2015:i:5:p:59-86
  302. P. Andrianov S., V. Mutilin S., A. Khoroshilov V., П. Андрианов С., В. Мутилин С., А. Хорошилов В. (2018) “Метод легковесного статического анализа для поиска состояний гонок // Lightweight Static Analysis for Data Race Detection in Operating System Kernels” / spz:neicon:ispranproceedings:y:2015:i:5:p:87-116
  303. A. Borodin ., A. Belevancev ., А. Бородин Е., А. Белеванцев А. (2018) “Статический анализатор Svace как коллекция анализаторов разных уровней сложности // A static analysis tool Svace as a collection of analyzers with various complexity levels” / spz:neicon:ispranproceedings:y:2015:i:6:p:111-134
  304. I. Kulagin ., M. Kurnosov ., И. Кулагин И., М. Курносов Г. (2018) “Инструментация и оптимизация выполнения транзакционных секций многопоточных программ // Instrumentation and optimization of transactional sections execution in multithreaded programs” / spz:neicon:ispranproceedings:y:2015:i:6:p:135-150
  305. E. Karpulevitch A., Е. Карпулевич А. (2018) “Использование различных представлений java-программ для статического анализа // Using different views java-programs for static analysis” / spz:neicon:ispranproceedings:y:2015:i:6:p:151-158
  306. N. Fursova I., P. Dovgalyuk M., I. Vasiliev A., Н. Фурсова И., П. Довгалюк М., И. Васильев А. (2018) “Использование ABI для интроспекции виртуальных машин // Using ABI for virtual machines introspection” / spz:neicon:ispranproceedings:y:2015:i:6:p:159-168
  307. A. Kanatov ., E. Zouev ., А. Канатов В., Е. Зуев А. (2018) “Концепция наследования в современных языках программирования // The concept of inheritance in modern programming languages” / spz:neicon:ispranproceedings:y:2015:i:6:p:169-188
  308. A. Ermolitckii ., M. Neiman-Zade ., O. Chetverina ., A. Markin ., V. Volkonskii ., А. Ермолицкий В., М. Нейман-Заде И., О. Четверина А., А. Маркин Л., В. Волконский Ю. (2018) “Агрессивная инлайн-подстановка функций для VLIW-архитектур // Aggressive Inlining for VLIW” / spz:neicon:ispranproceedings:y:2015:i:6:p:189-198
  309. G. Garay R., A. Tchernykh, A. Drozdov Yu., Г. Гарай Р., А. Черных, А. Дроздов Ю. (2018) “Сравнительный анализ методов оценки производительности многоуровневых облачных приложений // Comparative Analysis of Frameworks for the Performance Evaluation of Multi-tier Cloud Applications” / spz:neicon:ispranproceedings:y:2015:i:6:p:199-224
  310. Dmitry Botcharniko, Дмитрий Бочарников (2018) “Подходы к оптимизации движка JavaScript V8 // Approaches to optimizing V8 JavaScript engine” / spz:neicon:ispranproceedings:y:2015:i:6:p:21-32
  311. Alexander Tormasov, Anatoly Lysov, Emil Mazur, Александр Тормасов, Анатолий Лысов, Эмиль Мазур (2018) “Распределенные системы хранения данных: анализ, классификация и варианты выбора // Distributed data storage systems: analysis, classification and choice” / spz:neicon:ispranproceedings:y:2015:i:6:p:225-252
  312. L. Ivanichkina ., A. Neporada ., Л. Иваничкина В., А. Непорада П. (2018) “Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев // The Reliability Model of a Distributed Data Storage in Case of Explicit and Latent Disk Faults” / spz:neicon:ispranproceedings:y:2015:i:6:p:253-274
  313. G. Radchenko ., Г. Радченко И. (2018) “Модель проблемно-ориентированной облачной вычислительной среды // Model of problem-oriented cloud computing environment” / spz:neicon:ispranproceedings:y:2015:i:6:p:275-284
  314. A. Skatkov ., V. Shevchenko ., А. Скатков В., В. Шевченко И. (2018) “Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований // Expansion of reference model for the cloud computing environment in the concept of large-scale scientific researches” / spz:neicon:ispranproceedings:y:2015:i:6:p:285-306
  315. A. Chadin ., А. Чадин С. (2018) “Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков // Dynamic optimization of workload on compute nodes in private, public and hybrid clouds” / spz:neicon:ispranproceedings:y:2015:i:6:p:307-314
  316. S. Gerasimov ., A. Mesheryakov ., I. Kolosov ., E. Glotov ., I. Popov ., С. Герасимов В., А. Мещеряков В., И. Колосов Ю., Е. Глотов С., И. Попов С. (2018) “Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce // Processing of raw astronomical data of large volume by MapReduce model” / spz:neicon:ispranproceedings:y:2015:i:6:p:315-334
  317. V. Vardanyan ., V. Ivanishin ., S. Asryan ., A. Khachatryan ., J. Hakobyan ., В. Варданян Г., В. Иванишин А., С. Асрян А., А. Хачатрян А., Дж. Акопян А. (2018) “Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM // Dynamic compilation of JavaScript programs to the statically typed LLVM intermediate representation” / spz:neicon:ispranproceedings:y:2015:i:6:p:33-48
  318. A. Pankratov N., R. Tetuev K., M. Pyatkov I., V. Toigildin P., N. Popova N., А. Панкратов Н., Р. Тетуев К., М. Пятков И., В. Тойгильдин П., Н. Попова Н. (2018) “Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях // Spectral analytical method of recognition of inexact repeats in character sequences” / spz:neicon:ispranproceedings:y:2015:i:6:p:335-344
  319. N. Balashov ., A. Baranov ., V. Korenkov ., N. Kutovskiy ., A. Nechaevskiy ., R. Semenov ., Н. Балашов А., А. Баранов В., В. Кореньков В., Н. Кутовский А., А. Нечаевский В., Р. Семенов Н. (2018) “Облачный сервис ОИЯИ: статус и перспективы // JINR Cloud Service: Status and Perspectives” / spz:neicon:ispranproceedings:y:2015:i:6:p:345-354
  320. F. Armenta-Cano, A. Tchernykh, J. Cortés-Mendoza M., R. Yahyapour, A. Drozdov Yu., P. Bouvry, D. Kliazovich, A. Avetisyan I., S. Nesmachnow, Ф. Армента-Кано, А. Черных, Х. Кортес-Мендоза М., Р. Яхьяпур, А. Дроздов Ю., П. Буври, Д. Клязович, А. Аветисян И., С. Несмачнов (2018) “Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний // Min_c: heterogeneous concentration policy for power aware scheduling” / spz:neicon:ispranproceedings:y:2015:i:6:p:355-380
  321. A. Trepacheva ., А. Трепачева В. (2018) “Дерандомизационная криптостойкость гомоморфного шифрования // Derandomization Security of Homomorphic Encryption” / spz:neicon:ispranproceedings:y:2015:i:6:p:381-394
  322. Y. Matveev ., N. Stukalova ., Ю. Матвеев Н., Н. Стукалова А. (2018) “Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций // Computer-aided operational management technogenic chemical-technological objects at occurrence of beyond design basis emergency situations” / spz:neicon:ispranproceedings:y:2015:i:6:p:395-408
  323. S. Polyakov ., A. Vyrodov ., D. Puzyrkov ., M. Yakobovskiy ., С. Поляков В., А. Выродов В., Д. Пузырьков В., М. Якобовский В. (2018) “Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах // Cloud service for decision of multiscale nanotechnology problems on supercomputer systems” / spz:neicon:ispranproceedings:y:2015:i:6:p:409-420
  324. A. Ermakov ., S. Klimenko ., A. Merkulov ., S. Panfilov ., A. Raikov N., А. Ермаков Н., С. Клименко В., А. Меркулов А., С. Панфилов А., А. Райков Н. (2018) “Облачный фреймворк для интеграции сетевых экспертных и аналитических средств // Cloud Framework for the Networked Expert and Analytical Tools Integration” / spz:neicon:ispranproceedings:y:2015:i:6:p:421-440
  325. N. Kushik ., Н. Кушик Г. (2018) “Проверяющие эксперименты с ненаблюдаемым древовидными автоматами // Checking experiments with non-observable tree FSMs” / spz:neicon:ispranproceedings:y:2015:i:6:p:441-450
  326. O. Chetverina A., О. Четверина А. (2018) “Методы коррекции профильной информации в процессе компиляции // Methods of profile information correction during compilation” / spz:neicon:ispranproceedings:y:2015:i:6:p:49-66
  327. В. Иванников П. (2018) “Предисловие” / spz:neicon:ispranproceedings:y:2015:i:6:p:5-6
  328. Roman Zhuykov, Eugene Sharygin, Роман Жуйков, Евгений Шарыгин (2018) “Методы предварительной оптимизации программ на языке JavaScript // Аhead of time optimization for JavaScript programs” / spz:neicon:ispranproceedings:y:2015:i:6:p:67-86
  329. D. Maksimenkov A., Д. Максименков А. (2018) “Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований // Compile the Code Instrumentation Technique for Selective Debugging of Optimizing Transformations” / spz:neicon:ispranproceedings:y:2015:i:6:p:7-20
  330. E. Palchevsky V., A. Khalikov R., Е. Пальчевский В., А. Халиков Р. (2018) “Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ // Technique The Instrumentation A Code And Optimization of code lines in modeling phase transitions on the programming language C++” / spz:neicon:ispranproceedings:y:2015:i:6:p:87-96
  331. Ksenia Dolgorukova, К. Долгорукова Ю. (2018) “Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM // Implementation of memory scalability approach for llvm-based link-time optimization and static analyzing systems” / spz:neicon:ispranproceedings:y:2015:i:6:p:97-110
  332. I. Burdonov B., A. Kossatchev S., И. Бурдонов Б., А. Косачев С. (2018) “Тестирование системы автоматов с буферизацией сообщений // Testing of automata system” / spz:neicon:ispranproceedings:y:2016:i:1:p:103-130
  333. I. Burdonov B., A. Kossatchev S., И. Бурдонов Б., А. Косачев С. (2018) “Система автоматов: композиция по графу связей // Automata system: composition according to graph of links” / spz:neicon:ispranproceedings:y:2016:i:1:p:131-150
  334. Igor Burdonov, Alexander Kossatchev, И. Бурдонов Б., А. Косачев С. (2018) “Система автоматов: условия детерминизма и тестирование // Automata system: determinism conditions and testing” / spz:neicon:ispranproceedings:y:2016:i:1:p:151-184
  335. A. Tsynaeva ., M. Nikitin ., А. Цынаева А., М. Никитин Н. (2018) “Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne // Numerical modeling of rectangular channel with shallow dumbbell dimples based Code Saturne” / spz:neicon:ispranproceedings:y:2016:i:1:p:185-196
  336. A. Ryakhovskiy I., A. Schmidt A., А. Ряховский И., А. Шмидт А. (2018) “Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM // MHD supersonic flow control: OpenFOAM simulation” / spz:neicon:ispranproceedings:y:2016:i:1:p:197-206
  337. N. Dimitrieva F., Yu. Chashechkin D., Н. Димитриева Ф., Ю. Чашечкин Д. (2018) “Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM // High-performance numerical simulation of stratified flows around a wedge in OpenFOAM” / spz:neicon:ispranproceedings:y:2016:i:1:p:207-220
  338. V. Koshelev ., V. Ignatyev ., A. Borzilov ., В. Кошелев К., В. Игнатьев Н., А. Борзилов И. (2018) “Инфраструктура статического анализа программ на языке C# // C# static analysis framework” / spz:neicon:ispranproceedings:y:2016:i:1:p:21-40
  339. V. Puzikova ., В. Пузикова В. (2018) “Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью // Realization of parallel computations in the software package «LS-STAG_turb» for viscous incompressible flow simulation on systems with shared memory” / spz:neicon:ispranproceedings:y:2016:i:1:p:221-242
  340. E. Davydova ., V. Korchagova ., Е. Давыдова В., В. Корчагова Н. (2018) “Свободное программное обеспечение для моделирования жидкости со свободной поверхностью // Open-source software for modelling of free surface flows” / spz:neicon:ispranproceedings:y:2016:i:1:p:243-258
  341. K. Kuzmina S., I. Marchevsky K., К. Кузьмина С., И. Марчевский К. (2018) “Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов // On the estimations of efficiency and error of fast algorithm in vortex element method” / spz:neicon:ispranproceedings:y:2016:i:1:p:259-274
  342. M. Providukhina, I. Sibgatullin, М. Провидухина, И. Сибгатуллин (2018) “Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн // Application of statistical and spectral methods to computational modeling of internal wave attractors” / spz:neicon:ispranproceedings:y:2016:i:1:p:275-282
  343. A. Dergachev ., A. Sidorin ., А. Дергачёв В., А. Сидорин В. (2018) “Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения // Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution” / spz:neicon:ispranproceedings:y:2016:i:1:p:41-62
  344. V. Vardanyan ., В. Варданян Г. (2018) “Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы // Profile-based optimizations for JavaScript programs” / spz:neicon:ispranproceedings:y:2016:i:1:p:5-20
  345. E. Kudryashov A., D. Melnik M., A. Monakov V., Е. Кудряшов А., Д. Мельник М., А. Монаков В. (2018) “Оптимизация динамической загрузки библиотек на архитектуре ARM // Dynamic loader optimization for ARM” / spz:neicon:ispranproceedings:y:2016:i:1:p:63-80
  346. V. Platonov ., A. Monakov ., В. Платонов А., А. Монаков В. (2018) “Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU // Overlapping communications and computations in GPU-based iterative linear solvers” / spz:neicon:ispranproceedings:y:2016:i:1:p:81-92
  347. E. Palchevsky V., A. Khalikov R., Е. Пальчевский В., А. Халиков Р. (2018) “Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах // Uniformly distributed load of hardware and software core in the UNIX-based systems” / spz:neicon:ispranproceedings:y:2016:i:1:p:93-102
  348. Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin, Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин (2018) “Применимость AutoProof: учебный пример верификации ПО // Usability of AutoProof: a case study of software verification” / spz:neicon:ispranproceedings:y:2016:i:2:p:111-126
  349. M. Polubelova I., S. Bozhko N., S. Grigorev V., М. Полубелова И., С. Божко Н., С. Григорьев В. (2018) “Верификация преобразования грамматики в нормальную форму Хомского в F // Certified Grammar Transformation to Chomsky Normal Form in F” / spz:neicon:ispranproceedings:y:2016:i:2:p:127-138
  350. C. Thule, P. Larsen G., С. Тул, П. Ларсен Г. (2018) “Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS // Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS” / spz:neicon:ispranproceedings:y:2016:i:2:p:139-156
  351. A. Troitskiy M., D. Buzdalov V., А. Троицкий М., Д. Буздалов В. (2018) “Способ статической оценки времени работы компонентов AADL-моделей // A static approach to estimation of execution time of components in AADL models” / spz:neicon:ispranproceedings:y:2016:i:2:p:157-172
  352. I. Koverninskiy V., A. Kan V., V. Volkov B., Yu. Popov S., N. Gorelits K., И. Ковернинский В., А. Кан В., В. Волков Б., Ю. Попов С., Н. Горелиц К. (2018) “Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли // Practical experience of software and system engineering approaches in requirements management for software development in aviation industry” / spz:neicon:ispranproceedings:y:2016:i:2:p:173-180
  353. K. Mallachiev M., N. Pakulin V., A. Khoroshilov V., К. Маллачиев М., Н. Пакулин В., А. Хорошилов В. (2018) “Устройство и архитектура операционной системы реального времени // Design and architecture of real-time operating system” / spz:neicon:ispranproceedings:y:2016:i:2:p:181-192
  354. A. Emelenko N., K. Mallachiev A., N. Pakulin V., А. Емеленко Н., К. Маллачиев А., Н. Пакулин В. (2018) “Разработка отладчика для операционной системы реального времени // Developing a Debugger for Real-Time Operating System” / spz:neicon:ispranproceedings:y:2016:i:2:p:193-204
  355. F. Gossen, T. Margaria, T. Göke, Ф. Гёссен, Т. Маргариа, Т. Гёке (2018) “Моделирование конвейера распознавания людей в системах контроля доступа // Modelling the People Recognition Pipeline in Access Control Systems” / spz:neicon:ispranproceedings:y:2016:i:2:p:205-220
  356. D. Puzyrkov V., V. Podryga O., S. Polyakov V., Д. Пузырьков В., В. Подрыга О., С. Поляков В. (2018) “Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики // Parallel processing and visualization for results of molecular simulation problems” / spz:neicon:ispranproceedings:y:2016:i:2:p:221-242
  357. D. Kozhevnikov D., N. Krasilich V., Д. Кожевников Д., Н. Красилич В. (2018) “Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей // Memristor-based Hardware Neural Networks Modelling Review and Framework Concept” / spz:neicon:ispranproceedings:y:2016:i:2:p:243-258
  358. I. Chucklyaev ., И. Чукляев И. (2018) “Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем // Composition model and method of creation of functionally-oriented information resources” / spz:neicon:ispranproceedings:y:2016:i:2:p:259-270
  359. Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera, Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера (2018) “Refinement типы для языка Jolie // Refinement Types in Jolie” / spz:neicon:ispranproceedings:y:2016:i:2:p:33-44
  360. G. Zimin A., D. Mordvinov A., Г. Зимин А., Д. Мордвинов А. (2018) “Образовательный визуальный потоковый язык для программирования роботов // Visual Dataflow Language for Educational Robots Programming” / spz:neicon:ispranproceedings:y:2016:i:2:p:45-62
  361. Julia Belyakova, Ю. Белякова В. (2018) “Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения // Language Support for Generic Programming in Object-Oriented Languages: Design Challenges” / spz:neicon:ispranproceedings:y:2016:i:2:p:5-32
  362. M. Malevannyy S., S. Mikhalkovich S., М. Малеванный С., С. Михалкович С. (2018) “Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде // Context-Based Model for Concern Markup of a Source Code” / spz:neicon:ispranproceedings:y:2016:i:2:p:63-78
  363. A. Yugov S., А. Югов С. (2018) “Подход к обнаружению анти-паттернов в сервис-ориентированных системах // Approach to Anti-pattern detection in Service-oriented Software Systems” / spz:neicon:ispranproceedings:y:2016:i:2:p:79-96
  364. A. Gudoshnikova A., Y. Litvinov V., А. Гудошникова А., Ю. Литвинов В. (2018) “Технология создания семейства приложений на основе анализа предметной области // Technology for application family creation based on domain analysis” / spz:neicon:ispranproceedings:y:2016:i:2:p:97-110
  365. I. Shugurov S., A. Mitsyuk A., И. Шугуров С., А. Мицюк А. (2018) “Применение MapReduce для проверки соответствия моделей процессов и логов событий // Applying MapReduce to Conformance Checking” / spz:neicon:ispranproceedings:y:2016:i:3:p:103-122
  366. A. Ermakov D., N. Yevtushenko V., А. Ермаков Д., Н. Евтушенко В. (2018) “К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов // Deriving adaptive checking sequence for nondeterministic Finite State Machines” / spz:neicon:ispranproceedings:y:2016:i:3:p:123-144
  367. P. Drobintsev ., V. Kotlyarov ., I. Nikiforov ., N. Voinov ., I. Selin ., П. Дробинцев Д., В. Котляров П., И. Никифоров В., Н. Воинов В., И. Селин А. (2018) “Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования // Conversion of abstract behavioral scenarios into scenarios applicable for testing” / spz:neicon:ispranproceedings:y:2016:i:3:p:145-160
  368. M. Petrochenkov ., I. Stotland ., R. Mushtakov ., М. Петроченков В., И. Стотланд А., Р. Муштаков Е. (2018) “Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров // Approaches to Stand-alone Verification of Multicore Microprocessor Caches” / spz:neicon:ispranproceedings:y:2016:i:3:p:161-172
  369. E. Ilchenko A., Е. Ильченко А. (2018) “Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере // Tools of mathematical service MathPartner for parallel computations on a cluster” / spz:neicon:ispranproceedings:y:2016:i:3:p:173-188
  370. V. Kuliamin V., E. Lavrischeva M., V. Mutilin S., A. Petrenko K., В. Кулямин В., Е. Лаврищева М., В. Мутилин С., А. Петренко К. (2018) “Верификация и анализ вариабельных операционных систем // Verification and analysis of variable operating systems” / spz:neicon:ispranproceedings:y:2016:i:3:p:189-208
  371. Artyom Topchyan, А. Топчян Р. (2018) “Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях // Enabling Data Driven Projects for a Modern Enterprise” / spz:neicon:ispranproceedings:y:2016:i:3:p:209-230
  372. S. Avdoshin M., A. Lazarenko V., С. Авдошин М., А. Лазаренко В. (2018) “Система деанонимизации пользователей теневого интернета // Deep Web Users Deanonimization System” / spz:neicon:ispranproceedings:y:2016:i:3:p:21-34
  373. V. Yudin N., L. Karpov E., V. Abramov Y., В. Юдин Н., Л. Карпов Е., В. Абрамов Ю. (2018) “Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта // Feature’s types and their role in differentiating classes for estimation of not fully described object” / spz:neicon:ispranproceedings:y:2016:i:3:p:231-240
  374. Y. Rumyanstev A., P. Zakharov N., N. Abrashitova A., A. Shmatok V., V. Ryzhikh O., N. Gudimchuk B., F. Ataullakhanov I., Ю. Румянцев А., П. Захаров Н., Н. Абрашитова А., А. Шматок В., В. Рыжих О., Н. Гудимчук Б., Ф. Атауллаханов И. (2018) “Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики // PGA HPC Implementation of Microtubule Brownian Dynamics Simulations” / spz:neicon:ispranproceedings:y:2016:i:3:p:241-266
  375. M. Kraposhin V., М. Крапошин В. (2018) “Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред // Study of capabilities of hybrid scheme for advection terms approximation in mathematical models of compressible flows” / spz:neicon:ispranproceedings:y:2016:i:3:p:267-326
  376. P. Oleynik P., S. Salibekyan M., П. Олейник П., С. Салибекян М. (2018) “Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений // Model of security for object-oriented and object-attributed applications” / spz:neicon:ispranproceedings:y:2016:i:3:p:35-50
  377. A. Kiryantsev S., I. Stefanova A., А. Кирьянцев С., И. Стефанова А. (2018) “Генерация динамических ключей и подписей с зависимостью от времени // Dynamic key generation according to the starting time” / spz:neicon:ispranproceedings:y:2016:i:3:p:51-64
  378. D. Samokhvalov I., L. Dworzanski W., Д. Самохвалов И., Л. Дворянский В. (2018) “Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram // Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform” / spz:neicon:ispranproceedings:y:2016:i:3:p:65-84
  379. E. Glukhoded A., S. Smetanin I., Е. Глуходед А., С. Сметанин И. (2018) “Метод представления мнений экспертов в виде Z-чисел // The Method of Converting an Expert Opinion to Z-number” / spz:neicon:ispranproceedings:y:2016:i:3:p:7-20
  380. K. Davydova V., S. Shershakov A., К. Давыдова В., С. Шершаков А. (2018) “Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий // Mining Hierarchical UML Sequence Diagrams from Event Logs of SOA Systems while Balancing between Abstracted and Detailed Models” / spz:neicon:ispranproceedings:y:2016:i:3:p:85-102
  381. V. Ermakova O., I. Lomazova A., В. Ермакова О., И. Ломазова А. (2018) “Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток // Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification” / spz:neicon:ispranproceedings:y:2016:i:4:p:115-136
  382. A. Fedotov N., А. Федотов Н. (2018) “Метод оценки эксплуатируемости программных дефектов // Method for exploitability estimation of program bugs” / spz:neicon:ispranproceedings:y:2016:i:4:p:137-148
  383. I. Dudina ., V. Koshelev ., A. Borodin ., И. Дудина А., В. Кошелев К., А. Бородин Е. (2018) “Поиск ошибок доступа к буферу в программах на языке C/C++ // Statically detecting buffer overflows in C/C++” / spz:neicon:ispranproceedings:y:2016:i:4:p:149-168
  384. A. Monakov V., V. Ivanishin A., А. Монаков В., В. Иванишин А. (2018) “Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC // Implementing OpenMP 4.0 for the NVIDIA PTX architecture in GCC compiler” / spz:neicon:ispranproceedings:y:2016:i:4:p:169-182
  385. V. Yudin N., L. Karpov E., В. Юдин Н., Л. Карпов Е. (2018) “Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению // Model of spontaneously changing object behavior in case control approach” / spz:neicon:ispranproceedings:y:2016:i:4:p:183-192
  386. R. Guralnik I., Р. Гуральник И. (2018) “Некоторые задачи на графовых базах данных // Some problems on graph databases” / spz:neicon:ispranproceedings:y:2016:i:4:p:193-216
  387. E. Sharygin Y., R. Buchatskiy A., L. Skvortsov V., R. Zhuykov A., D. Melnik M., Е. Шарыгин Ю., Р. Бучацкий А., Л. Скворцов В., Р. Жуйков А., Д. Мельник М. (2018) “Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL // Dynamic compilation of expressions in SQL queries for PostgreSQL” / spz:neicon:ispranproceedings:y:2016:i:4:p:217-240
  388. K. Kazakov A., V. Semenov A., К. Казаков А., В. Семенов А. (2018) “Обзор современных методов планирования движения // An overview of modern methods for motion planning” / spz:neicon:ispranproceedings:y:2016:i:4:p:241-294
  389. Artyom Topchyan, А. Топчян Р. (2018) “Масштабируемые учебно-экспериментальные среды для современных предприятий // Scalable Sandbox Environments for a Modern Organization” / spz:neicon:ispranproceedings:y:2016:i:4:p:29-40
  390. M. Lebedev S., S. Smolov A., М. Лебедев С., С. Смолов А. (2018) “Генерация функциональных тестов для HDL-описаний на основе проверки моделей // A Model Checking-Based Method of Functional Test Generation for HDL Descriptions” / spz:neicon:ispranproceedings:y:2016:i:4:p:41-56
  391. V. Burenkov S., A. Kamkin S., В. Буренков С., А. Камкин С. (2018) “Проверка параметризованных Promela-моделей протоколов когерентности памяти // Checking Parameterized Promela Models of Cache Coherence Protocols” / spz:neicon:ispranproceedings:y:2016:i:4:p:57-76
  392. Artyom Topchyan, А. Топчян Р. (2018) “Извлечение и анализ информации в современных предприятиях // Information Retrieval and Analysis for a Modern Organization” / spz:neicon:ispranproceedings:y:2016:i:4:p:7-28
  393. A. Tatarnikov D., А. Татарников Д. (2018) “Язык описания шаблонов для генерации тестовых программ для микропроцессоров // Language for Describing Templates for Test Program Generation for Microprocessors” / spz:neicon:ispranproceedings:y:2016:i:4:p:77-98
  394. A. Kamkin S., A. Kotsynyak M., А. Камкин С., А. Коцыняк М. (2018) “Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций // Specification-Based Test Program Generation for MIPS64 Memory Management Units” / spz:neicon:ispranproceedings:y:2016:i:4:p:99-114
  395. V. Koshelev K., В. Кошелев К. (2018) “Формализация определения ошибок при статическом символьном выполнении // Formalization of Error Criteria for static symbolic execution” / spz:neicon:ispranproceedings:y:2016:i:5:p:105-118
  396. N. Belov A., Н. Белов А. (2018) “Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции // Automatic uninitialized value usage detection during full-system emulation” / spz:neicon:ispranproceedings:y:2016:i:5:p:11-26
  397. I. Dudina ., И. Дудина А. (2018) “Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа // Inter-procedural buffer overflows detection in C/C++ source code via static analysis” / spz:neicon:ispranproceedings:y:2016:i:5:p:119-134
  398. V. Kaushan V., В. Каушан В. (2018) “Поиск ошибок выхода за границы буфера в бинарном коде программ // Buffer overrun detection method in binary code” / spz:neicon:ispranproceedings:y:2016:i:5:p:135-144
  399. R. Mulyukov R., A. Borodin E., Р. Мулюков Р., А. Бородин Е. (2018) “Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ // Using unreachable code analysis in static analysis tool for finding defects in source code” / spz:neicon:ispranproceedings:y:2016:i:5:p:145-158
  400. A. Gerasimov Y., L. Kruglov V., А. Герасимов Ю., Л. Круглов В. (2018) “Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа // Input data generation for reaching specific function in program by iterative dynamic analysis” / spz:neicon:ispranproceedings:y:2016:i:5:p:159-174
  401. K. Dolgorukova ., S. Arishin ., К. Долгорукова Ю., С. Аришин В. (2018) “Ускорение оптимизации программ во время связывания // Link-time optimization speedup” / spz:neicon:ispranproceedings:y:2016:i:5:p:175-198
  402. K. Batuzov A., К. Батузов А. (2018) “Задача глобального распределения регистров во время динамической двоичной трансляции // Global register allocation during dynamic binary translation” / spz:neicon:ispranproceedings:y:2016:i:5:p:199-214
  403. H. Aslanyan K., S. Kurmangaleev F., V. Vardanyan G., M. Arutunian S., S. Sargsyan S., А. Асланян К., Ш. Курмангалеев Ф., В. Варданян Г., М. Арутюнян С., С. Саргсян С. (2018) “Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах // Platform-independent and scalable tool for binary code clone detection” / spz:neicon:ispranproceedings:y:2016:i:5:p:215-226
  404. I. Yakimov A., A. Kuznetsov S., И. Якимов А., А. Кузнецов С. (2018) “Оптимизация читаемости тестов порождаемых при символьных вычислениях // Test Readability Optimization in Context of Symbolic Execution” / spz:neicon:ispranproceedings:y:2016:i:5:p:227-238
  405. A. Hmelnov Y., I. Bychkov V., A. Mikhailov A., А. Хмельнов Е., И. Бычков В., А. Михайлов А. (2018) “Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных // A declarative language FlexT for analysis and documenting of binary data formats” / spz:neicon:ispranproceedings:y:2016:i:5:p:239-268
  406. A. Kogtenkov V., А. Когтенков В. (2018) “Автоматическое доказательство безопасности локальных пустых указателей // Mechanically Proved Practical Local Null Safety” / spz:neicon:ispranproceedings:y:2016:i:5:p:27-54
  407. Pavel Dovgalyuk, Vladimir Makarov, Павел Довгалюк, Владимир Макаров (2018) “Когда защита стека в компиляторах не срабатывает? // When stack protection does not protect the stack?” / spz:neicon:ispranproceedings:y:2016:i:5:p:55-72
  408. A. Fedotov N., V. Padaryan A., V. Kaushan V., Sh. Kurmangaleev F., A. Vishnyakov V., A. Nurmukhametov R., А. Федотов Н., В. Падарян А., В. Каушан В., Ш. Курмангалеев Ф., А. Вишняков В., А. Нурмухаметов Р. (2018) “Оценка критичности программных дефектов в условиях работы современных защитных механизмов // Software defect severity estimation in presence of modern defense mechanisms” / spz:neicon:ispranproceedings:y:2016:i:5:p:73-92
  409. A. Avetisyan I., А. Аветисян И. (2018) “Предисловие // Preface” / spz:neicon:ispranproceedings:y:2016:i:5:p:9-10
  410. A. Nurmukhametov R., А. Нурмухаметов Р. (2018) “Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода // The Application of Compiler-based Obfuscation and Diversification for Program Signature Modification” / spz:neicon:ispranproceedings:y:2016:i:5:p:93-104
  411. A. Get'man I., Yu. Markin V., D. Obydenkov O., V. Padaryan A., A. Tikhonov Yu., А. Гетьман И., Ю. Маркин В., Д. Обыденков О., В. Падарян А., А. Тихонов Ю. (2018) “Подходы к представлению результатов анализа сетевого трафика // OF PRESENTING THE RESULTS OF NETWORK TRAFFIC ANALYSIS” / spz:neicon:ispranproceedings:y:2016:i:6:p:103-110
  412. M. Klimushenkova A., M. Bakulin G., V. Padaryan A., P. Dovgalyuk M., N. Fursova I., I. Vasiliev A., М. Климушенкова А., М. Бакулин Г., В. Падарян А., П. Довгалюк М., Н. Фурсова И., И. Васильев А. (2018) “О некоторых ограничениях полносистемного анализа помеченных данных « // On Some Limitations of Information Flow Tracking in Full-system Emulators” / spz:neicon:ispranproceedings:y:2016:i:6:p:11-26
  413. O. Borisenko ., R. Pastukhov ., S. Kuznetsov ., О. Борисенко Д., Р. Пастухов К., С. Кузнецов Д. (2018) “Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации // Deploying Apache Spark virtual clusters in cloud environments using orchestration technologies” / spz:neicon:ispranproceedings:y:2016:i:6:p:111-120
  414. Renzo Massobrio, Sergio Nesmachnow, Andrei Tchernykh, Arutyun Avetisyan, Gleb Radchenko, Рензо Массобрио, Серхио Несмачнов, Андрей Черных, Арутюн Аветисян, Глеб Радченко (2018) “Применение облачных вычислений для анализа данных большого объема в умных городах // Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities” / spz:neicon:ispranproceedings:y:2016:i:6:p:121-140
  415. D. Ignatov Yu., A. Filippov N., A. Ignatov D., X. Zhang ., Д. Игнатов Ю., А. Филиппов Н., А. Игнатов Д., С. Чжан . (2018) “Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей // Automatic Analysis, Decomposition and Parallel Optimization of Large Homogeneous Networks” / spz:neicon:ispranproceedings:y:2016:i:6:p:141-152
  416. Mikhail Drobyshevskiy, Anton Korshunov, Denis Turdakov, Михаил Дробышевский, Антон Коршунов, Денис Турдаков (2018) “Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами // Parallel modularity computation for directed weighted graphs with overlapping communities” / spz:neicon:ispranproceedings:y:2016:i:6:p:153-170
  417. A. Gomzin G., S. Kuznetsov D., А. Гомзин Г., С. Кузнецов Д. (2018) “Метод автоматического определения возраста пользователей с помощью социальных связей // A method of automatically estimating user age using social connections” / spz:neicon:ispranproceedings:y:2016:i:6:p:171-184
  418. Y. Trofimovich S., I. Kozlov S., D. Turdakov Y., Ю. Трофимович С., И. Козлов С., Д. Турдаков Ю. (2018) “Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа // Approaches to estimate location of social network users based on social graph” / spz:neicon:ispranproceedings:y:2016:i:6:p:185-196
  419. D. Ustalov A., Д. Усталов А. (2018) “Применение словарей и векторов слов для автоматического построения лексической онтологии // Joining Dictionaries and Word Embeddings for Ontology Induction” / spz:neicon:ispranproceedings:y:2016:i:6:p:197-206
  420. I. Alimova S., V. Solovyev D., I. Batyrshin Z., И. Алимова С., В. Соловьев Д., И. Батыршин З. (2018) “Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов // Comparative analysis of the similarity measures based on the moving approximation transformation in problems of time series classification” / spz:neicon:ispranproceedings:y:2016:i:6:p:207-222
  421. D. Mashkin O., E. Kotelnikov V., Д. Машкин О., Е. Котельников В. (2018) “Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов // Aspect term extraction based on word embedding” / spz:neicon:ispranproceedings:y:2016:i:6:p:223-240
  422. A. Vishnyakov V., А. Вишняков В. (2018) “Классификация ROP гаджетов // Classification of ROP gadgets” / spz:neicon:ispranproceedings:y:2016:i:6:p:27-36
  423. R. Buchatskiy A., E. Sharygin Y., L. Skvortsov V., R. Zhuykov A., D. Melnik M., R. Baev V., Р. Бучацкий А., Е. Шарыгин Ю., Л. Скворцов В., Р. Жуйков А., Д. Мельник М., Р. Баев В. (2018) “Динамическая компиляция SQL-запросов для СУБД PostgreSQL // Dynamic compilation of SQL queries for PostgreSQL” / spz:neicon:ispranproceedings:y:2016:i:6:p:37-48
  424. K. Lavrischeva M., A. Petrenko K., Е. Лаврищева М., А. Петренко К. (2018) “Моделирование семейств программных систем // Software Product Lines Modeling” / spz:neicon:ispranproceedings:y:2016:i:6:p:49-64
  425. P. Andrianov S., V. Mutilin S., A. Khoroshilov V., П. Андрианов С., В. Мутилин С., А. Хорошилов В. (2018) “Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций // Adjustable method with predicate abstraction for detection of race conditions in operating systems” / spz:neicon:ispranproceedings:y:2016:i:6:p:65-86
  426. A. Kamkin S., A. Kotsynyak M., A. Protsenko S., A. Tatarnikov D., M. Chupilko M., А. Камкин С., А. Коцыняк М., А. Проценко С., А. Татарников Д., М. Чупилко М. (2018) “Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK // MicroTESK-Based Test Program Generator for the ARMv8 Architecture” / spz:neicon:ispranproceedings:y:2016:i:6:p:87-102
  427. A. Avetisyan I., А. Аветисян И. (2018) “Предисловие // Foreword” / spz:neicon:ispranproceedings:y:2016:i:6:p:9-10
  428. A. Nuriev N., A. Yunusova I., O. Zaitseva N., А. Нуриев Н., А. Юнусова И., О. Зайцева Н. (2018) “Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM // Simulation of the wedge-shaped vibration-driven robot motion in the viscous fluid forced by different laws of internal mass movement in the package OpenFOAM” / spz:neicon:ispranproceedings:y:2017:i:1:p:101-118
  429. M. Ermakov K., A. Gerasimov Y., D. Kutz O., A. Novikov A., М. Ермаков К., А. Герасимов Ю., Д. Куц О., А. Новиков А. (2018) “Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя // Applying iterative dynamic analysis to programs with graphical user interface” / spz:neicon:ispranproceedings:y:2017:i:1:p:119-134
  430. S. Vartanov P., M. Ermakov K., A. Gerasimov Y., С. Вартанов П., М. Ермаков К., А. Герасимов Ю. (2018) “Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах // Applying dynamic analysis to programs running in interpreted environments” / spz:neicon:ispranproceedings:y:2017:i:1:p:135-148
  431. S. Vartanov P., A. Gerasimov Y., M. Ermakov K., D. Kutz O., A. Novikov A., С. Вартанов П., А. Герасимов Ю., М. Ермаков К., Д. Куц О., А. Новиков А. (2018) “Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения // Dynamic analysis of programs with graphical user interface based on symbolic execution” / spz:neicon:ispranproceedings:y:2017:i:1:p:149-166
  432. A. Tatarnikov D., А. Татарников Д. (2018) “Обзор методов и средств генерации тестовых программ для микропроцессоров // A Survey of Methods and Tools for Test Program Generation for Microprocessors” / spz:neicon:ispranproceedings:y:2017:i:1:p:167-194
  433. M. Mandrykin U., V. Mutilin S., М. Мандрыкин У., В. Мутилин С. (2018) “Обзор подходов к моделированию памяти в инструментах статической верификации // Survey of memory modeling methods in static verification tools” / spz:neicon:ispranproceedings:y:2017:i:1:p:195-230
  434. M. Kalugin ., I. Evdokimov ., М. Калугин Д., И. Евдокимов Е. (2018) “Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах // Numerical study of characteristic modes and frequencies of flow in high-speed compressors” / spz:neicon:ispranproceedings:y:2017:i:1:p:21-38
  435. R. Samarev S., Р. Самарев С. (2018) “Обзор состояния области потоковой обработки данных // Survey of streaming processing field” / spz:neicon:ispranproceedings:y:2017:i:1:p:231-260
  436. P. Lukashin S., S. Strijhak V., G. Shcheglov A., П. Лукашин С., С. Стрижак В., Г. Щеглов А. (2018) “Тестирование возможностей открытого кода BEM++ по решению задач акустики // Validation of open source code BEM++ for simulation of acoustic problems” / spz:neicon:ispranproceedings:y:2017:i:1:p:39-52
  437. V. Melnikova G., O. Kotsur S., G. Shcheglov A., В. Мельникова Г., О. Коцур С., Г. Щеглов А. (2018) “Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM // Numerical simulation of the flow rate regulator valve using OpenFOAM” / spz:neicon:ispranproceedings:y:2017:i:1:p:53-70
  438. N. Dimitrieva F., Н. Димитриева Ф. (2018) “Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM // The numerical solution of the problem of stratified fluid flow around a wedge using OpenFOAM” / spz:neicon:ispranproceedings:y:2017:i:1:p:7-20
  439. V. Puzikova ., В. Пузикова В. (2018) “Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей // The LS-STAG Immersed Boundary Method Modification for Viscoelastic Flow Computations” / spz:neicon:ispranproceedings:y:2017:i:1:p:71-84
  440. D. Romanova I., Д. Романова И. (2018) “Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM // 3D avalanche flow modeling using OpenFOAM” / spz:neicon:ispranproceedings:y:2017:i:1:p:85-100
  441. S. Kuznetsov D., С. Кузнецов Д. (2018) “Управление данными: 25 лет прогнозов // Data Management: 25 Years of Forecasts” / spz:neicon:ispranproceedings:y:2017:i:2:p:117-160
  442. P. Parhomenko A., A. Grigorev A., N. Astrakhantsev A., П. Пархоменко А., А. Григорьев А., Н. Астраханцев А. (2018) “Обзор и экспериментальное сравнение методов кластеризации текстов // A survey and an experimental comparison of methods for text clustering: application to scientific articles” / spz:neicon:ispranproceedings:y:2017:i:2:p:161-200
  443. C. Leyton-Pavez E., J. Redondo M., A. Tarquis-Alfonso M., J. Gil-Martín C., J. Tellez-Alvarez D., К. Лейтон-Павес Е., Х. Редондо М., А. Таркус-Альфонсо М., Х. Джил-Мартин К., Дж. Теллес-Альварес Д. (2018) “Фрактальный анализ растущих городов и его взаимосвязь с распределением центров здоровья // Fractal Analysis of Growing Cities and its Relationship with Health Centre Distribution” / spz:neicon:ispranproceedings:y:2017:i:2:p:201-214
  444. J. Redondo M., J. Tellez D., J. Sanchez M., Х. Редондо М., Дж. Теллес-Альварес Д., Х. Санчес М. (2018) “Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве // Turbulent convection by thermoelectricity in a cooling-heating didactive device” / spz:neicon:ispranproceedings:y:2017:i:2:p:215-230
  445. A. Anichkin S., V. Semenov A., А. Аничкин С., В. Семенов А. (2018) “Математическая формализация задач проектного планирования в расширенной постановке // Mathematical formalization of project scheduling problems” / spz:neicon:ispranproceedings:y:2017:i:2:p:231-256
  446. I. Burdonov B., A. Kossatchev S., И. Бурдонов Б., А. Косачев С. (2018) “Общий подход к решению задач на графах коллективом автоматов // A general approach to solving problems on graphs by collective automata” / spz:neicon:ispranproceedings:y:2017:i:2:p:27-76
  447. I. Burdonov B., A. Kossatchev S., И. Бурдонов Б., А. Косачев С. (2018) “Размер памяти для хранения упорядоченного корневого графа // Size of the memory for storage of ordered rooted graph” / spz:neicon:ispranproceedings:y:2017:i:2:p:7-26
  448. E. Novikov M., Е. Новиков М. (2018) “Развитие ядра операционной системы Linux // Evolution of the Linux kernel” / spz:neicon:ispranproceedings:y:2017:i:2:p:77-96
  449. E. Novikov M., Е. Новиков М. (2018) “Возможности статической верификации монолитного ядра операционных систем // Static verification of operating system monolithic kernels” / spz:neicon:ispranproceedings:y:2017:i:2:p:97-116
  450. A. Ge’Tman I., Yu. Markin V., E. Evstropov F., D. Obydenkov O., А. Гетьман И., Ю. Маркин В., Е. Евстропов Ф., Д. Обыденков О. (2018) “Обзор задач и методов их решения в области классификации сетевого трафика« // A survey of problems and solution methods in network traffic classification” / spz:neicon:ispranproceedings:y:2017:i:3:p:117-150
  451. V. Mordan O., В. Мордань О. (2018) “Комбинация методов статической верификации композиции требований // Combination of static verification methods for checking requirements composition” / spz:neicon:ispranproceedings:y:2017:i:3:p:151-170
  452. A. Kozachok V., E. Kochetkov V., А. Козачок В., Е. Кочетков В. (2018) “Комплекс алгоритмов функционирования системы безопасного исполнения программного кода // Secure code execution system operation algorithm” / spz:neicon:ispranproceedings:y:2017:i:3:p:17-30
  453. Yu. Solodelov A., N. Gorelits K., Ю. Солоделов А., Н. Горелиц К. (2018) “Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов // Certifiable onboard real-time operation system JetOS for Russian aircrafts design” / spz:neicon:ispranproceedings:y:2017:i:3:p:171-178
  454. E. Sharygin Y., R. Buchatskiy A., Е. Шарыгин Ю., Р. Бучацкий А. (2018) “Обзор методов динамической компиляции запросов // Survey of Just-in-Time Query Compilation Methods” / spz:neicon:ispranproceedings:y:2017:i:3:p:179-224
  455. Nikolay Kuzyurin N., Н. Кузюрин Н. (2018) “О задаче приближенного нахождения максимальной двудольной клики // On the problem of finding approximation of bipatite cliques” / spz:neicon:ispranproceedings:y:2017:i:3:p:225-232
  456. A. Sotnikov P., N. Shabaldina V., M. Gromov L., А. Сотников П., Н. Шабалдина В., М. Громов Л. (2018) “Эксперименты по построению параллельной композиции временных автоматов // Experiments on Parallel Composition of Timed Finite State Machines” / spz:neicon:ispranproceedings:y:2017:i:3:p:233-246
  457. A. Anichkin S., V. Semenov A., А. Аничкин С., В. Семенов А. (2018) “Объектно-ориентированный каркас для программной реализации приложений теории расписаний // Object-oriented framework for software development of scheduling applications” / spz:neicon:ispranproceedings:y:2017:i:3:p:247-296
  458. V. Padaryan A., В. Падарян А. (2018) “О представлении результатов обратной инженерии бинарного кода // On representation used in the binary code reverse engineering” / spz:neicon:ispranproceedings:y:2017:i:3:p:31-42
  459. A. Khoroshilov V., I. Shchepetkov V., А. Хорошилов В., И. Щепетков В. (2018) “ADV_SPM - Формальные модели политики безопасности на практике // ADV_SPM - Formal security policy models in practice” / spz:neicon:ispranproceedings:y:2017:i:3:p:43-56
  460. A. Merkulov P., S. Polyakov A., A. Belevantsev A., А. Меркулов П., С. Поляков А., А. Белеванцев А. (2018) “Анализ программ на языке Java в инструменте Svace // Supporting Java programming in the Svace static analyzer” / spz:neicon:ispranproceedings:y:2017:i:3:p:57-74
  461. P. Devyanin N., П. Девянин Н. (2018) “О проблеме представления формальной модели политики безопасности операционных систем // On the problem of representation of the formal model of security policy for operating systems” / spz:neicon:ispranproceedings:y:2017:i:3:p:7-16
  462. A. Gerasimov Y., А. Герасимов Ю. (2018) “Обзор подходов к улучшению качества результатов статического анализа программ // Survey on static program analysis results refinement approaches” / spz:neicon:ispranproceedings:y:2017:i:3:p:75-98
  463. M. Belyaev V., N. Shimchik V., V. Ignatyev N., A. Belevantsev A., М. Беляев В., Н. Шимчик В., В. Игнатьев Н., А. Белеванцев А. (2018) “Сравнительный анализ двух подходов к статическому анализу помеченных данных // Comparative analysis of two approaches to the static taint analysis” / spz:neicon:ispranproceedings:y:2017:i:3:p:99-116
  464. M. Gordenko K., S. Avdoshin M., М. Горденко К., С. Авдошин М. (2018) “Смешанная задача китайского почтальона // The Mixed Chinese Postman Problem” / spz:neicon:ispranproceedings:y:2017:i:4:p:107-122
  465. S. Avdoshin M., E. Beresneva N., С. Авдошин М., Е. Береснева Н. (2018) “Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов // The Metric Travelling Salesman Problem: The Experiment on Pareto-optimal Algorithms” / spz:neicon:ispranproceedings:y:2017:i:4:p:123-138
  466. A. Tvardovskii S., N. Yevtushenko V., M. Gromov L., А. Твардовский С., Н. Евтушенко В., М. Громов Л. (2018) “Минимизация автоматов с таймаутами и временными ограничениями // Minimizing Finite State Machines with time guards and timeouts” / spz:neicon:ispranproceedings:y:2017:i:4:p:139-154
  467. K. Davydova V., S. Shershakov A., К. Давыдова В., С. Шершаков А. (2018) “Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой // Mining Hybrid UML Models from Event Logs of SOA Systems” / spz:neicon:ispranproceedings:y:2017:i:4:p:155-174
  468. L. Dworzanski V., V. Mikhaylov E., Л. Дворянский В., В. Михайлов Е. (2018) “Инструмент для анализа поведения вполне структурированных систем переходов // Tool for Behavioral Analysis of Well-Structured Transition Systems” / spz:neicon:ispranproceedings:y:2017:i:4:p:175-190
  469. A. Karnov A., S. Zelenov V., А. Карнов А., С. Зеленов В. (2018) “Cтохастические методы анализа комплексных программно-аппаратных систем // Stochastic Methods for Analysis of Complex Hardware-Software Systems” / spz:neicon:ispranproceedings:y:2017:i:4:p:191-202
  470. A. Volkov R., M. Mandrykin U., А. Волков Р., М. Мандрыкин У. (2018) “Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области // Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions” / spz:neicon:ispranproceedings:y:2017:i:4:p:203-216
  471. R. Nesterov A., I. Lomazova A., Р. Нестеров А., И. Ломазова А. (2018) “Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов // Using Interface Patterns for Compositional Discovery of Distributed System Models” / spz:neicon:ispranproceedings:y:2017:i:4:p:21-38
  472. S. Kozin V., V. Mutilin S., С. Козин В., В. Мутилин С. (2018) “Статическая верификация конфигураций ядра Linux // Static Verification of Linux Kernel Configurations” / spz:neicon:ispranproceedings:y:2017:i:4:p:217-230
  473. V. Burenkov S., В. Буренков С. (2018) “Методика параметризованной верификации протоколов когерентности памяти // A Technique for Parameterized Verification of Cache Coherence Protocols” / spz:neicon:ispranproceedings:y:2017:i:4:p:231-246
  474. M. Chupilko M., A. Kamkin S., M. Lebedev S., S. Smolov A., М. Чупилко М., А. Камкин С., М. Лебедев С., С. Смолов А. (2018) “Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей // Test Generation for Digital Hardware Based on High-Level Models” / spz:neicon:ispranproceedings:y:2017:i:4:p:247-256
  475. M. Petrochenkov V., R. Mushtakov E., I. Stotland A., М. Петроченков В., Р. Муштаков Е., И. Стотланд А. (2018) “Верификация контроллеров 10 гигабитного Ethernet // Verification of 10 Gigabit Ethernet controllers” / spz:neicon:ispranproceedings:y:2017:i:4:p:257-268
  476. O. Moskaleva, A. Gromova, О. Москалёва, А. Громова (2018) “Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения // Creating Test Data for Market Surveillance Systems with Embedded Machine Learning Algorithms” / spz:neicon:ispranproceedings:y:2017:i:4:p:269-282
  477. K. Mallachiev A., N. Pakulin V., A. Khoroshilov V., D. Buzdalov V., К. Маллачиев А., Н. Пакулин В., А. Хорошилов В., Д. Буздалов В. (2018) “Использование модульного подхода во встраиваемых операционных системах // Using modularization in embedded OS” / spz:neicon:ispranproceedings:y:2017:i:4:p:283-294
  478. A. Emelenko N., K. Mallachiev A., N. Pakulin V., А. Емеленко Н., К. Маллачиев А., Н. Пакулин В. (2018) “Отладчик для операционной системы реального времени: проблемы мультиплатформенности // Debugger for Real-Time OS: Challenges of Multiplatform Support” / spz:neicon:ispranproceedings:y:2017:i:4:p:295-302
  479. L. Kanteev D., Yu. Kostyukov O., D. Luciv V., D. Koznov V., M. Smirnov N., Л. Кантеев Д., Ю. Костюков О., Д. Луцив В., Д. Кознов В., М. Смирнов Н. (2018) “Обнаружение неточно повторяющегося текста в документации программного обеспечения // Discovering Near Duplicate Text in Software Documentation” / spz:neicon:ispranproceedings:y:2017:i:4:p:303-314
  480. S. Smetanin I., С. Сметанин И. (2018) “Программа для мониторинга общественных настроений в России на основе сообщений из Twitter // The Program for Public Mood Monitoring through Twitter Content in Russia” / spz:neicon:ispranproceedings:y:2017:i:4:p:315-324
  481. I. Dolgaleva I., I. Gorshkov A., R. Yavorsky E., И. Долгалева И., И. Горшков А., Р. Яворский Э. (2018) “Narrabat - прототип сервиса для пересказа новостей в формате стихотворений // Narrabat - a Prototype Service for Stylish News Retelling” / spz:neicon:ispranproceedings:y:2017:i:4:p:325-336
  482. A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, S. Ebersold, А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль (2018) “Контрактный метод спецификации реактивных требований // A contract-based method to specify stimulus-response requirements” / spz:neicon:ispranproceedings:y:2017:i:4:p:39-54
  483. D. Bashkirova R., S. Yoshizawa, R. Latypov H., H. Yokota, Д. Башкирова Р., Ш. Йошидзава, Р. Латыпов Х., Х. Йокота (2018) “Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ // Fast L1 Gauss Transforms for Edge-Aware Image Filtering” / spz:neicon:ispranproceedings:y:2017:i:4:p:55-72
  484. N. Viuginov Y., V. Fondaratov S., Н. Вьюгинов Ю., В. Фондаратов С. (2018) “Автоматизированная генерация типовых контрактов для языка Ruby // Automated Type Contracts Generation in Ruby” / spz:neicon:ispranproceedings:y:2017:i:4:p:7-20
  485. A. Kornilova V., I. Kirilenko A., N. Zabelina I., А. Корнилова В., Я. Кириленко А., Н. Забелина И. (2018) “Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков // Real-time digital video stabilization using MEMS-sensors” / spz:neicon:ispranproceedings:y:2017:i:4:p:73-86
  486. A. Gimaletdinova R., K. Degtiarev Y., А. Гималетдинова Р., К. Дегтярев Ю. (2018) “Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа // Type-2 Fuzzy Rule-Based Model of Urban Metro Positioning Service” / spz:neicon:ispranproceedings:y:2017:i:4:p:87-106
  487. A. Gerasimov Y., L. Kruglov V., M. Ermakov K., S. Vartanov P., А. Герасимов Ю., Л. Круглов В., М. Ермаков К., С. Вартанов П. (2018) “Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения // An approach of reachability determination for static analysis defects with help of dynamic symbolic execution” / spz:neicon:ispranproceedings:y:2017:i:5:p:111-134
  488. A. Kozachok V., А. Козачок В. (2018) “Логика первого порядка для задания требований к безопасному программному коду // First order logic to set requirements for secure code execution” / spz:neicon:ispranproceedings:y:2017:i:5:p:135-148
  489. A. Podkopaev V., O. Lahav, V. Vafeiadis, А. Подкопаев В., О. Лахав, В. Вафеядис (2018) “Обещающая компиляция в ARMv8.3 // Promising Compilation to ARMv8.3” / spz:neicon:ispranproceedings:y:2017:i:5:p:149-164
  490. A. Legalov I., V. Vasilyev S., I. Matkovskii V., M. Ushakova S., А. Легалов И., В. Васильев С., И. Матковский В., М. Ушакова С. (2018) “Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ // Support tools for creation and transformation of functional-dataflow parallel programs” / spz:neicon:ispranproceedings:y:2017:i:5:p:165-184
  491. K. Kazakov A., V. Semenov A., К. Казаков А., В. Семенов А. (2018) “Объектно-ориентированная среда для разработки приложений планирования движения // Object-oriented framework for motion planning in complex dynamic environments” / spz:neicon:ispranproceedings:y:2017:i:5:p:185-238
  492. S. Semenkovich A., O. Kolekonova I., K. Degtiarev Y., С. Семенкович А., О. Колеконова И., К. Дегтярев Ю. (2018) “Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики // A Modified Scrum Story Points Estimation Method Based on Fuzzy Logic Approach” / spz:neicon:ispranproceedings:y:2017:i:5:p:19-38
  493. A. Anichkin S., S. Morozov V., V. Semenov A., O. Tarlapan A., А. Аничкин С., С. Морозов В., В. Семенов А., О. Тарлапан А. (2018) “Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса // Evolutionary development of a visual planning system using object-oriented framework” / spz:neicon:ispranproceedings:y:2017:i:5:p:239-256
  494. S. Zelenov V., S. Zelenova A., С. Зеленов В., С. Зеленова А. (2018) “Моделирование программно-аппаратных систем и анализ их безопасности // Modeling and Risk Analysis of Hardware-Software Systems” / spz:neicon:ispranproceedings:y:2017:i:5:p:257-282
  495. I. Burdonov, A. Kossatchev, A. Sortov, И. Бурдонов, А. Косачев, А. Сортов (2018) “Распределённые алгоритмы на корневых неориентированных графах // Distributed algorithms on rooted undirected graphs” / spz:neicon:ispranproceedings:y:2017:i:5:p:283-310
  496. A. Semakin N., А. Семакин Н. (2018) “Программное обеспечение для создания адаптивных сеток // Software for adaptive grid construction” / spz:neicon:ispranproceedings:y:2017:i:5:p:311-328
  497. A. Tsynaeva ., S. Razorenov ., V. Belaya ., А. Цынаева А., С. Разоренов Е., В. Белая В. (2018) “Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками // Numerical modeling of heat transfer of channel with shallow curly dimples” / spz:neicon:ispranproceedings:y:2017:i:5:p:329-344
  498. V. Sapozhnikov V., Vl. Sapozhnikov V., D. Efanov V., В. Сапожников В., Вл. Сапожников В., Д. Ефанов В. (2018) “Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем // Modified codes with weighted-transitions summation in concurrent error detection systems of combinational circuits” / spz:neicon:ispranproceedings:y:2017:i:5:p:39-60
  499. A. Matrosova Yu., S. Ostanin A., E. Nikolaeva A., А. Матросова Ю., С. Останин А., Е. Николаева А. (2018) “Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) // Partially Programmable Circuit Design Oriented to masking Trojan Circuits” / spz:neicon:ispranproceedings:y:2017:i:5:p:61-74
  500. A. Barabanov V., A. Lavrov I., A. Markov S., I. Polotnyanschikov A., V. Tsirlov L., А. Барабанов В., А. Лавров И., А. Марков С., И. Полотнянщиков А., В. Цирлов Л. (2018) “Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений // The Study into Cross-Site Request Forgery Attacks within the Framework of Analysis of Software Vulnerabilities” / spz:neicon:ispranproceedings:y:2017:i:5:p:7-18
  501. V. Nikiforov V., S. Baranov N., В. Никифоров В., С. Баранов Н. (2018) “Техника плоских схем для тестирования встроенных операционных систем // A Flat Chart Technique for Embedded OS Testing” / spz:neicon:ispranproceedings:y:2017:i:5:p:75-92
  502. E. Lavrischeva M., V. Mutilin S., A. Ryzhov G., Е. Лаврищева М., В. Мутилин С., А. Рыжов Г. (2018) “Проектирование моделей вариабельности для программных, операционных систем и их семейств // Designing variability models for software, operating systems and their families” / spz:neicon:ispranproceedings:y:2017:i:5:p:93-110
  503. A. Mikhailov A., A. Hmelnov E., А. Михайлов А., А. Хмельнов Е. (2018) “Декомпиляция объектных файлов *.dcuil // Delphi object files decompiler” / spz:neicon:ispranproceedings:y:2017:i:6:p:105-116
  504. I. Yakimov A., A. Kuznetsov S., И. Якимов А., А. Кузнецов С. (2018) “Поиск недостающих вызовов библиотечных функций с использованием машинного обучения” / spz:neicon:ispranproceedings:y:2017:i:6:p:117-134
  505. A. Kogtenkov V., А. Когтенков В. (2018) “Эталонные тесты безопасности нулевых ссылок при инициализации объекта // Null safety benchmarks for object initialization” / spz:neicon:ispranproceedings:y:2017:i:6:p:135-150
  506. A. Fedotov N., V. Kaushan V., S. Gaissaryan S., Sh. Kurmangaleev F., А. Федотов Н., В. Каушан В., С. Гайсарян С., Ш. Курмангалеев Ф. (2018) “Построение предикатов безопасности для некоторых типов программных дефектов // Building security predicates for some types of vulnerabilities” / spz:neicon:ispranproceedings:y:2017:i:6:p:151-162
  507. A. Nurmukhametov R., E. Zhabotinskiy A., Sh. Kurmangaleev F., S. Gaissaryan S., A. Vishnyakov V., А. Нурмухаметов Р., Е. Жаботинский А., Ш. Курмангалеев Ф., С. Гайсарян С., А. Вишняков В. (2018) “Мелкогранулярная рандомизация адресного пространства программы при запуске // Fine-grained address space layout randomization on program load” / spz:neicon:ispranproceedings:y:2017:i:6:p:163-182
  508. S. Zelenova A., S. Zelenov V., С. Зеленова А., С. Зеленов В. (2018) “Критерий существования бесконфликтного расписания для системы строго периодических задач” / spz:neicon:ispranproceedings:y:2017:i:6:p:183-202
  509. E. Axenova L., V. Shvetsova V., O. Borisenko D., I. Bogomolov V., Е. Аксенова Л., В. Швецова В., О. Борисенко Д., И. Богомолов В. (2018) “Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack // Openstack Keystone identification service drop-in replacement” / spz:neicon:ispranproceedings:y:2017:i:6:p:203-212
  510. N. Kuzyrin N., D. Lazarev O., Н. Кузюрин Н., Д. Лазарев О. (2018) “Исследование максимального размера плотного подграфа случайного графа // Analysis of size of the largest dense subgraph of random hypergraph” / spz:neicon:ispranproceedings:y:2017:i:6:p:213-220
  511. D. Lazarev O., N. Kuzyrin N., Д. Лазарев О., Н. Кузюрин Н. (2018) “Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем // An algorithm for Multiple Strip Package and its average case evaluation” / spz:neicon:ispranproceedings:y:2017:i:6:p:221-228
  512. D. Grushin A., N. Kuzjurin N., Д. Грушин А., Н. Кузюрин Н. (2018) “Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах // Optimization problems running MPI-based HPC applications” / spz:neicon:ispranproceedings:y:2017:i:6:p:229-244
  513. M. Nikitin N., М. Никитин Н. (2018) “Моделирование смешанной конвекции над горизонтальной пластиной // Simulation of mixed convection over horizontal plate” / spz:neicon:ispranproceedings:y:2017:i:6:p:245-252
  514. I. Zakharov S., E. Novikov M., И. Захаров С., Е. Новиков М. (2018) “Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем // Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels” / spz:neicon:ispranproceedings:y:2017:i:6:p:25-48
  515. P. Lukashin S., V. Melnikova G., S. Strijhak V., G. Shcheglov A., П. Лукашин С., В. Мельникова Г., С. Стрижак В., Г. Щеглов А. (2018) “Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО // The method of solving aeroelasticity problems for wind blade using open source software” / spz:neicon:ispranproceedings:y:2017:i:6:p:253-270
  516. V. Koterov N., V. Krivtsov M., V. Zubov I., В. Котеров Н., В. Кривцов М., В. Зубов И. (2018) “Программный пакет для расчета аэродинамических характеристик летательных аппаратов // Software package to calculate the aerodynamic characteristics of aircrafts” / spz:neicon:ispranproceedings:y:2017:i:6:p:271-288
  517. J. Tellez-Alvarez, M. Gomez, B. Russo, Дж. Теллез-Альварез, М. Гомез, Б. Руссо (2018) “Технология обработки изображений для гидравлических приложений // Image processing technique for hydraulic application” / spz:neicon:ispranproceedings:y:2017:i:6:p:289-298
  518. A. Ryakhovskiy I., A. Schmidt A., V. Antonov I., А. Ряховский И., А. Шмидт А., В. Антонов И. (2018) “Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем // Numerical Simulation of High-Speed Non-equilibrium Flow with Applied Magnetic Field” / spz:neicon:ispranproceedings:y:2017:i:6:p:299-310
  519. E. Sánchez-Cordero, M. Gómez, E. Bladé, Э. Санчес-Кордеро, М. Гомез, Э. Блейд (2018) “Трехмерный численный анализ прорыва плотины с использованием OpenFOAM // Three-dimensional numerical analysis of a dam-break using OpenFOAM” / spz:neicon:ispranproceedings:y:2017:i:6:p:311-320
  520. E. Avdeev V., K. Volkova A., V. Ovchinnikov A., Е. Авдеев В., К. Волкова А., В. Овчинников А. (2018) “Моделирование смазочной системы главной передачи // Final drive lubrication modeling” / spz:neicon:ispranproceedings:y:2017:i:6:p:321-330
  521. D. Efremov V., M. Mandrykin U., Д. Ефремов В., М. Мандрыкин У. (2018) “Формальная верификация библиотечных функций ядра Linux // Formal Verification of Linux Kernel Library Functions” / spz:neicon:ispranproceedings:y:2017:i:6:p:49-76
  522. A. Kozachok V., E. Kochetkov V., А. Козачок В., Е. Кочетков В. (2018) “Подход к реализации системы верифицированного исполнения программного кода // Verified program code execution system prototype” / spz:neicon:ispranproceedings:y:2017:i:6:p:7-24
  523. V. Efimov Yu., A. Bezzubikov A., D. Bogomolov A., O. Goremykin V., V. Padaryan A., В. Ефимов Ю., А. Беззубиков А., Д. Богомолов А., О. Горемыкин В., В. Падарян А. (2018) “Автоматизация разработки моделей устройств и вычислительных машин для QEMU” / spz:neicon:ispranproceedings:y:2017:i:6:p:77-104
  524. B. Pozin Α., Б. Позин А. (2018) “Принципы построения системы обеспечения жизненного цикла ответственных систем // The Principles of Life Cycle Supporting System for Mission-Critical Systems” / spz:neicon:ispranproceedings:y:2018:i:1:p:103-114
  525. M. Guskova S., L. Barash Yu., L. Shchur N., М. Гуськова С., Л. Бараш Ю., Л. Щур Н. (2018) “Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел // Applying AVX512 vectorization to improve the performance of a random number generator” / spz:neicon:ispranproceedings:y:2018:i:1:p:115-126
  526. V. Yudin N., L. Karpov E., В. Юдин Н., Л. Карпов Е. (2018) “Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы // Dealing with not Fully Described Objects in Decision Support Systems: Alternative Approaches” / spz:neicon:ispranproceedings:y:2018:i:1:p:127-136
  527. V. Pavlov A., B. Novikov A., В. Павлов А., Б. Новиков А. (2018) “Базы данных для обработки массивов: взгляд изнутри // Array Database Internals” / spz:neicon:ispranproceedings:y:2018:i:1:p:137-160
  528. E. Gusev I., Е. Гусев И. (2018) “Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша // Optimizing access to memory pages in software-implemented global page cache systems” / spz:neicon:ispranproceedings:y:2018:i:1:p:161-182
  529. A. Nuriev N., A. Kamalutdinov M., O. Zaitseva N., А. Нуриев Н., А. Камалутдинов М., О. Зайцева Н. (2018) “Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания // Dependence of hydrodynamic forces acting on oscillating thin plates on the shape of edges in the range of large oscillation amplitudes” / spz:neicon:ispranproceedings:y:2018:i:1:p:183-194
  530. I. Marchevsky K., V. Puzikova V., И. Марчевский К., В. Пузикова В. (2018) “Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES // The efficiency comparison of solvers for sparse linear algebraic equations systems based on the BiCGStab and FGMRES methods” / spz:neicon:ispranproceedings:y:2018:i:1:p:195-214
  531. S. Dergachev A., С. Дергачев А. (2018) “Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель // Mathematical simulation of vorticity evolution in the case of spatial flow around bodies by the method of vortex loops” / spz:neicon:ispranproceedings:y:2018:i:1:p:215-226
  532. A. Tvardovskii S., A. Laputenko V., А. Твардовский С., А. Лапутенко В. (2018) “О возможностях автоматного описания параллельной композиции временных автоматов // On the possibilities of FSM description of Parallel composition of Timed Finite State Machines” / spz:neicon:ispranproceedings:y:2018:i:1:p:25-40
  533. N. Shalyapina A., A. Zaytsev A., S. Batratskiy V., M. Gromov L., Н. Шаляпина А., А. Зайцев А., С. Батрацкий В., М. Громов Л. (2018) “Тесты на константные неисправности как веб-сервис // Stuck-At-Faults Tester as a Web-Service” / spz:neicon:ispranproceedings:y:2018:i:1:p:41-54
  534. S. Staroletov M., С. Старолетов М. (2018) “Методы анализа вредоносного программного обеспечения под ОС Android // Towards the methods of analysis malicious applications for Android operating system” / spz:neicon:ispranproceedings:y:2018:i:1:p:55-68
  535. I. Burdonov B., A. Kossatchev S., V. Kuliamin V., A. Tomilin N., V. Shnitman Z., И. Бурдонов Б., А. Косачев С., В. Кулямин В., А. Томилин Н., В. Шнитман З. (2018) “Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах // Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs” / spz:neicon:ispranproceedings:y:2018:i:1:p:69-88
  536. H. Yenigun, N. Yevtushenko, N. Kushik, J. López, Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез (2018) “Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата // The effect of partiality and adaptivity on the complexity of FSM state identification problems” / spz:neicon:ispranproceedings:y:2018:i:1:p:7-24
  537. S. Avdoshin M., A. Lazarenko V., С. Авдошин М., А. Лазаренко В. (2018) “Методы деанонимизации пользователей биткоин // Bitcoin Users Deanonimization Methods” / spz:neicon:ispranproceedings:y:2018:i:1:p:89-102
  538. A. Nikeshin V., V. Shnitman Z., А. Никешин В., В. Шнитман З. (2018) “Обзор расширяемого протокола аутентификации и его методов // The review of Extensible Authentication Protocol and its methods” / spz:neicon:ispranproceedings:y:2018:i:2:p:113-148
  539. R. Azimov Sh., S. Grigorev V., Р. Азимов Ш., С. Григорьев В. (2018) “Синтаксический анализ графов с использованием конъюнктивных грамматик // Path querying using conjunctive grammars” / spz:neicon:ispranproceedings:y:2018:i:2:p:149-166
  540. I. Burdonov B., A. Kossatchev S., И. Бурдонов Б., А. Косачев С. (2018) “Проблема отката в ориентированной распределенной системе // Directed distributed system: Backtracking problem” / spz:neicon:ispranproceedings:y:2018:i:2:p:167-194
  541. A. Sytnik A., T. Shulga E., N. Danilov A., А. Сытник А., Т. Шульга Э., Н. Данилов А. (2018) “Онтология предметной области «Удобство использования программного обеспечения» // Ontology of the “Software Usability” Domain” / spz:neicon:ispranproceedings:y:2018:i:2:p:195-214
  542. R. Gilyazev A., D. Turdakov Y., Р. Гилязев А., Д. Турдаков Ю. (2018) “Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных // Active learning and crowdsourcing: a survey of annotation optimization methods” / spz:neicon:ispranproceedings:y:2018:i:2:p:215-250
  543. A. Bugerya B., E. Kim S., M. Solovev A., А. Бугеря Б., Е. Ким С., М. Соловьев А. (2018) “Распараллеливание реализаций сугубо последовательных алгоритмов // Parallelization of implementations of purely sequential algorithms” / spz:neicon:ispranproceedings:y:2018:i:2:p:25-44
  544. A. Nuzhny S., A. Prozorov A., V. Bugaev I., N. Shuvalov D., V. Podumov V., А. Нужный С., А. Прозоров А., В. Бугаев И., Н. Шувалов Д., В. Подымов В. (2018) “Анализ баллистокардиограммы на граничных вычислительных узлах // Ballistocardiogram analysis on edge computing nodes” / spz:neicon:ispranproceedings:y:2018:i:2:p:251-262
  545. E. Smirnova V., I. Marchevsky K., V. Bondarchuk O., Е. Смирнова В., И. Марчевский К., В. Бондарчук О. (2018) “Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом // Axisymmetric viscous incompressible flow simulation by using the Particle finite element PFEM-2 method in the open source Kratos code” / spz:neicon:ispranproceedings:y:2018:i:2:p:263-284
  546. V. Korchagova N., I. Fufaev N., S. Sautkina M., V. Lukin V., В. Корчагова Н., И. Фуфаев Н., С. Сауткина М., В. Лукин В. (2018) “Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках // On 2D gas dynamics simulation using RKDG method on structured rectangular meshes” / spz:neicon:ispranproceedings:y:2018:i:2:p:285-300
  547. A. Avdeeva N., V. Puzikova V., А. Авдеева Н., В. Пузикова В. (2018) “Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении // Application of parallel algorithms for numerical simulation of quasi-one dimensional blood flow” / spz:neicon:ispranproceedings:y:2018:i:2:p:301-316
  548. P. Lozov ., D. Boulytchev ., П. Лозов А., Д. Булычев Ю. (2018) “Преобразование типизированных функций в реляционную форму // Conversion Typed Functions into Relational Form” / spz:neicon:ispranproceedings:y:2018:i:2:p:45-64
  549. N. Fokina Yu., M. Solovev A., Н. Фокина Ю., М. Соловьев А. (2018) “Автоматизированная генерация декодеров машинных команд // Automated generation of machine instruction decoders” / spz:neicon:ispranproceedings:y:2018:i:2:p:65-80
  550. A. Stolyarov V., O. Frantsuzov G., A. Anikina S., А. Столяров В., О. Французов Г., А. Аникина С. (2018) “Чистая компиляция как парадигма программирования // Pure Compiled Execution as a Programming Paradigm” / spz:neicon:ispranproceedings:y:2018:i:2:p:7-24
  551. V. Gonakhchyan I., В. Гонахчян И. (2018) “Алгоритм удаления невидимых поверхностей на основе программных проверок видимости // Occlusion culling algorithm based on software visibility checks” / spz:neicon:ispranproceedings:y:2018:i:2:p:81-98
  552. D. Efanov V., V. Sapozhnikov V., Vl. Sapozhnikov V., D. Pivovarov V., Д. Ефанов В., В. Сапожников В., Вл. Сапожников В., Д. Пивоваров В. (2018) “Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» // The organization of the totally self-checking integrated control circuit based on the Boolean complement method up to «2-out-of-4» constant-weight code” / spz:neicon:ispranproceedings:y:2018:i:2:p:99-112
  553. V. Cheptsov Yu., A. Khoroshilov V., В. Чепцов Ю., А. Хорошилов В. (2018) “Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем // In-Kernel Memory-Mapped I/O Device Emulation” / spz:neicon:ispranproceedings:y:2018:i:3:p:121-134
  554. K. Mallachiev A., A. Khoroshilov V., К. Маллачиев А., А. Хорошилов В. (2018) “Построение модульного программного обеспечения на основе однородной компонентой модели // Building Modular Real-time software from Unified Component Model” / spz:neicon:ispranproceedings:y:2018:i:3:p:135-148
  555. A. Andryukhin A., А. Андрюхин А. (2018) “Методы защиты децентрализованных автономных организаций от системных отказов и атак // Methods of protecting decentralized autonomous organizations from crashes and attacks” / spz:neicon:ispranproceedings:y:2018:i:3:p:149-164
  556. S. Prokopev E., С. Прокопьев Е. (2018) “Нотация криптографической стековой машины версии один // Cryptographic Stack Machine Notation One” / spz:neicon:ispranproceedings:y:2018:i:3:p:165-182
  557. D. Lebedev A., I. Stotland A., Д. Лебедев А., И. Стотланд А. (2018) “Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи // Construction of validation modules based on reference functional models in a standalone verification of communication subsystem” / spz:neicon:ispranproceedings:y:2018:i:3:p:183-194
  558. M. Petrochenkov V., R. Mushtakov E., D. Shpagilev I., М. Петроченков В., Р. Муштаков Е., Д. Шпагилев И. (2018) “Верификация контроллеров связи в системах на кристалле // Verification of System on Chip Integrated Communication Controllers” / spz:neicon:ispranproceedings:y:2018:i:3:p:195-206
  559. V. Zosimov V., O. Khrystodorov V., O. Bulgakova S., В. Зосимов В., А. Христодоров В., А. Булгакова С. (2018) “Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе // Dynamically changing user interfaces: software solutions based on automatically collected user information” / spz:neicon:ispranproceedings:y:2018:i:3:p:207-220
  560. I. Dudina A., И. Дудина А. (2018) “Статический анализ для поиска переполнения буфера: актуальные направления развития // Buffer Overflow Detection via Static Analysis: Expectations vs. Reality” / spz:neicon:ispranproceedings:y:2018:i:3:p:21-30
  561. M. Gordenko K., S. Avdoshin M., М. Горденко К., С. Авдошин М. (2018) “Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации // Variants of Chinese Postman Problems and a Way of Solving through Transformation into Vehicle Routing Problems” / spz:neicon:ispranproceedings:y:2018:i:3:p:221-232
  562. E. Beresneva ., S. Avdoshin ., Е. Береснева Н., С. Авдошин М. (2018) “Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения // Analysis of Mathematical Formulations of Capacitated Vehicle Routing Problem and Methods for their Solution” / spz:neicon:ispranproceedings:y:2018:i:3:p:233-250
  563. E. Beresneva ., M. Gordenko ., Е. Береснева Н., М. Горденко К. (2018) “Применение методов системного анализа к оцениванию работы учебных ассистентов // Applying the methods of system analysis to teaching assistants’ evaluation” / spz:neicon:ispranproceedings:y:2018:i:3:p:251-270
  564. D. Ilyin V., N. Fokina Yu., V. Semenov A., Д. Ильин В., Н. Фокина Ю., В. Семенов А. (2018) “Статический анализ зависимостей для семантической валидации данных // Static dependency analysis for semantic data validation” / spz:neicon:ispranproceedings:y:2018:i:3:p:271-284
  565. R. Nesterov A., A. Mitsyuk A., I. Lomazova A., Р. Нестеров А., А. Мицюк А., И. Ломазова А. (2018) “Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами // Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents” / spz:neicon:ispranproceedings:y:2018:i:3:p:285-302
  566. A. Gnatenko R., V. Zakharov A., А. Гнатенко Р., В. Захаров А. (2018) “О верификации конечных автоматов-преобразователей над полугруппами // On the model checking of finite state transducers over semigroups” / spz:neicon:ispranproceedings:y:2018:i:3:p:303-324
  567. S. Lesovoy L., С. Лесовой Л. (2018) “Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR // Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach” / spz:neicon:ispranproceedings:y:2018:i:3:p:31-46
  568. E. Vinarskii M., V. Zakharov A., Е. Винарский М., В. Захаров А. (2018) “К проверке строго детерминированного поведения временных конечных автоматов // On the verification of strictly deterministic behavior of Timed Finite State Machines” / spz:neicon:ispranproceedings:y:2018:i:3:p:325-340
  569. Yu. Slovokhotov L., I. Neretin S., Ю. Словохотов Л., И. Неретин С. (2018) “К построению модульной модели распределенного интеллекта // Toward construction of a modular model of distributed intelligence” / spz:neicon:ispranproceedings:y:2018:i:3:p:341-362
  570. V. Trifanov Yu., В. Трифанов Ю. (2018) “Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах // Applying synchronization contracts approach for dynamic detection of data races in industrial applications” / spz:neicon:ispranproceedings:y:2018:i:3:p:47-62
  571. A. Chebykin E., I. Kirilenko A., А. Чебыкин Е., Я. Кириленко А. (2018) “Применение глубокого машинного обучения к синтезу цепочки вызовов C# // Applying Deep Learning to C# Call Sequence Synthesis” / spz:neicon:ispranproceedings:y:2018:i:3:p:63-86
  572. S. Asryan A., S. Gaissaryan S., Sh. Kurmangaleev F., A. Aghabalyan M., N. Hovsepyan H., S. Sargsyan S., С. Асрян А., С. Гайсарян С., Ш. Курмангалеев Ф., А. Агабалян М., Н. Овсепян Г., С. Саргсян С. (2018) “Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения // Dynamic detection of Use After Free bugs” / spz:neicon:ispranproceedings:y:2018:i:3:p:7-20
  573. M. Abakumov A., P. Dovgalyuk M., М. Абакумов А., П. Довгалюк М. (2018) “Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu // Stealth debugging of programs in Qemu emulator with WinDbg debugger” / spz:neicon:ispranproceedings:y:2018:i:3:p:87-92
  574. A. Ivanov V., P. Dovgaluk M., V. Makarov A., А. Иванов В., П. Довгалюк М., В. Макаров А. (2018) “Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU // Configurable system call tracer in QEMU emulator” / spz:neicon:ispranproceedings:y:2018:i:3:p:93-98
  575. N. Pakulin V., E. Lavrischeva M., A. Ryzhov G., S. Zelenov V., Н. Пакулин В., Е. Лаврищева М., А. Рыжов Г., С. Зеленов В. (2018) “Анализ методов оценки надежности оборудования и систем. Практика применения методов // Analysis of methods for assessing the reliability of equipment and systems. Practice of methods” / spz:neicon:ispranproceedings:y:2018:i:3:p:99-120
  576. J. Carrasquel C., A. Morales, M. Villapol E., Х. Карраскель С., А. Моралес, М. Виллаполь Е. (2018) “Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем // Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification” / spz:neicon:ispranproceedings:y:2018:i:4:p:107-128
  577. M. Chupilko M., E. Drozdova A., М. Чупилко М., Е. Дроздова А. (2018) “Динамическая верификация контроллеров шин систем-на-кристалле // Simulation-based Verification of System-on-Chip Bus Controllers” / spz:neicon:ispranproceedings:y:2018:i:4:p:129-138
  578. A. Tvardovskii S., N. Yevtushenko V., А. Твардовский С., Н. Евтушенко В. (2018) “К синтезу адаптивных различающих последовательностей для конечных автоматов // Deriving adaptive distinguishing sequences for Finite State Machines” / spz:neicon:ispranproceedings:y:2018:i:4:p:139-154
  579. I. Pisarev A., L. Babenko K., И. Писарев А., Л. Бабенко К. (2018) “Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa // Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool” / spz:neicon:ispranproceedings:y:2018:i:4:p:155-168
  580. A. Polyakov R., A. Kornilova V., I. Kirilenko A., А. Поляков Р., А. Корнилова В., Я. Кириленко А. (2018) “Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков // Auto-calibration and synchronization of camera and MEMS-sensors” / spz:neicon:ispranproceedings:y:2018:i:4:p:169-182
  581. S. Musatian A., A. Lomakin V., S. Sartasov Yu., L. Popyvanov K., I. Monakhov B., A. Chizhova S., С. Мусатян А., А. Ломакин В., С. Сартасов Ю., Л. Попыванов К., И. Монахов Б., А. Чижова С. (2018) “Способы сегментации медицинских изображений // Medical Images Segmentation Operations” / spz:neicon:ispranproceedings:y:2018:i:4:p:183-194
  582. V. Sachkov E., В. Сачков Е. (2018) “Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке // The use of associative semantic preprocessor in the interactive dialogue systems in natural language” / spz:neicon:ispranproceedings:y:2018:i:4:p:195-208
  583. D. Lazarev O., N. Kuzjurin N., Д. Лазарев О., Н. Кузюрин Н. (2018) “Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем // On on-line algorithms for Bin, Strip and Box Packing, and their worstand average-case analysis” / spz:neicon:ispranproceedings:y:2018:i:4:p:209-230
  584. I. Adamovich A., And. Klimov V., И. Адамович А., Анд. Климов В. (2018) “Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений // An Interactive Specializer Based on Partial Evaluation for a Java Subset” / spz:neicon:ispranproceedings:y:2018:i:4:p:29-44
  585. G. Kirgizov V., I. Kirilenko A., Г. Киргизов В., Я. Кириленко А. (2018) “Библиотека программирования гетерогенных архитектур // Heterogeneous Architectures Programming Library” / spz:neicon:ispranproceedings:y:2018:i:4:p:45-62
  586. N. Gorelits K., A. Gukova S., E. Peskov V., Н. Горелиц К., А. Гукова С., Е. Песков В. (2018) “Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности // Criteria for software to safety-critical complex certifiable systems development” / spz:neicon:ispranproceedings:y:2018:i:4:p:63-78
  587. A. Goloveshkin V., S. Mikhalkovich S., А. Головешкин В., С. Михалкович С. (2018) “Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение // Tolerant parsing with a special kind of «Any» symbol: the algorithm and practical application” / spz:neicon:ispranproceedings:y:2018:i:4:p:7-28
  588. Tomas Kulik, Peter Larsen Gorm, Томаш Кулик, Питер Ларсен Горм (2018) “К формальной верификации стандартов кибербезопасности // Towards formal verification of cyber security standards” / spz:neicon:ispranproceedings:y:2018:i:4:p:79-94
  589. P. Putro A., П. Путро А. (2018) “Совмещение ACSL спецификаций с машинным кодом // Combining ACSL Specifications and Machine Code” / spz:neicon:ispranproceedings:y:2018:i:4:p:95-106
  590. V. Stepanov M., P. Dovgalyuk M., D. Poletaev N., В. Степанов М., П. Довгалюк М., Д. Полетаев Н. (2018) “Отслеживание операций с файловой системой ext3 в эмуляторе QMU // Tracing ext3 file system operations in the QEMU emulator” / spz:neicon:ispranproceedings:y:2018:i:5:p:101-108
  591. S. Kovalev G., С. Ковалёв Г. (2018) “Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf // Reading the contents of deleted and modified files in the virtualization based black-box binary analysis system Drakvuf” / spz:neicon:ispranproceedings:y:2018:i:5:p:109-122
  592. A. Samonov V., G. Samonova N., А. Самонов В., Г. Самонова Н. (2018) “Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем // Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems” / spz:neicon:ispranproceedings:y:2018:i:5:p:123-146
  593. A. Kozachok V., А. Козачок В. (2018) “Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта // TLA+ based access control model specification” / spz:neicon:ispranproceedings:y:2018:i:5:p:147-162
  594. D. Kildishev S., A. Khoroshilov V., Д. Кильдишев С., А. Хорошилов В. (2018) “Формализация метамодели системы управления требованиями // Formalizing Metamodel of Requirements Management System” / spz:neicon:ispranproceedings:y:2018:i:5:p:163-176
  595. I. Alimova S., E. Tutubalina V., И. Алимова С., Е. Тутубалина В. (2018) “Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах // Entity-level classification of adverse drug reactions: a comparison of neural network models” / spz:neicon:ispranproceedings:y:2018:i:5:p:177-196
  596. M. Levin P., М. Левин П. (2018) “Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка // Rock Flow Simulation by High-Order Quasi-Characteristics Scheme” / spz:neicon:ispranproceedings:y:2018:i:5:p:197-212
  597. O. Sorokovikova S., D. Dzama V., D. Asfandiyarov G., О. Сороковикова С., Д. Дзама В., Д. Асфандияров Г. (2018) “Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки // Specialized robust CFD RANS microscale meteorological model for modelling atmospheric processes and transport of contaminants in urban and industrial areas” / spz:neicon:ispranproceedings:y:2018:i:5:p:213-234
  598. K. Ovchinnikov D., К. Овчинников Д. (2018) “Численное моделирование качки судна с шахтным устройством на встречном волнении // Numerical simulation of motions of a ship with a moonpool in head waves” / spz:neicon:ispranproceedings:y:2018:i:5:p:235-248
  599. V. Zenkin A., В. Зенкин А. (2018) “Онтологический репозиторий для CFD-расчетов // Ontological CFD-repository” / spz:neicon:ispranproceedings:y:2018:i:5:p:249-264
  600. E. Shishkin S., Е. Шишкин С. (2018) “Проверка функциональных свойств смарт-контрактов методом символьной верификации модели // Verifying functional properties of smart contracts using symbolic model-checking” / spz:neicon:ispranproceedings:y:2018:i:5:p:265-288
  601. A. Vishnyakov V., A. Nurmukhametov R., Sh. Kurmangaleev F., S. Gaisaryan S., А. Вишняков В., А. Нурмухаметов Р., Ш. Курмангалеев Ф., С. Гайсарян С. (2018) “Метод анализа атак повторного использования кода // Method for analysis of code-reuse attacks” / spz:neicon:ispranproceedings:y:2018:i:5:p:31-54
  602. I. Dudina A., N. Malyshev E., И. Дудина А., Н. Малышев Е. (2018) “Об одном подходе к анализу строк в языке Си для поиска переполнения буфера // An approach to the C string analysis for buffer overflow detection” / spz:neicon:ispranproceedings:y:2018:i:5:p:55-74
  603. E. Lavrishcheva M., A. Petrenko K., Е. Лаврищева М., А. Петренко К. (2018) “Информатика: становление программного обеспечения и технологий программных систем // Informatics: Formation of computer software and technologies of software systems” / spz:neicon:ispranproceedings:y:2018:i:5:p:7-30
  604. D. Kononov S., Д. Кононов С. (2018) “Подход к анализу исполняемого кода на основе восстановления программной архитектуры // Approach to analyzing executable code based on the software architecture recovery” / spz:neicon:ispranproceedings:y:2018:i:5:p:75-88
  605. H. Aslanyan K., А. Асланян К. (2018) “Платформа межпроцедурного статического анализа бинарного кода // Platform for interprocedural static analysis of binary code” / spz:neicon:ispranproceedings:y:2018:i:5:p:89-100
  606. D. Lazarev O., N. Kuzyurin N., Д. Лазарев О., Н. Кузюрин Н. (2019) “Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем // On-line algorithm for scheduling parallel tasks on related computational clusters with processors of different capacities and its average-case analysis” / spz:neicon:ispranproceedings:y:2018:i:6:p:105-122
  607. D. Grushin A., N. Kuzyurin N., Д. Грушин А., Н. Кузюрин Н. (2019) “О задаче эффективного управления вычислительной инфраструктурой // On an effective scheduling problem in computation clusters” / spz:neicon:ispranproceedings:y:2018:i:6:p:123-142
  608. A. Vasilyev A., А. Васильев А. (2019) “Статическая верификация ошибок использования памяти в модулях ядра ОС Linux // Static verification for memory safety of Linux kernel drivers” / spz:neicon:ispranproceedings:y:2018:i:6:p:143-160
  609. S. Kozin V., С. Козин В. (2019) “Конфигурационная сборка варианта ядра Linux для прикладных систем // Linux kernel configuration build for application systems” / spz:neicon:ispranproceedings:y:2018:i:6:p:161-170
  610. Y. Nedumov R., S. Kuznetsov D., Я. Недумов Р., С. Кузнецов Д. (2019) “Исследовательский поиск научных статей // Exploratory search for scientific articles” / spz:neicon:ispranproceedings:y:2018:i:6:p:171-198
  611. A. Avetisyan A., M. Drobyshevskiy D., D. Turdakov Yu., А. Аветисян А., М. Дробышевский Д., Д. Турдаков Ю. (2019) “Методы анализа информационных потоков в сети Интернет // Methods for Information Spread Analysis” / spz:neicon:ispranproceedings:y:2018:i:6:p:199-220
  612. A. Glazkova V., А. Глазкова В. (2019) “Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке // Automatic search for fragments containing biographical information in a natural language text” / spz:neicon:ispranproceedings:y:2018:i:6:p:221-236
  613. K. Petrishchev S., V. Zolotov A., V. Semenov A., К. Петрищев С., В. Золотов А., В. Семенов А. (2019) “Система операторов для пространственно-временного анализа динамических сцен // A system of operators for spatial-temporal analysis of dynamic scenes” / spz:neicon:ispranproceedings:y:2018:i:6:p:237-258
  614. A. Gerasimov Yu., S. Sargsyan S., S. Kurmangaleev F., J. Hakobyan A., S. Asryan A., M. Ermakov K., А. Герасимов Ю., С. Саргсян С., Ш. Курмангалеев Ф., Д. Акопян А., С. Асрян А., М. Ермаков К. (2019) “Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга // Combining dynamic symbolic execution, code static analysis and fuzzing” / spz:neicon:ispranproceedings:y:2018:i:6:p:25-38
  615. M. Kraposhin V., S. Strijhak V., М. Крапошин В., С. Стрижак В. (2019) “Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики // The problem-oriented library SOWFA for solving the applied tasks of wind energy” / spz:neicon:ispranproceedings:y:2018:i:6:p:259-274
  616. M. Kraposhin V., М. Крапошин В. (2019) “Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах // Multiscale approach for simulation of complex transient processes of fluid flows in technical systems” / spz:neicon:ispranproceedings:y:2018:i:6:p:275-292
  617. A. Sokurov V., А. Шокуров В. (2019) “Минимальный базис модуля сизигий старших членов // Minimal basis of the syzygies module of leading terms” / spz:neicon:ispranproceedings:y:2018:i:6:p:293-304
  618. A. Vodovozov M., D. Poletaev S., А. Водовозов М., Д. Полетаев С. (2019) “Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 // Programming of digital linear phase filter in ARMv8 architecture” / spz:neicon:ispranproceedings:y:2018:i:6:p:305-314
  619. V. Melnikova G., В. Мельникова Г. (2019) “Тестирование различных методов моделирования внутренних течений несжимаемой жидкости // Testing different numerical methods opportunities for internal flows simulation” / spz:neicon:ispranproceedings:y:2018:i:6:p:315-328
  620. N. Polibina A., Н. Полибина А. (2019) “Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса // Mathematical modeling of polymeric cover outgassing process in open space conditions” / spz:neicon:ispranproceedings:y:2018:i:6:p:329-340
  621. D. Buzdalov V., A. Petrenko K., A. Khoroshilov V., Д. Буздалов В., А. Петренко К., А. Хорошилов В. (2019) “О представлении модельного времени при помощи механизмов функционального программирования // On representation of simulation time in functional programming style” / spz:neicon:ispranproceedings:y:2018:i:6:p:341-366
  622. V. Kuliamin V., A. Petrenko K., A. Khoroshilov V., В. Кулямин В., А. Петренко К., А. Хорошилов В. (2019) “Компонентная верификация операционных систем // Component-based verification of operating systems” / spz:neicon:ispranproceedings:y:2018:i:6:p:367-382
  623. M. Solovev A., M. Bakulin G., M. Gorbachev S., D. Manushin V., V. Padaryan A., S. Panasenko S., М. Соловьев А., М. Бакулин Г., М. Горбачев С., Д. Манушин В., В. Падарян А., С. Панасенко С. (2019) “О новом поколении промежуточных представлений, применяемых для анализа бинарного кода // Next generation intermediate representations for binary code analysis” / spz:neicon:ispranproceedings:y:2018:i:6:p:39-68
  624. I. Burdonov B., N. Yevtushenko V., A. Kossatchev S., И. Бурдонов Б., Н. Евтушенко В., А. Косачев С. (2019) “Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети // Testing switch rules in software defined networks” / spz:neicon:ispranproceedings:y:2018:i:6:p:69-88
  625. B. Shabanov M., O. Samovarov I., Б. Шабанов М., О. Самоваров И. (2019) “Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД // Building the Software Defined Data Center” / spz:neicon:ispranproceedings:y:2018:i:6:p:7-24
  626. A. Nikeshin V., V. Shnitman Z., А. Никешин В., В. Шнитман З. (2019) “Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета // Conformance testing of Extensible Authentication Protocol implementations” / spz:neicon:ispranproceedings:y:2018:i:6:p:89-104
  627. Evgeny Kiselev Alexandrovitch, Alexey Maksimov Vladimirovitch, Sergey Kurgalin Dmitrievitch, Sergey Zuev Alaxeevitch, Евгений Киселев Александрович, Алексей Максимов Владимирович, Сергей Кургалин Дмитриевич, Сергей Зуев Алексеевич (2019) “Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре // Mathematical model describing air flow dynamics in a turbine spirometer” / spz:neicon:ispranproceedings:y:2019:i:1:p:105-114
  628. Dmitry Efanov Victorovitch, Valery Sapozhnikov Vladimirovitch, Vladimir Sapozhnikov Vladimirovitch, Dmitry Pivovarov Vyatcheslavovitch, Дмитрий Ефанов Викторович, Валерий Сапожников Владимирович, Владимир Сапожников Владимирович, Дмитрий Пивоваров Вячеславович (2019) “Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов // Fault detection in combinational circuits based on self-dual complement to constant-weight code” / spz:neicon:ispranproceedings:y:2019:i:1:p:115-132
  629. Denis Lazarev Olegovitch, Nikolay Kuzyurin Nikolaevitch, Денис Лазарев Олегович, Николай Кузюрин Николаевич (2019) “Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос // An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of large number of strips given” / spz:neicon:ispranproceedings:y:2019:i:1:p:133-142
  630. Alexey Khoroshilov Vladimirovitch, Natalia Gorelits Kirilovna, Denis Kildishev Stepanovitch, Алексей Хорошилов Владимирович, Наталья Горелиц Кирилловна, Денис Кильдишев Степанович (2019) “Управление требованиями к ответственным системам. Обзор решений // Requirements management for safety-critical systems. Overview of solutions” / spz:neicon:ispranproceedings:y:2019:i:1:p:25-48
  631. Mariam Arutunian Seropovna, Gregory Ivanov Sergeevitch, Vahagn Vardanyan Gevorgovitch, Hayk Aslanyan Karenovitch, Arutyun Avetisyan Ishkhanovitch, Shamil Kurmangaleev Faimovitch, Марьям Арутюнян Сероповна, Григорий Иванов Сергеевич, Вааг Варданян Геворгович, Айк Асланян Каренович, Арутюн Аветисян Ишханович, Шамиль Курмангалеев Фаимович (2019) “Анализ характера изменений программ и поиск неисправленных фрагментов кода // Analysis of program changes nature and searching for unpatched code fragments” / spz:neicon:ispranproceedings:y:2019:i:1:p:49-58
  632. Alexander Chadin Sergeevitch, Gregory Biziukin Andreevitch, Александр Чадин Сергеевич, Григорий Бизюкин Андреевич (2019) “Определение ограничений облачной платформы на миграцию ресурсов // Determining cloud platform limits on resource migration” / spz:neicon:ispranproceedings:y:2019:i:1:p:59-68
  633. Anna Sokolova Ilyinichna, Anton Konushin Sergeevitch, Анна Соколова Ильинична, Антон Конушин Сергеевич (2019) “Методы идентификации человека по походке в видео // Methods of gait recognition in video” / spz:neicon:ispranproceedings:y:2019:i:1:p:69-82
  634. Ekaterina Lavrischeva Mikhailovna, Vadim Mutilin Sergeevitch, Svyatoslav Kozin Vladimirovitch, Andrey Ruzhov Gennadievitch, Екатерина Лаврищева Михайловна, Вадим Мутилин Сергеевич, Святослав Козин Владимирович, Андрей Рыжов Геннадьевич (2019) “Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет // Modeling of application and information systems from ready–made Internet service resources” / spz:neicon:ispranproceedings:y:2019:i:1:p:7-24
  635. Sergey Slyadnev Evgenievitch, Vadim Turlapov Evgenievitch, Сергей Сляднев Евгеньевич, Вадим Турлапов Евгеньевич (2019) “К разработке открытого программного обеспечения для реконструкции CAD-моделей // Toward the development of open source software for the reconstruction of CAD-models” / spz:neicon:ispranproceedings:y:2019:i:1:p:83-104
  636. Zulfiqar Ahmad, Ali Imran Jehangiri, Mehreen Iftikhar, Arif Iqbal Umar, Ibrar Afzal, Зульфикар Ахмад, Али Имран Джехангири, Мехрин Ифтихар, Ариф Икбал Умер, Ибрар Афзал (2019) “Ориентированное на данные планирование с применением отказоустойчивого метода динамической кластеризации для поддержки потоков научных работ в облаках // Data-Oriented scheduling with Dynamic-Clustering fault-tolerant technique for Scientific Workflows in Clouds” / spz:neicon:ispranproceedings:y:2019:i:2:p:121-135
  637. Godofredo Ramón Garay Alvarez, José Alberto Bertot Valdés, Karina Pérez-Teruel, Годофредо Рамон Гарай Альварес, Хосе Альберто Бертоm Вальдес, Карина Перес-Теруэль (2019) “Интернет вещей для оценки поведения крупного рогатого скота при поиске корма и кормлении в пастбищных системах земледелия: концепции и обзор сенсорных технологий // Internet of Things for evaluating foraging and feeding behavior of cattle on grassland-based farming systems: concepts and review of sensor technologies” / spz:neicon:ispranproceedings:y:2019:i:2:p:137-152
  638. Santiago Damian Iturriaga Fabra, Sergio Enrique Nesmachnow Cánovas, Gerardo Goñi Bofrisco, Bernabé Dorronsoro Díaz, Andrei Tchernykh, Сантьяго Дамиан Итурриага Фабра, Серджо Энрике Несмачнов Кановас, Херардо Гони Бофриско, Бернабе Дорронсоро Диаз, Андрей Черных Николаевич (2019) “Конструирование и оптимизация сетей распространения контента // Design and optimization of Content Distribution Networks” / spz:neicon:ispranproceedings:y:2019:i:2:p:15-20
  639. Nikolay Chervyakov Ivanovitch, Maxim Deryabin Anatolyevitch, Anton Nazarov Sergeevitch, Mikhail Babenko Grigorievitch, Nikolay Kucherov Nikolaevitch, Andrei Gladkov Vladimirovich, Gleb Radchenko Igorievitch, Николай Червяков Иванович, Максим Дерябин Анатольевич, Антон Назаров Сергеевич, Михаил Бабенко Григорьевич, Николай Кучеров Николаевич, Андрей Гладков Владимирович, Глеб Радченко Игоревич (2019) “Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета // Secure and Reliable Data Transmission Over MANET Based On Principles of Computationally Secure Secret Sharing” / spz:neicon:ispranproceedings:y:2019:i:2:p:153-169
  640. Sohail Sarwar, Zia Ul Qayyum, Muhammad Safyan, Muddessar Iqbal, Yasir Mahmood, Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд (2019) “Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов // Graphs Resemblance based Software Birthmarks through Data Mining for Piracy Contro” / spz:neicon:ispranproceedings:y:2019:i:2:p:171-185
  641. Mikhail Babenko Grigorievitch, Andrei Tchernykh, Nikolay Chervyakov Ivanovitch, Viktor Kuchukov Andreevich, Vanessa Miranda-Lopes, Raúl Rivera Rodriguez, Zhihui Du, Михаил Бабенко Григорьевич, Андрей Черных Николаевич, Николай Червяков Иванович, Виктор Кучуков Андреевич, Ванесса Миранда-Лопес, Рауль Ривера Родригес, Чжихуэй Ду (2019) “Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики // Efficient Number Comparison in the Residue Number System based on Positional Characteristics” / spz:neicon:ispranproceedings:y:2019:i:2:p:187-201
  642. Renzo Massobrio, Bernabé Dorronsoro Díaz, Sergio Enrique Nesmachnow Cánovas, Рензо Массобрио, Бернаре Дорронзоро Диаз, Серджо Энрике Несмачнов Кановас (2019) “Виртуальный Эрудит для решения задачи о рюкзаке: обучение автоматическому распределению ресурсов // Virtual Savant for the Knapsack Problem: learning for automatic resource allocation” / spz:neicon:ispranproceedings:y:2019:i:2:p:21-31
  643. Ying Sun, Zijun Zhao, Xiaobin Ma, Zhihui Du, Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду (2019) “Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных // Hybrid Model for Efficient Anomaly Detection in Short-timescale GWAC Light Curves and Similar Datasets” / spz:neicon:ispranproceedings:y:2019:i:2:p:33-39
  644. Nikolay Vershkov Anatolievitch, Viktor Kuchukov Andreevich, Natalya Kuchukova Nikolaevna, Николай Вершков Анатольевич, Виктор Кучуков Андреевич, Наталья Кучукова Николаевна (2019) “Теоретический подход к поиску глобального экстремума при обучении нейронных сетей // The Theoretical Approach to the Search for a Global Extremum in the Training of Neural Networks” / spz:neicon:ispranproceedings:y:2019:i:2:p:41-52
  645. Abid Hussain, Muhammad Safyan, Sohail Sarvar, Zia Ul Qayyum, Muddessar Iqbal, Nazar Abbas Saqib, Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб (2019) “Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов // Mitigating MAC Layer Performance Anomaly of Wi-Fi Networks through Adaptable Channelization” / spz:neicon:ispranproceedings:y:2019:i:2:p:53-66
  646. Mikhail Valerievitch Ivanov Valerievitch, Oleg Sergienko Yurievitch, Vera Tyrsa Valentinovna, Lars Lindner, Julio Cesar Rodríguez-Quiñonez, Wendy Flores-Fuentes, Moises Rivas-Lopez, Daniel Hernández-Balbuena, Juan Iván Nieto Hipólito, Михаил Иванов Валерьевич, Олег Сергиенко Юрьевич, Вера Тырса Валентиновна, Ларс Линднер, Хулио Сезар Родригес-Киньонес, Венди Флорес-Фуэнтес, Мойзес Ривас-Лопес , Даниэль Эрнандес-Бальбуэна, Хуан Иван Ньето Иполито (2019) “Интеграция беспроводной связи для оптимизации распознавания окружения и расчёта траектории движения группы роботов // Wireless integration to optimize environmental recognition and calculate the trajectory of a group of robots” / spz:neicon:ispranproceedings:y:2019:i:2:p:67-81
  647. Andrei Tchernykh, Allel Hadjali, Андрей Черных Николаевич, Аллел Хаджали (2019) “Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» // Editorial: Special Issue on «Advanced Computing: from Theory to Practice»” / spz:neicon:ispranproceedings:y:2019:i:2:p:7-13
  648. Alexander Feoktistov Gennadievitch, Sergey Gorsky Alekseevich, Ivan Sidorov Sergeevitch, Roman Kostromin Olegovich, Evgeny Fereferov Sergeevich, Igor Bychkov Vyacheslavovich, Александр Феоктистов Геннадьевич, Сергей Горский Алексеевич, Иван Сидоров Александрович, Роман Костромин Олегович, Евгений Фереферов Сергеевич, Игорь Бычков Вячеславович (2019) “Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools // Continuous integrating modules of distributed applied software packages in Orlando Tools” / spz:neicon:ispranproceedings:y:2019:i:2:p:83-96
  649. Marcelo Orlando Alaniz, Sergio Enrique Nesmachnow Cánovas, Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас (2019) “Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP // A semi-automatic approach for parallel problem solving using the Multi-BSP model” / spz:neicon:ispranproceedings:y:2019:i:2:p:97-120
  650. Pavel Putro Andreevitch, Павел Путро Андреевич (2019) “Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода // Applying High-Level Function Loop Invariants for Machine Code Deductive Verification” / spz:neicon:ispranproceedings:y:2019:i:3:p:123-134
  651. Alexander Kamkin Sergeevitch, Mikhail Lebedev Sergeevitch, Sergey Smolov Alexandrovitch, Александр Камкин Сергеевич, Михаил Лебедев Сергеевич, Сергей Смолов Александрович (2019) “Поиск конфликтов доступа к данным в HDL-описаниях // Extracting Assertions for Conflicts in HDL Descriptions” / spz:neicon:ispranproceedings:y:2019:i:3:p:135-144
  652. Sergey Avdoshin Mikhailovitch, Ekaterina Beresneva Nikolaevna, Сергей Авдошин Михайлович, Екатерина Береснева Николаевна (2019) “Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности // Constructive heuristics for Capacitated Vehicle Routing Problem: a comparative study” / spz:neicon:ispranproceedings:y:2019:i:3:p:145-156
  653. Alexey Tyurin Valerievitch, Ivan Tyulyandin Vladimirovitch, Vladimir Maltsev S., Jacob Kirilenko Alexandrovitch, Daniil Berezun Andreevitch, Алексей Тюрин Валерьевич, Иван Тюляндин Владимирович, Владимир Мальцев, Яков Кириленко Александрович, Даниил Березун Андреевич (2019) “Обзор языков для безопасного программирования смарт-контрактов // Overview of the Languages for Safe Smart Contract Programming” / spz:neicon:ispranproceedings:y:2019:i:3:p:157-176
  654. Nikita Chimtchik Vladimirovitch, Valery Ignatiev Nikolaevitch, Никита Шимчик Владимирович, Валерий Игнатьев Николаевич (2019) “Поиск уязвимостей при помощи статического анализа помеченных данных // Vulnerabilities Detection via Static Taint Analysis” / spz:neicon:ispranproceedings:y:2019:i:3:p:177-190
  655. Ilya Pisarev Aleksandrovich, Liudmila Babenko Klimentevna, Илья Писарев Александрович, Людмила Бабенко Климентьевна (2019) “C# парсер для извлечения структуры криптографических протоколов из исходного кода // C# parser for extracting cryptographic protocols structure from source code” / spz:neicon:ispranproceedings:y:2019:i:3:p:191-202
  656. Anton Rigin Mikhailovitch, Sergey Shershakov Andreevich, Антон Ригин Михайлович, Сергей Шершаков Андреевич (2019) “Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев // SQLite RDBMS Extension for Data Indexing Using B-tree Modifications” / spz:neicon:ispranproceedings:y:2019:i:3:p:203-216
  657. Natalia Shalyapina Andreevna, Maxim Gromov Leolidovitch, Наталья Шаляпина Андревна, Максим Громов Леонидович (2019) “«Жизнь» в тензорах: реализация клеточных автоматов на видеокартах // «Life» in Tensor: Implementing Cellular Automata on Graphics Adapters” / spz:neicon:ispranproceedings:y:2019:i:3:p:217-228
  658. Dmitry Melnichuk Vadimovich, Дмитрий Мельничук Вадимович (2019) “Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi // Modeling Nonlinear Stabilization System on Clusters with Intel Xeon Phi Coprocessors” / spz:neicon:ispranproceedings:y:2019:i:3:p:229-240
  659. Artur Gudiev Vladimirovitch, Alexandra Grazhevskaya Sergeevna, Артур Гудиев Владимирович, Александра Гражевская Сергеевна (2019) “Графический DSL для разработки мобильных приложений // Graphic DSL for Mobile Development” / spz:neicon:ispranproceedings:y:2019:i:3:p:29-34
  660. Tamara Naumovic, Luka Baljak, Lazar Živojinović, Filip Filipovic, Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович (2019) “Разработка программной среды для управления интеллектуальными устройствами в реальном времени // Development of а software framework for real-time management of intelligent devices” / spz:neicon:ispranproceedings:y:2019:i:3:p:35-46
  661. Pavel Poroshin Alexeyevich, Alexey Meshkov Nikolaevich, Павел Порошин Алексеевич, Алексей Мешков Николаевич (2019) “Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” // An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of "Elbrus"” / spz:neicon:ispranproceedings:y:2019:i:3:p:47-58
  662. Pavel Frolov Viktorovich, Павел Фролов Викторович (2019) “Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров // Approach to test program development for multilevel verification” / spz:neicon:ispranproceedings:y:2019:i:3:p:59-66
  663. Dmitry Lebedev Alexeevitch, Mikhail Petrotchenkov Vladimirovich, Дмитрий Лебедев Алексеевич, Михаил Петроченков Владимирович (2019) “Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы // Test environment for verification of multi-processor memory subsystem unit” / spz:neicon:ispranproceedings:y:2019:i:3:p:67-76
  664. Alexey Goloveshkin Valerievitch, Алексей Головешкин Валерьевич (2019) “Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» // Tolerant parsing using modified LR(1) and LL(1) algorithms with embedded “Any” symbol” / spz:neicon:ispranproceedings:y:2019:i:3:p:7-28
  665. Anton Petrykin Alekseevich, Irina Stotland Arkadievna, Aleksey Meshkov Nikolaevitch, Антон Петрыкин Алексеевич, Ирина Стотланд Аркадьевна, Алексей Мешков Николаевич (2019) “Автономная верификация IOMMU с поддержкой виртуализации // Standalone verification of IOMMU with virtualization supporting” / spz:neicon:ispranproceedings:y:2019:i:3:p:77-84
  666. Vsevolod Kotlyarov Pavlovitch, Alexey Maslakov Pavlovitch, Alexey Tolstoles Andreevich, Всеволод Котляров Павлович, Алексей Маслаков Павлович, Алексей Толстолес Андреевич (2019) “Цифровое моделирование технологии производства металлообрабатывающих механических цехов // Digital Modelling of Production Engineering for Metalworking Machine Shops” / spz:neicon:ispranproceedings:y:2019:i:3:p:85-98
  667. Mikhail Nosovsyi Mikhailovitch, Konstantin Degtiarev Yurievitch, Михаил Носовский Михайлович, Константин Дегтярев Юрьевич (2019) “Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости // Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them” / spz:neicon:ispranproceedings:y:2019:i:3:p:99-122