Сортировать по:
Выпуск | Название | |
Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев | ||
"... ошибочной ситуации, сообщающие об ошибке только в том случае, когда она происходит на некотором множестве ..." | ||
Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
А. В. Когтенков | ||
"... Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно ..." | ||
Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян | ||
"... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода в ..." | ||
Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
В. О. Мордань | ||
"... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..." | ||
Том 30, № 2 (2018) | Алгоритм удаления невидимых поверхностей на основе программных проверок видимости | Аннотация PDF (Rus) похожие документы |
В. И. Гонахчян | ||
"... обрабатываемых объектов используются методы удаления невидимых поверхностей. В статье рассматривается семейство ..." | ||
Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
"... В работе рассмотрены различные аспекты статического анализа программ на языке C# с целью ..." | ||
Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
"... Интегрированная модульная авионика (ИМА). В её основе лежит объединение приборов и бортовых вычислителей в единую ..." | ||
Том 28, № 3 (2016) | Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов | ||
"... Разработанный метод в рамках прецедентного подхода к принятию решений позволяет решить проблему ..." | ||
Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
"... В статье представлен конфигурируемый метод для поиска состояний гонок. Метод позволяет настраивать ..." | ||
Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин, А. В. Хорошилов | ||
"... В данной статье предлагается подход к описанию и верификации структурных ограничений на ..." | ||
Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, А. В. Хорошилов | ||
"... В статье рассматриваются методы тестирования компонентов ядра ОС Linux с использованием симуляции ..." | ||
Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко | ||
"... В статье излагаются основные принципы, на которых основана технология UniTESK, предназначенная для ..." | ||
Том 27, № 6 (2015) | Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований | Аннотация PDF (Rus) похожие документы |
А. В. Скатков, В. И. Шевченко | ||
"... В условиях развития технологий облачных вычислений актуальной является задача разработки новых ..." | ||
Том 29, № 5 (2017) | Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, С. Е. Разоренов, В. В. Белая | ||
"... Работа посвящена численному исследованию теплоотдачи в прямоугольных каналах с односторонним ..." | ||
Том 30, № 2 (2018) | Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом | Аннотация PDF (Rus) похожие документы |
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук | ||
"... вязкой несжимаемой жидкости в методе конечных элементов с частицами PFEM-2. Осесимметричная модель ..." | ||
Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
"... при разработке анализатора программ с использованием системных вызовов. В статье рассматривается ..." | ||
Том 26, № 5 (2014) | Исследование влияния длины улиц на течение воздуха в них | Аннотация PDF (Rus) похожие документы |
М. В. Волик | ||
"... В работе проводится сравнение результатов математического моделирования аэродинамики типичных ..." | ||
Том 25 (2013) | Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров | ||
"... идеалов нулевой размерности, в случае если задан базис Гребнера идеала этой системы для ..." | ||
Том 27, № 6 (2015) | Дерандомизационная криптостойкость гомоморфного шифрования | Аннотация PDF (Rus) похожие документы |
А. В. Трепачева | ||
"... В статье освещается проблематика построения и анализа систем криптографической защиты облачных ..." | ||
Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
В. Н. Игнатьев | ||
"... введение дополнительных ограничений на язык и стиль программирования. В работе предложен новый метод ..." | ||
Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) похожие документы |
А. В. Монаков | ||
"... В статье рассматривается задача повышения скорости расчётов в пакете OpenFOAM за счёт переноса ..." | ||
Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
"... В данной работе предложен уточненный метод автоматизированной оценки степени опасности найденных ..." | ||
Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
"... В статье проанализированы тенденции развития окружающего технического мира, обязывающие к ..." | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
"... В статье предложена объектная модель представления данных при проведении глубокого анализа сетевого ..." | ||
Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
"... В статье рассматривается метод поиска уязвимостей форматной строки в исполняемом бинарном коде ..." | ||
Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
В. В. Подымов, В. А. Захаров | ||
"... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..." | ||
Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, В. В. Подымов | ||
"... эффективно решена при помощи процедур проверки эквивалентности программ в рассматриваемых моделях. Основной ..." | ||
Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
"... В данной статье обобщается опыт разработки тестовых наборов для тестирования соответствия ..." | ||
Том 30, № 2 (2018) | Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках | Аннотация PDF (Rus) похожие документы |
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин | ||
"... -линейной аппроксимацией хорошо согласуются с аналитическим решением, в отличие от численного приближения с ..." | ||
151 - 180 из 369 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)