Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 диссертация)