Сортировать по:
| Выпуск | Название | |
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... of an analyzed algorithm. A QEMU Developer Toolkit (QDT) is introduced, offering support for the domain specific ..." | ||
| Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
| "... Implementing a new target architecture in Qemu involves creation of a dynamic binary translator ..." | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... of describing heuristic algorithms for profile generation that simplifies understanding of them and makes them ..." | ||
| Том 22 (2012) | Задача локального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов | ||
| "... evaluates possible improvements to the local register allocation algorithm in QEMU. The local register ..." | ||
| Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| К. А. Батузов | ||
| "... the problem of global register alloction during dynamic binary translation. Since existing algorithms ..." | ||
| Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов, Алексей Меркулов | ||
| "... of register allocation algorithm on program performance in QEMU, implement simple machine independent ..." | ||
| Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... program. It might be the description of implemented algorithms, output data formats, such as file formats ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 22 (2012) | Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
| М. А. Трушников | ||
| "... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..." | ||
| Том 23 (2012) | Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce | Аннотация PDF (Rus) похожие документы |
| А. Ю. Пигуль | ||
| "... in a MapReduce environment. Unfortunately, join algorithms is not directly supported in MapReduce. The aim ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... The article presented a set of algorithms that form the basis of the safe code execution system ..." | ||
| Том 32, № 1 (2020) | Эффективные реализации алгоритмов тематического моделирования | Аннотация PDF (Rus) похожие документы |
| Мурат Азаматович Апишев | ||
| "... upgrade topic modeling algorithms for multiprocessor systems. In this paper, we provide an overview ..." | ||
| Том 30, № 2 (2018) | Распараллеливание реализаций сугубо последовательных алгоритмов | Аннотация PDF (Rus) похожие документы |
| А. Б. Бугеря, Е. С. Ким, М. А. Соловьев | ||
| "... the used algorithm is purely sequential, there are no parallel alternatives to the algorithm used, and its ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... QEMU is an open-source full system emulator based on the dynamic binary translation approach. QEMU ..." | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... QEMU is a widely used and fairly accurate emulator capable of emulating dozens of guest systems ..." | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) похожие документы |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| "... Distributed algorithms of solving problems on undirected graphs are considered. In section 2 ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... . In this regard, a new algorithm for excluding low-quality calculation cells is being discussed. The simulations ..." | ||
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, Д. В. Сидоров | ||
| "... and use algorithms for solving the CNF SAT problem for input data generation and path alteration. SAT ..." | ||
| Том 24 (2013) | Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
| М. А. Трушников | ||
| "... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..." | ||
| Том 19 (2010) | Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
| Н. Н. Кузюрин, А. И. Поспелов | ||
| "... In the article an on-line algorithm for packing rectangles into a strip is presented and studied ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... slicing algorithm that eliminates redundant constraints from a path predicate without accuracy loss ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... Equivalence checking algorithms found vast applications in system programming; they are used ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... by optimization of tests suites and by test generation algorithms including on-the-fly. We consider the main ..." | ||
| Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) похожие документы |
| Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
| "... to improve the existing parsing techniques. The most asymptotically efficient parsing algorithm that can ..." | ||
| Том 36, № 3 (2024) | О методах извлечения алгоритмов из бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН | ||
| "... The paper proposes an iterative method for extracting algorithms from a binary code ..." | ||
| Том 36, № 4 (2024) | Интеллектуальные алгоритмы обнаружения атак в веб-среде | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Виталия Валентиновна МОВЗАЛЕВСКАЯ, Марина Евгеньевна ТОКМАКОВА, Михаил Григорьевич БАБЕНКО, Виктор Павлович КОЧИН | ||
| "... The article is devoted to the analysis of the use of machine learning algorithms to detect attacks ..." | ||
| Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян | ||
| "... The paper discusses the problem of representation of algorithms extracted from binary code ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... approach for i386 platform upon the multi-platform simulator QEMU. Our approach uses instrumentation ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... симуляторе QEMU, которые отличаются тем, какие компоненты виртуальной машины включаются в воспроизведение ..." | ||
| Том 27, № 3 (2015) | Двухшаговый генератор гармоничных мелодий | Аннотация PDF (Rus) похожие документы |
| Софья Латкина | ||
| "... in generating algorithm working. It contains review of existing solutions, description of their key features ..." | ||
| Том 34, № 1 (2022) | Алгоритмы планирования вычислений с учетом избыточности и неопределенности | Аннотация PDF (Rus) похожие документы |
| Александр Геннадьевич ФЕОКТИСТОВ, Роман Олегович КОСТРОМИН, Сергей Алексеевич ГОРСКИЙ, Игорь Вячеславович БЫЧКОВ, Андрей Николаевич ЧЕРНЫХ, Ольга Юрьевна БАШАРИНА | ||
| "... environments are important problems. In this regard, we propose new algorithms for computation planning taking ..." | ||
| Том 34, № 1 (2022) | Алгоритмы обработки естественного языка для понимания семантики текста | Аннотация PDF (Rus) похожие документы |
| Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА | ||
| Том 23 (2012) | Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов, А. А. Прохоров | ||
| "... of classical replacement algorithms of disk data caching is ineffective. This paper reviews recently developed ..." | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... approximates the functional equivalence of programs. In this paper we develop a new variant of the algorithm ..." | ||
| Том 30, № 2 (2018) | Алгоритм удаления невидимых поверхностей на основе программных проверок видимости | Аннотация PDF (Rus) похожие документы |
| В. И. Гонахчян | ||
| "... methods that have spatial and time coherence. We propose algorithm to increase rendering performance ..." | ||
| Том 35, № 6 (2023) | Применение алгоритмов машинного обучения для предсказания турбулентной вязкости | Аннотация PDF (Rus) похожие документы |
| Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА | ||
| "... The article discusses machine learning algorithms for predicting turbulent viscosity using ..." | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
| М. А. Абакумов, П. М. Довгалюк | ||
| "... . Therefore, it is possible to connect to the guest system running in the QEMU emulator. Interaction between ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| Том 28, № 3 (2016) | Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере | Аннотация PDF (Rus) похожие документы |
| Е. А. Ильченко | ||
| "... with objects exceeding RAM. Such objects are placed on the hard drive. We give a description of such algorithms ..." | ||
| 1 - 39 из 413 результатов | 1 2 3 4 5 6 7 8 9 10 11 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
