Сортировать по:
| Выпуск | Название | |
| Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) похожие документы |
| И. С. Таранов | ||
| "... algorithms for insertion, deletion and searching of variable-length strings in disk-resident trie structures ..." | ||
| Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) похожие документы |
| Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
| "... and classification problems in bioinformatics are based on searching the genomic subsequences possessing some ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... for tainted integers and strings have been implemented. The Juliet project was used to assess the coverage ..." | ||
| Том 27, № 3 (2015) | Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML | Аннотация PDF (Rus) похожие документы |
| Сергей Иванов, Анна Каленкова | ||
| "... all of them comprise an XML schema, which defines process serialization rules. Due to the fact ..." | ||
| Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
| И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
| "... In this paper search method for format string vulnerabilities is presented. The method is based ..." | ||
| Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, Н. Е. Малышев | ||
| "... Many buffer overrun errors in C programs are caused by erroneous string manipulations. These can ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| Том 27, № 3 (2015) | Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения | Аннотация PDF (Rus) похожие документы |
| Наталия Лиманова, Максим Седов | ||
| Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) похожие документы |
| Л. В. Иваничкина, А. П. Непорада | ||
| "... for both explicit disk faults and latent bit errors as well as procedures to detect them. A new analytical ..." | ||
| Том 23 (2012) | Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов, А. А. Прохоров | ||
| "... of classical replacement algorithms of disk data caching is ineffective. This paper reviews recently developed ..." | ||
| Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| Том 37, № 2 (2025) | Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка | Аннотация PDF (Rus) похожие документы |
| Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА | ||
| Том 34, № 4 (2022) | Автоматическое тестирование LLVM-программ со сложными входными структурами данных | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ | ||
| "... — списках, биномиальных кучах, AVL-деревьях, красно-чёрных деревьях, двоичных деревьях и борах (префиксных ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... driven by these schemas. These are clear text encoding format SPF and STEP-XML. Nowadays ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... solvers got support for a theory of strings and regular expressions. In the paper, we describe possible ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... vulnerabilities and format string vulnerabilities are examined in section 2. Methods for automatic generation ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... an embedded OS execution-based testing. To avoid heavy interpreting of text strings during the test run ..." | ||
| Том 27, № 1 (2015) | Сервисные средства интернет для решения бизнес-задач | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин | ||
| "... standards stack (SOAP protocol, WSDL language, UDDI interface and service, XML, BPEL and BPMN notations ..." | ||
| Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
| М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
| "... libraries subsystem is the base of platform information structure. It contains of free format XML files ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... a developed software tool as a Windows-application in C#. It produces UML models in the form of XML-files ..." | ||
| Том 30, № 2 (2018) | Онтология предметной области «Удобство использования программного обеспечения» | Аннотация PDF (Rus) похожие документы |
| А. А. Сытник, Т. Э. Шульга, Н. А. Данилов | ||
| "... of the user activity data in a standard RDF/XML format is demonstrated. Described ontology "Software Usability ..." | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| "... with AstraVer toolset. The code includes primarily string-manipulating functions and is verified against ..." | ||
| Том 35, № 3 (2023) | Выявление REDoS cитуаций в регулярных выражениях структуры «домино» | Аннотация похожие документы |
| Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА | ||
| "... by the high computational complexity of matching a string against a regex pattern. This issue is prevalent ..." | ||
| Том 27, № 6 (2015) | Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний | Аннотация PDF (Rus) похожие документы |
| Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов | ||
| "... taking into account types of applications. Heterogeneous workloads include CPU intensive, disk I/O ..." | ||
| Том 31, № 6 (2019) | Кэширование данных в мультиконтейнерных системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Грушин, Денис Олегович Лазарев, Станислав Александрович Фомин | ||
| "... because of compactness of containers and lower overhead costs of memory, disk, CPU. However ..." | ||
| Том 31, № 6 (2019) | Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Михайлов, Ильяс Наилевич Сибгатуллин | ||
| "... that the galaxy disk is quite thin. It is necessary to study so-called outer rings of galaxies. Studying ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... and modeling C-style strings as a very important case of buffers. Our goal is to use this knowledge to enhance ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... of LLVM and CVC4 frameworks is created. Experimental evaluation on 12 string processing routins from ..." | ||
| Том 34, № 4 (2022) | Методы и подходы к автоматическому связыванию сущностей на русском языке | Аннотация PDF (Rus) похожие документы |
| Анастасия Алексеевна МЕЗЕНЦЕВА, Елена Павловна БРУЧЕС, Татьяна Викторовна БАТУРА | ||
| "... terms in it as input. To generate candidates we use string match between terms in the input text ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии | Аннотация похожие документы |
| Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА | ||
| "... , a systematic mapping study (SMS) was performed. In the SMS, 241 articles were obtained with search string ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... form a string derivable from the nonterminal . As the regular and context-free languages have limited ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... and evaluating string expressions. Even in dynamically typed languages, type information is very useful ..." | ||
| Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) похожие документы |
| Р. Ш. Азимов, С. В. Григорьев | ||
| "... form a string derivable from the nonterminal A in some context-free grammar. This type of query ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... methodology, incorporating search strings tailored to capture relevant studies from five major data sources ..." | ||
| Том 32, № 2 (2020) | Подход автоматизации мониторинга дисковых носителей для системы оркестрации контейнеров Kubernetes | Аннотация похожие документы |
| Анастасия Сергеевна ШЕМЯКИНСКАЯ, Игорь Валерьевич НИКИФОРОВ | ||
| "... about disks using existing approaches and the proposed approach are given. Numerical results and graphs ..." | ||
| Том 29, № 3 (2017) | Обзор методов динамической компиляции запросов | Аннотация PDF (Rus) похожие документы |
| Е. Ю. Шарыгин, Р. А. Бучацкий | ||
| "... recently, disk storage has been the most affordable type of storage and the most prevalent one ..." | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| "... The paper proposes an approach to monitoring file operations through capturing virtual disk ..." | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... is larger log size mostly because deterministic area doesn’t include hard disks so all data flows from disks ..." | ||
| 1 - 39 из 54 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
