Сортировать по:
Выпуск | Название | |
Том 27, № 6 (2015) | Предисловие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 25 (2013) | Предисловие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 24 (2013) | Предисловие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 23 (2012) | Предисловие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 22 (2012) | Предисловие | Аннотация PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 20 (2011) | Предислоаие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 19 (2010) | Предисловие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 18 (2010) | Предисловие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
А. В. Когтенков | ||
"... Разыменование пустого указателя - это хорошо известная ошибка, встречающаяся в объектно ..." | ||
Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев | ||
"... ошибочной ситуации, сообщающие об ошибке только в том случае, когда она происходит на некотором множестве ..." | ||
Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
А. В. Когтенков | ||
"... Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно ..." | ||
Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян | ||
"... алгоритма, его представление в удобной для анализа форме и исследование его свойств. Для автоматизации ..." | ||
Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
В. О. Мордань | ||
"... выбирать более подходящий метод и настраивать его под конкретную задачу. В данной статье предлагается ..." | ||
Том 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, предназначенная для ..." | ||
Том 29, № 5 (2017) | Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, С. Е. Разоренов, В. В. Белая | ||
"... Работа посвящена численному исследованию теплоотдачи в прямоугольных каналах с односторонним ..." | ||
Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
"... свой подход в реализации отладчика. Такая же проблема возникает и с архитектурой процессора, под ..." | ||
Том 30, № 3 (2018) | Статический анализ зависимостей для семантической валидации данных | Аннотация похожие документы |
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов | ||
"... валидации и обеспечения возможности управления данными в соответствии с принципами ACID. ..." | ||
Том 26, № 5 (2014) | Исследование влияния длины улиц на течение воздуха в них | Аннотация PDF (Rus) похожие документы |
М. В. Волик | ||
"... склоне холма. Сравнение результатов расчетов в двумерном и трехмерном приближении показало, что длина ..." | ||
Том 25 (2013) | Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров | ||
"... Описан и обоснован алгоритм нахождения решения системы алгебраических уравнений над полем k для ..." | ||
Том 27, № 6 (2015) | Дерандомизационная криптостойкость гомоморфного шифрования | Аннотация PDF (Rus) похожие документы |
А. В. Трепачева | ||
"... В статье освещается проблематика построения и анализа систем криптографической защиты облачных ..." | ||
Том 27, № 6 (2015) | Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах | Аннотация PDF (Rus) похожие документы |
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский | ||
"... В работе представлены структура и отдельные компоненты облачного сервиса, предназначенного для ..." | ||
Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
В. Н. Игнатьев | ||
"... введение дополнительных ограничений на язык и стиль программирования. В работе предложен новый метод ..." | ||
Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) похожие документы |
А. В. Монаков | ||
"... В статье рассматривается задача повышения скорости расчётов в пакете OpenFOAM за счёт переноса ..." | ||
Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
"... , полученных при помощи полносистемного эмулятора. Даже в условиях одновременного функционирования DEP, ASLR и ..." | ||
Том 26, № 1 (2014) | Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack | Аннотация PDF (Rus) похожие документы |
О. И. Самоваров, С. С. Гайсарян | ||
"... платформа интегрирована в состав свободного пакета поддержки облачных сред OpenStack и использует его ..." | ||
151 - 180 из 374 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)