Сортировать по:
Выпуск | Название | |
Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
"... tion of covering arrays, that is ensuring coverage of all pairs, triple, etc. of configuration ..." | ||
Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
К. А. Маллачиев, А. В. Хорошилов | ||
"... simplifies both configuration and development. Splitting OS to isolated modules with well-specified ..." | ||
Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация похожие документы |
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
"... from OS kernel to FM for the generation of new variants of the OS. We discuss approaches ..." | ||
Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
О. В. Горемыкин | ||
"... , IDE controllers, sound and USB components, and other). Guest system hardware configuration initialized ..." | ||
Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
С. В. Козин, В. С. Мутилин | ||
"... of all configurations. We offer to check the operating system with special wrapper for tools analyzing ..." | ||
Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
"... . Emulation of the system involves the configuration of virtual devices, which are supported in large numbers ..." | ||
Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
"... ought to evolve as well. One of the key principles of new generation of instruments for software ..." | ||
Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
"... The article is devoted to end-to-end testing of the application for managing the configuration ..." | ||
Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
Н. Ю. Фокина, М. А. Соловьев | ||
"... This paper proposes a method of automated generation of machine instruction decoders for various ..." | ||
Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
"... of the work, the generation of parsers using LR(1)-automata was studied and implemented, two auxiliary ..." | ||
Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
"... generation by translating a C++ program into an optimized implementation in Vulkan, which includes automatic ..." | ||
Том 35, № 2 (2023) | Генерация изображений рукописного текста на русском языке | Аннотация PDF (Rus) похожие документы |
Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
"... генерации дополнительных обучающих наборов данных на качество моделей распознавания: метод на основе ..." | ||
Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
Н. Ю. Вьюгинов, В. С. Фондаратов | ||
"... a new approach to type annotations generation. We trace direct method calls while the program is running ..." | ||
Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
"... . Применение фаззинга для генерации разных сценариев использования программного интерфейса приложения и ..." | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
"... В данной работе предложен метод генерации тестовых программ для функциональной верификации блока ..." | ||
Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... is presented. Several most effective techniques of constructive (code generation), testing (random test case ..." | ||
Том 32, № 3 (2020) | Генерация кодов для вещественной арифметики в архитектуре MIPS | Аннотация похожие документы |
Иван Сергеевич АРХИПОВ | ||
"... This article is related to code generation for floating-point arithmetics in the MIPS architecture ..." | ||
Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация похожие документы |
А. С. Кирьянцев, И. А. Стефанова | ||
"... . According to the suggested algorithm, the prototype of key and signature generation has been created ..." | ||
Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
А. Д. Татарников | ||
"... Test program generation and simulation is the most widely used approach to functional verification ..." | ||
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
"... This paper gives a survey of existing methods and tools for test program generation ..." | ||
Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
"... This paper provides a survey of methods and tools for automated code-reuse exploit generation ..." | ||
Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов | ||
"... : input generation for increasing test coverage for program, inputs of death generation, exploit ..." | ||
Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин | ||
"... . The article presents method of directed test cases generation. This generation supposes systematic ..." | ||
Том 33, № 3 (2021) | Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства | Аннотация похожие документы |
Роман Александрович НЕСТЕРОВ, Семен Юрьевич САВЕЛЬЕВ | ||
"... In this paper, we present an approach to the generation of Petri nets exhibiting desired ..." | ||
Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
"... of input data. There are tools supporting test data generation for database application on the basis ..." | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
"... In this work, a method for the automated test programs generation aimed at the verification ..." | ||
Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
М. С. Лебедев, С. А. Смолов | ||
"... Automated test generation is a promising direction in hardware verification research area ..." | ||
Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
"... application time (test length). Many algorithms have been suggested for test generation; however, no scalable ..." | ||
Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
"... program generation for memory coherence verification of “Elbrus” microprocessors. Requirements for memory ..." | ||
1 - 30 из 183 результатов | 1 2 3 4 5 6 7 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)