Сортировать по:
| Выпуск | Название | |
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... модельно-языковой и информационно-программной среды разработки и верификации формальных моделей требований ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... Представлены методы и средства реализации программно-управляемого процесса разработки ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... Большие программные системы всегда создаются достаточно долго, в несколько этапов, это приводит ..." | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
| А. А. Карнов, С. В. Зеленов | ||
| "... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..." | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| "... Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических ..." | ||
| Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация похожие документы |
| Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
| "... аппаратного прототипа квадрокоптера и разработка программного решения для полетного контроллера с высокими ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... создания продуктовых линеек программного обеспечения. Сегодня это одна из наиболее сложных программных ..." | ||
| Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| "... В данной статье демонстрируется целесообразность применения языка моделирования программно ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... верификации тестовая программа и библиотека окружения формируют программный модуль, взаимодействующий ..." | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации ..." | ||
| Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... стека при взаимодействии с аппаратно-программным ядром для обеспечения стабильности работы физического ..." | ||
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
| Олег Максимович ПЕТРОВ | ||
| "... Зачастую инструмент формальной верификации моделей программ не может получить вердикт ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... , безопасности, надежности и производительности. Те подходы к обеспечению качества программных систем, которые ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... В данной работе ставится задача разработки методов качественной верификации операционных систем ..." | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... переходов в командах и уменьшающие общее число команд. Представлена программная модель ускорителя на основе ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... , разработанных на языках семейства HDL (Hardware Description Language). Методы извлечения моделей используются ..." | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
| В. О. Мордань | ||
| "... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..." | ||
| Том 33, № 5 (2021) | Численное исследование микроклимата помещения с использованием СПО | Аннотация PDF (Rus) похожие документы |
| Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА | ||
| "... турбулентности. Численное решение было получено методом конечных объемов с помощью программного кода Code ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| "... иллюстрирует эффективность инструмента при верификации фрагмента реального программного обеспечения ..." | ||
| Том 34, № 5 (2022) | Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле | Аннотация PDF (Rus) похожие документы |
| Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ | ||
| "... и собственного САПР в маршруте верификации СнК со степенью интеграции в миллиарды транзисторов, изначально ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... и производительности программную систему. Качество ядра современных ОС уже находится на достаточно высоком уровне ..." | ||
| Том 22 (2012) | Программная конвейеризация циклов на платформе ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий | ||
| "... ), a well-known software pipelining technique, in the GNU Compiler Collection (GCC) for ARM platform. Prior ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых ..." | ||
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) похожие документы |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| "... технологии верификации и тестирования программного обеспечения. Представлены инструменты автоматизации ..." | ||
| Том 32, № 3 (2020) | Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 | Аннотация похожие документы |
| Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ | ||
| "... обработки больших данных путем развертывания программных подходов MapReduce. Данные хранятся ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся ..." | ||
| Том 30, № 6 (2018) | Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД | Аннотация PDF (Rus) похожие документы |
| Б. М. Шабанов, О. И. Самоваров | ||
| "... один из подходов к созданию ЦОД - концепция программно-определяемой инфраструктуры. Программно ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... к поведения программных или аппаратных компонентов. В статье описываются наиболее значимые применения ..." | ||
| Том 30, № 2 (2018) | Алгоритм удаления невидимых поверхностей на основе программных проверок видимости | Аннотация PDF (Rus) похожие документы |
| В. И. Гонахчян | ||
| "... . Предлагается алгоритм удаления невидимых поверхностей на основе программных проверок видимости относительно ..." | ||
| Том 32, № 2 (2020) | Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения | Аннотация похожие документы |
| Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ | ||
| "... предложен метод, основанный на аддитивной верификации программного обеспечения по заданным критериям ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... исполнения программного кода. Функциональным предназначением данной системы является проведение исследования ..." | ||
| Том 36, № 1 (2024) | Основы квантовых вычислений и их связь с разработкой программного обеспечения | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| "... блоками вычислений. Программное обеспечение является, наряду с квантовым оборудованием, ключевым ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... Рассмотрен широкий круг вопросов теории и практики разработки крупномасштабного программного ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... Большинство современных инструментов статической верификации плохо масштабируются на сложное ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... программным обеспечением, состоящим из компонентов технологии TrustZone. Представлены результаты анализа ..." | ||
| Том 37, № 4: часть 1. июль-август | Определение неточностей в работе некоторых специализированных цикловых оптимизаций в компиляторе LCC для архитектуры «Эльбрус» | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ЕРМОЛИЦКИЙ, Дмитрий Николаевич ЛЕВЧЕНКО, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... for detecting inaccuracies in the work of two important for VLIW optimizations: software pipeline with hardware ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... Верификация драйверов ОС Linux - это широкая область для применения различных методов верификации ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... on different hardware; the hardware often has limited memory. Embedded OS contains many features and drivers ..." | ||
| Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) похожие документы |
| П. А. Клеменков | ||
| "... описывается обобщенный подход к оценке требуемых программному обеспечению ресурсов при переносе его ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..." | ||
| Том 38, № 3: часть 2. май-июнь | Интегрированная среда моделирования для верификации и валидации программ управления подключенными и высокоавтоматизированными транспортными средствами | Аннотация PDF (Rus) похожие документы |
| Виталий Гургенович СТЕПАНЯНЦ, Григорий Сергеевич ХОРОШИЛОВ, Илья Михайлович ДОЛГОВ, Евгений Антонович НАРХОВ, Андрей Валерьевич КАРПУХИН | ||
| "... инструментами для моделирования подключенного и высокоавтоматизированного ТС и его программного обеспечения ..." | ||
| Том 38, № 3: часть 3. май-июнь | Особенности реализации алгоритмов и представления данных в системе оптического моделирования Lumicept в рамках верификации по тестовым сценариям CIE 171:2006 | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич КОПЫЛОВ, Елисей Дмитриевич БИРЮКОВ, Игорь Станиславович ПОТЕМИН, Алексей Геннадьевич ВОЛОБОЙ | ||
| "... методы оптического моделирования, используемые в других программных комплексах, в частности, методы ..." | ||
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
| Д. В. Силаков | ||
| "... информационной безопасности. Предлагается обзор подходов к повышению безопасности программных систем, основанных ..." | ||
| Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация похожие документы |
| Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
| "... определению МХ и созданию на их основе вариантов программных систем (ПС), операционных систем ..." | ||
| Том 37, № 1: январь-февраль | Математическое моделирование почвенных процессов с использованием открытого программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Всеволодович КУЛИНСКИЙ, Сергей Владимирович СТРИЖАК | ||
| "... спроектирована и создана на базе аппаратно-программного комплекса, куда входят такие компоненты как сервера ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... при формальной верификации. На практике такие модели в крупных программных системах являются ..." | ||
| Том 29, № 5 (2017) | Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками | Аннотация PDF (Rus) похожие документы |
| А. А. Цынаева, С. Е. Разоренов, В. В. Белая | ||
| "... . Численное решение получено с помощью программного пакета Code Saturne, распространяемого на основе свободной ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... верификации цифровой аппаратуры. На текущий момент большое распространение имеют методы генерации ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... Верификация программного обеспечения - вид деятельности, направленный на контроль качества ..." | ||
| Том 38, № 2: март-апрель | Решение задачи предобработки данных для изготовления фотошаблонов методом электронно-лучевой литографии | Аннотация PDF (Rus) похожие документы |
| Андрей Владимирович КОРШУНОВ, Дарья Игоревна РЫЖОВА, Дмитрий Александрович БУЛАХ, Екатерина Дмитриевна ЗУБАРЕВА, Иван Дмитриевич САЛАХОВ, Илья Игоревич ШВЕЦ, Даниил Александрович КЛИМУШКИН | ||
| "... верификации геометрических характеристик, связанных именно с особенностями применения электронной литографии ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Аппаратное ускорение модуля MMU при полносистемной эмуляции aarch64 на x86-64 в эмуляторе Qemu | Аннотация PDF (Rus) похожие документы |
| Дмитрий Николаевич ПОЛЕТАЕВ, Павел Михайлович ДОВГАЛЮК, Георгий Николаевич ТЕЙС, Максим Алексеевич КОСТИН | ||
| "... с трансляцией гостевых виртуальных адресов при полносистемной эмуляции с программного MMU на MMU хостовой ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... по разработке тестов для промышленных программных и аппаратных систем, включающих телекоммуникационные протоколы ..." | ||
| Том 33, № 4 (2021) | Об одном методе синхронизации состояния алгоритма обработки пакетов в сетевом процессорном устройстве | Аннотация похожие документы |
| Ярослав Константинович КУЗЬМИН, Дмитрий Юрьевич ВОЛКАНОВ, Юлия Александровна СКОБЦОВА | ||
| "... (СПУ), основанного на специализированных вычислительных ядрах. В настоящее время в программно ..." | ||
| 1 - 53 из 94 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
