Сортировать по:
| Выпуск | Название | |
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина | ||
| Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
| А. В. Когтенков | ||
| Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов | ||
| "... подхода на реальных примерах, а также выявлены недостатки предложенного подхода и пути дальнейшего ..." | ||
| Том 29, № 5 (2017) | Программное обеспечение для создания адаптивных сеток | Аннотация PDF (Rus) похожие документы |
| А. Н. Семакин | ||
| Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| А. В. Когтенков | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... ощутимо автоматизируется, благодаря применению декларативного описания устройств и машин, а также средств ..." | ||
| Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян | ||
| Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов | ||
| Том 30, № 1 (2018) | Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель | Аннотация PDF (Rus) похожие документы |
| С. А. Дергачев | ||
| Том 30, № 1 (2018) | Принципы построения системы обеспечения жизненного цикла ответственных систем | Аннотация похожие документы |
| Б. А. Позин | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| Том 28, № 6 (2016) | Применение словарей и векторов слов для автоматического построения лексической онтологии | Аннотация похожие документы |
| Д. А. Усталов | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
| Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
| Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... операционные системы, такие как WxWorks, Fiasco OS, L4Ka::Pistachio и отладчики для них, а также был изучен их ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация похожие документы |
| А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
| "... , а также реализация алгоритма стабилизации с использованием фильтра Гаусса для сглаживания траектории ..." | ||
| Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... показаны методы, которыми достигается его мультиплатформенность, а также легкая переносимость на новую ..." | ||
| Том 29, № 1 (2017) | Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
| А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, А. В. Хорошилов | ||
| "... . В статье предлагаются новые методы систематического тестирования устойчивости к сбоям, а также ..." | ||
| Том 25 (2013) | Оптимальное упорядочение конфликтующих объектов и задача коммивояжера | Аннотация PDF (Rus) похожие документы |
| А. В. Воеводин, С. А. Косяченко | ||
| "... исследований сложности разработанных алгоритмов и точности решения, а также рекомендации по применению ..." | ||
| Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Канатов, Е. А. Зуев | ||
| Том 30, № 1 (2018) | Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания | Аннотация PDF (Rus) похожие документы |
| А. Н. Нуриев, А. М. Камалутдинов, О. Н. Зайцева | ||
| Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
| Том 30, № 2 (2018) | Распараллеливание реализаций сугубо последовательных алгоритмов | Аннотация PDF (Rus) похожие документы |
| А. Б. Бугеря, Е. С. Ким, М. А. Соловьев | ||
| "... алгоритм является сугубо последовательным, параллельных альтернатив используемому алгоритму нет, а время ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) похожие документы |
| В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
| Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин | ||
| "... , а вся остальная работа будет выполнена системой Svace. Алгоритм поиска повтороных блокировок ..." | ||
| 61 - 90 из 369 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
