Сортировать по:
Выпуск | Название | |
Том 35, № 3 (2023) | Выявление REDoS cитуаций в регулярных выражениях структуры «домино» | Аннотация похожие документы |
Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА | ||
"... in popular regex engines, such as Python, JavaScript, and C++. In this paper, we examine several existing ..." | ||
Том 33, № 2 (2021) | Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма | Аннотация PDF (Rus) похожие документы |
Донован РИАНЬО-ЭНРИКЕС, Родриго ПИНОН-АЯЛА, Гильермо МОЛЕРО-КАСТИЛЬО, Эверардо БАРСЕНАС, Алехандро ВЕЛАСКЕС-МЕНА | ||
"... Представлена реализация алгоритма распознавания Web-рекламы с использованием регулярных выражений ..." | ||
Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) похожие документы |
В. Г. Варданян | ||
"... In recent years, JavaScript has become one of the most popular programming languages on the web ..." | ||
Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Евгений Шарыгин | ||
"... Modern JavaScript engines use just-in-time (JIT) compilation to produce binary code. JIT compilers ..." | ||
Том 27, № 6 (2015) | Подходы к оптимизации движка JavaScript V8 | Аннотация PDF (Rus) похожие документы |
Дмитрий Бочарников | ||
"... JavaScript is one of the most ubiquitous programming languages. Performance of JavaScript engines ..." | ||
Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
"... The paper is dedicated to performance improvement of JavaScript programs. In this work we examine ..." | ||
Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
А. Р. Гнатенко, В. А. Захаров | ||
"... оператор снабжён регулярным выражением над входным алфавитом автомата, и 2) каждое атомарное высказывание ..." | ||
Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
Наталья Сергеевна ЕРОХИНА | ||
"... Fuzzing of JavaScript engines is one of the most difficult areas in web-browser testing due ..." | ||
Том 27, № 6 (2015) | Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM | Аннотация PDF (Rus) похожие документы |
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян | ||
"... Since its inception in the middle of the 90’s, JavaScript has become one of the most popular web ..." | ||
Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
И. Е. Бронштейн | ||
"... , overview of static analyzers for programs in Python, Ruby and JavaScript is done. After this, the paper ..." | ||
Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
Валерий Николаевич ИГНАТЬЕВ | ||
"... конечных автоматах над деревьями (КАД), аналогичных НКА и ДКА для регулярных языков над символьным ..." | ||
Том 24 (2013) | Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... реляционной модели данных. Рассмотрены особенности табличных выражений в стандарте SQL и показаны случаи, в ..." | ||
Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин | ||
"... семафора. Определено множество регулярных языков, моделирующих блокировки и разблокировки при конкретном ..." | ||
Том 31, № 5 (2019) | Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Абрамов, Денис Евгеньевич Хмельнов, Анна Андреевна Рябенко | ||
"... Обсуждаются задачи построения лорановых и регулярных решений линейных обыкновенных ..." | ||
Том 31, № 6 (2019) | Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Михайлов, Ильяс Наилевич Сибгатуллин | ||
Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
"... запросов, в частности, компиляция выражений оператора WHERE и метода последовательного сканирования таблиц ..." | ||
Том 33, № 3 (2021) | Классификация HTTP-запросов к серверу в задаче автоматического обхода современных веб-приложений | Аннотация похожие документы |
Анна Вадимовна ЛАПКИНА, Андрей Александрович ПЕТУХОВ | ||
"... of additional identification data that can be obtained by observing the web page JavaScript code execution ..." | ||
Том 35, № 1 (2023) | Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений | Аннотация PDF (Rus) похожие документы |
Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ | ||
"... from JavaScript client-side code. Specific patterns of using serialized objects within the client-side ..." | ||
Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
Н. Ю. Вьюгинов, В. С. Фондаратов | ||
"... быть легко представлен в виде регулярного выражения. В сгенерированном автомате учитывается только та ..." | ||
Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
"... поддержку теории строк и регулярных выражений. В статье описывается возможность применения этой теории к ..." | ||
Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... некоторые компоненты (сообщения и линии жизни) на основе регулярных выражений и строить иерархические ..." | ||
Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... синтезируемых UML диаграмм последовательности, мы предлагаем обобщающую технику, основанную на регулярных ..." | ||
Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
"... может происходить как поиском гаджетов по шаблонам, задаваемым регулярными выражениями, так и с учетом ..." | ||
Том 25 (2013) | Исследование и развитие метода декомпозиции для анализа больших пространственных данных | Аннотация PDF (Rus) похожие документы |
В. А. Золотов, В. А. Семенов | ||
"... пространственных данных. Главное внимание уделяется алгоритмам, основанным на регулярных октальных деревьях и ..." | ||
Том 23 (2012) | Комбинирование признаков для извлечения тематических цепочек в новостном кластере | Аннотация PDF (Rus) похожие документы |
А. А. Алексеев, Н. В. Лукашевич | ||
"... В данной работе предлагается метод для извлечения цепочек семантически близких слов и выражений ..." | ||
Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... точном учете семантики выражений с указателями. От точности анализа данных выражений зависит ..." | ||
Том 34, № 1 (2022) | Анализ регулярности матриц | Аннотация PDF (Rus) похожие документы |
Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ | ||
"... матрицы к сумме регулярности «самой регулярной» матрицы (все значимые символы которой одинаковы) той же ..." | ||
Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
В. В. Никифоров, С. Н. Баранов | ||
"... представление теста, в котором исходная строковая форма преобразуется в форму регулярного массива и, таким ..." | ||
Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
"... сравнению с традиционно используемыми регулярными и контекстно-свободными грамматиками. Известно, что задача ..." | ||
Том 21 (2011) | Решение проблемы NULL в запросах к реляционной базе данных, используя операторы реляционной алгебры A. | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... В операторах ограничения предлагается логические выражения интерпретировать как реляционные. Точнее ..." | ||
Том 35, № 2 (2023) | Параметрические исследования течений в микросоплах | Аннотация PDF (Rus) похожие документы |
Екатерина Александровна МИТРЮКОВА | ||
"... пространства за ним. Задача решалась методом контрольного объема на блочно-структурированной регулярной сетке ..." | ||
Том 30, № 5 (2018) | Численное моделирование качки судна с шахтным устройством на встречном волнении | Аннотация PDF (Rus) похожие документы |
К. Д. Овчинников | ||
"... регулярном волнении при наличии и отсутствия скорости хода показали, что численное моделирование позволяет с ..." | ||
Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
Петр Николаевич ДЕВЯНИН | ||
"... верификации формальных моделей МРОСЛ ДП-модель регулярно перерабатывается. В настоящее время завершена ..." | ||
Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
"... файла. Изначально, в конфигурационном файле, все аргументы представляют собой выражения, поэтому ..." | ||
Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
Игорь Бурдонов, Александр Косачев | ||
"... представления регулярных множеств трасс. Для представления финальной трассовой модели в работе предлагается ..." | ||
Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация похожие документы |
Е. А. Глуходед, С. И. Сметанин | ||
"... могут быть выражены точным числом. Как правило, используются привычные для человека слова или выражения ..." | ||
Том 34, № 6 (2022) | Оценка языковой способности нейронных моделей на материале предикативного согласования в русском языке | Аннотация PDF (Rus) похожие документы |
Ксения Андреевна СТУДЕНИКИНА | ||
"... , которая проявляется в функции автоматической оценки грамматичности языковых выражений. В данной работе ..." | ||
Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, М. У. Мандрыкин | ||
"... подкванторных выражений с использованием внешнего SMT-решателя CVC3. В статье описываются изменения, которые ..." | ||
Том 35, № 1 (2023) | Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома | Аннотация похожие документы |
Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС | ||
"... разработчиков во время пандемии, выраженному в испытываемых эмоциях и понимании того уровня, на котором ..." | ||
1 - 39 из 56 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)