Сортировать по:
| Выпуск | Название | |
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
| Е. А. Велесевич | ||
| "... False cache sharing happens when different parallel execution threads update the variables ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... microprocessors caches. Common properties of memory subsystem devices and those specific to caches are described ..." | ||
| Том 33, № 3 (2021) | Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус | Аннотация похожие документы |
| Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... In this research-in-progress report, we propose a novel approach to unified cache usage analysis ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... This article analyzes existing methods of verification of cache coherence protocols of scalable ..." | ||
| Том 32, № 2 (2020) | Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» | Аннотация похожие документы |
| Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... State of the art microprocessor systems usually include complex hierarchy of a cache memory ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| "... . The suggested method has been used in verification of the L3 cache of the Elbrus-8C microprocessor and allowed ..." | ||
| Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
| И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
| "... В статье рассматривается метод поиска уязвимостей форматной строки в исполняемом бинарном коде ..." | ||
| Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов, Алексей Меркулов | ||
| "... translation. We improve lookup of existing translation block in translation cache in QEMU, evaluate impact ..." | ||
| Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, Н. Е. Малышев | ||
| "... Ошибки при работе с библиотечными функциями обработки строк в языке Си являются частой причиной ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... This paper introduces a method for scalable verification of cache coherence protocols described ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... This paper introduces a technique for scalable functional verification of cache coherence protocols ..." | ||
| Том 30, № 5 (2018) | Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf | Аннотация PDF (Rus) похожие документы |
| С. Г. Ковалёв | ||
| "... functionality based on the use of undocumented mechanisms for working with the system cache. The author ..." | ||
| Том 30, № 1 (2018) | Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша | Аннотация PDF (Rus) похожие документы |
| Е. И. Гусев | ||
| "... Cache Fusion) choice for cloud DBMS. As a result researching the Global Cache Fusion approach ..." | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| "... access instructions, namely load and store instructions, and memory devices such as cache units ..." | ||
| Том 23 (2012) | Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов, А. А. Прохоров | ||
| "... One of the most important ways of increasing the speed of the modern databases is to cache ..." | ||
| Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) похожие документы |
| И. С. Таранов | ||
| "... памяти массивов текстовых строк, реализованная для поддержки индексов в XML СУБД Sedna. Описываются ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... management mechanisms such as translation lookaside buffers, page tables, table lookup units, and caches ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| "... situations (exceptions, pipeline stalls, branch mispredictions, data evictions in caches, etc.). The article ..." | ||
| Том 32, № 4 (2020) | Извлечение логической структуры из сканированных документов | Аннотация PDF (Rus) похожие документы |
| Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| "... извлечения структуры из них. Данный метод основан на многоклассовой классификации строк документа, в том ..." | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| "... this approach is the correct handling of changes in the file system. Operating systems that cache write requests ..." | ||
| Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Иванишин | ||
| "... таких стеках между нитями. Описывается схема организации выполнения одной OpenMP-нити в 32 синхронных ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... типов предупреждений, масштабируемость до программ в миллионы строк кода и приемлемое качество анализа ..." | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... is small. It is possible to reduce time of analysis using cache of compilation results for rarely changed ..." | ||
| Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
| А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
| "... pages to decrease number of TLB cache misses and NUMA emulation mechanism to provide the description ..." | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... поддержаны в QEMU, что влечет за собой очень длинную и запутанную строку запуска эмулятора. При использовании ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... 241 уязвимости на 590709 строк кода, что показывает высокую плотность предупреждений на миллион строк ..." | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан | ||
| "... способы увеличения точности анализа за счёт анализа циклов работы со строками, а также предварительного ..." | ||
| Том 34, № 1 (2022) | Анализ регулярности матриц | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ | ||
| "... четырёхмерной матрицей, её координаты – это строфа, строка в строфе, стих в строке и иероглиф в стихе; пустые ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... динамической памяти, для уязвимости использования памяти после освобождения и для уязвимости форматной строки ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... параметры командной строки. В случае периферийного устройства от разработчика потребуется реализовать ..." | ||
| Том 35, № 3 (2023) | Выявление REDoS cитуаций в регулярных выражениях структуры «домино» | Аннотация похожие документы |
| Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА | ||
| "... вычислительной сложности сопоставления строки с выражением и встречается во многих библиотеках регулярных ..." | ||
| Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
| Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
| "... and poorer instruction cache locality. On some architectures, binary interface of PLT calls constrains ..." | ||
| Том 33, № 4 (2021) | Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Артур Евгеньевич ГАЙНОВ, Борис Владимирович КОНДРАТЬЕВ | ||
| "... встраивании удлиненного пробела в выделенные области строк текста и корректировке остальных значений величин ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... на 12-ти строковых функциях из репозитория Linux. Оценка степени читаемости строк, содержащихся в ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... интенсивной интерпретации текстовых строк во время тестового прогона, предварительно образуется специальное ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... проектов с открытым исходном кодом на языках C/C++/Java общим размером более 14 млн. строк кода ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... вершины до вершины такой, что метки на ребрах этого пути образуют строку, выводимую из нетерминала в ..." | ||
| 1 - 39 из 50 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
