Сортировать по:
Выпуск | Название | |
Том 35, № 1 (2023) | Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома | Аннотация похожие документы |
Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС | ||
"... необходимостью. В индустрии программного обеспечения тысячи разработчиков программного обеспечения начали ..." | ||
Том 35, № 1 (2023) | Оценка программного проекта с использованием методов гладких кривых и методов выбора переменных и их регуляризации с использованием базы данных клиновидной формы | Аннотация похожие документы |
Франсиско ВАЛЬДЕС-СУТО, Лизбет НАРАНХО-АЛЬБАРРАН | ||
"... действия по оценке важным элементом успеха программного проекта. За последние семь десятилетий было ..." | ||
Том 29, № 1 (2017) | Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов | ||
Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) похожие документы |
С. Г. Грошев | ||
Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
В. О. Мордань | ||
"... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..." | ||
Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
Том 33, № 6 (2021) | Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов | Аннотация PDF (Rus) похожие документы |
Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ | ||
Том 33, № 5 (2021) | Численное исследование микроклимата помещения с использованием СПО | Аннотация PDF (Rus) похожие документы |
Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА | ||
"... _Saturne, относящегося к свободному программному обеспечению (СПО). Построение сетки выполнено в программном комплексе ..." | ||
Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
"... проектирования, основанный на использовании программных средств с открытым исходным кодом совместно с ..." | ||
Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов | ||
"... Развитие методов обнаружения вредоносных приложений привело к развитию специальных технологий ..." | ||
Том 28, № 3 (2016) | Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин | ||
Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
"... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..." | ||
Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
"... Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся ..." | ||
Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
А. Ю. Тихонов, А. И. Аветисян | ||
"... Задачу анализа программного обеспечения (ПО) будем рассматривать как задачу получения некоторых ..." | ||
Том 30, № 5 (2018) | Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf | Аннотация PDF (Rus) похожие документы |
С. Г. Ковалёв | ||
Том 30, № 6 (2018) | Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин | ||
Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
А. В. Козачок | ||
"... порождает необходимость запуска в данной среде новых компонентов и программного обеспечения при условии ..." | ||
Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... стека при взаимодействии с аппаратно-программным ядром для обеспечения стабильности работы физического ..." | ||
Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) похожие документы |
А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
"... фирмами, могут быть спрятаны вредоносные подсхемы (Trojan circuits) c целью разрушения системы или ..." | ||
Том 35, № 2 (2023) | Исследование состязательных атак на нейронные сети распознавания образов | Аннотация похожие документы |
Денис Владимирович КОТЛЯРОВ, Глеб Дмитриевич ДЮДЮН, Наталья Витальевна РЖЕВСКАЯ, Мария Анатольевна ЛАПИНА, Михаил Григорьевич БАБЕНКО | ||
Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
С. В. Козин, В. С. Мутилин | ||
"... создания продуктовых линеек программного обеспечения. Сегодня это одна из наиболее сложных программных ..." | ||
Том 31, № 3 (2019) | Разработка программной среды для управления интеллектуальными устройствами в реальном времени | Аннотация похожие документы |
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович | ||
"... Предметом данной статьи является разработка программной среды для управления интеллектуальными ..." | ||
Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
"... пилотные версии инструментальных и проблемно-ориентированных модулей программной платформы Теметос для ..." | ||
Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, Е. М. Новиков | ||
Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... , безопасности, надежности и производительности. Те подходы к обеспечению качества программных систем, которые в ..." | ||
Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
Д. С. Кононов | ||
"... программном модуле на основе предварительного восстановления программной архитектуры в ходе анализа ..." | ||
Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
"... инфраструктуры предприятия. Основная идея заключается в разработке программной среды для создания и выполнения ..." | ||
31 - 60 из 102 результатов | << < 1 2 3 4 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)