Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
"... Gaussian convolution and its discrete analogue, Gauss transform, have many science and engineering ..."
 
Том 33, № 5 (2021) Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа Аннотация  PDF (Rus)  похожие документы
Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ
"... опровергнуть её. В таких случаях прибегают либо к апроксимации задачи, либо к эквивалентным преобразованиям ..."
 
Том 26, № 1 (2014) Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM Аннотация  PDF (Rus)  похожие документы
Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян
 
Том 30, № 2 (2018) Преобразование типизированных функций в реляционную форму Аннотация  PDF (Rus)  похожие документы
П. А. Лозов, Д. Ю. Булычев
"... рассмотрена задача автоматического преобразования функциональных программ в реляционные. Представлен метод ..."
 
Том 26, № 3 (2014) Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян
"... работе предлагается использовать компиляторные преобразования: перестановка местами функций в модуле ..."
 
Том 28, № 1 (2016) Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн Аннотация  PDF (Rus)  похожие документы
М. Провидухина, И. Сибгатуллин
"... спектральных элементов 8-го порядка и модифицированного кода nek5000. С помощью применения преобразований ..."
 
Том 36, № 4 (2024) Создание распределенных искусственных нейронных сетей на основе ортогональных преобразований Аннотация  похожие документы
Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Владислав Вячеславович ЛУЦЕНКО, Наталья Николаевна КУЧУКОВА
"... модули с помощью ортогональных преобразований. Благодаря такому разделению становится возможным модульная ..."
 
Том 28, № 2 (2016) Верификация преобразования грамматики в нормальную форму Хомского в F Аннотация  похожие документы
М. И. Полубелова, С. Н. Божко, С. В. Григорьев
"... одного из таких алгоритмов - преобразования грамматики в нормальную форму Хомского - что является первой ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... editor, позволяющий описывать правила преобразования сигналов в соответствии с приведенной разработанной ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
"... эквивалентных преобразований, позволяющая проводить структурный анализ формализованных программ. ..."
 
Том 28, № 5 (2016) Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов
"... преобразования, которые были направлены на изменение сигнатуры исполняемого файла. Для работы этих инструментов ..."
 
Том 34, № 4 (2022) Методы определения элементов PQRST-комплекса электрокардиограммы Аннотация  PDF (Rus)  похожие документы
Ольга Анатольевна МАШКОВА, Всеволод Владиславович ШАКЛЕИН, Юрий Витальевич МАРКИН, Евгений Андреевич КАРПУЛЕВИЧ, Владислав Валерьевич АНАНЬЕВ, Ариана Арменовна АСАТРЯН, Шагане Тиграновна ТИГРАНЯН, Сергей Николаевич СКОРИК, Денис Юрьевич ТУРДАКОВ
 
Том 33, № 3 (2021) Локализованное применение частичной типизации Аннотация  похожие документы
Виктор Сергеевич КРЫШТАПОВИЧ
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
 
Том 27, № 3 (2015) Эффективное взаимодействие с СУБД DIM Аннотация  PDF (Rus)  похожие документы
Д. В. Антонов, В. С. Рублев
 
Том 19 (2010) Моделирование операционной семантики машинных инструкций Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, М. А. Соловьев, А. И. Кононов
"... сравнению с классической компиляторной задачей тракта преобразований, но в то же время модель позволяет ..."
 
Том 28, № 6 (2016) Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, В. Д. Соловьев, И. З. Батыршин
"... на преобразовании скользящих аппроксимаций (САП трансформ), с двумя другими наиболее известными ..."
 
Том 33, № 2 (2021) Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход Аннотация  PDF (Rus)  похожие документы
Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС
"... обучения. Мы предлагаем архитектуру CNN, дополненную двумерным дискретным вейвлет-преобразованием как ..."
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... способа повышения надежности производимых компилятором оптимизирующих преобразований автором предлагается ..."
 
Том 30, № 3 (2018) Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... быть преобразованы в другие проблемы маршрутизации. Это продемонстрировано на примере задачи китайского ..."
 
Том 33, № 4 (2021) Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Артур Евгеньевич ГАЙНОВ, Борис Владимирович КОНДРАТЬЕВ
 
Том 30, № 4 (2018) Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Аннотация  похожие документы
И. А. Адамович, Анд. В. Климов
 
Том 33, № 1 (2021) Размышление о дизайне и восприятии пользователями приложения Tamil talk Аннотация  похожие документы
Радж РАМАЧАНДРАН СУБРАМАНЬЯН, Эммануэль Кайоде Акиншола ОГУНШИЛЕ
"... Tamil talk – это приложение для преобразования устной речи в текст, разработанное с позиций языка ..."
 
Том 34, № 5 (2022) Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ
"... производились на примере алгоритма обратного дискретного косинусного преобразования матрицы 8×8 (ОДКП), широко ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
 
Том 33, № 6 (2021) Система маркирования документов для проведения расследований при их утечке Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Алексей Юрьевич ЯКУШЕВ, Юрий Витальевич МАРКИН, Александр Евгеньевич ФРОЛОВ, Станислав Александрович ФОМИН, Сергей Викторович КОЗЛОВ, Дмитрий Дмитриевич ГРОМЕЙ, Александр Васильевич КОЗАЧОК, Борис Владимирович КОНДРАТЬЕВ
 
Том 34, № 5 (2022) Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ
"... , for example, in study of localized Gaussian wave packets scattering on thin structures. In recent works ..."
 
Том 31, № 2 (2019) Теоретический подход к поиску глобального экстремума при обучении нейронных сетей Аннотация  PDF (Rus)  похожие документы
Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова
"... the useful signal against the background of various interferences: Gaussian, concentrated, pulsed, etc ..."
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
"... that is studied in discrete geometry dynamics and motivated by study of localized Gaussian wave packets scattering ..."
 
Том 30, № 5 (2018) Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки Аннотация  PDF (Rus)  похожие документы
О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров
"... hand, models based on the traditional gaussian approach cannot take into account the complex ..."
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
"... В данной статье приводится обзор запутывающих преобразований программ, сформулированы критерии ..."
 
Том 23 (2012) Построение обфусцирующего компилятора на основе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян
"... В статье описываются маскирующие преобразования, реализованные в ходе разработки обфусцирующего ..."
 
Том 29, № 4 (2017) Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Аннотация  похожие документы
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина
"... , а также реализация алгоритма стабилизации с использованием фильтра Гаусса для сглаживания траектории ..."
 
Том 36, № 4 (2024) Высокоскоростной метод перевода чисел из системы остаточных классов в позиционную систему счисления Аннотация  похожие документы
Владислав Вячеславович ЛУЦЕНКО, Михаил Григорьевич БАБЕНКО, Мунис Мусинович ХАМИДОВ
"... преобразование числа из системы остаточных классов в позиционную систему счисления требует использования ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... кода приложений от анализа. Запутывающие преобразования резко увеличивают трудоёмкость выделения и ..."
 
Том 37, № 2 (2025) Параметрическое исследование эффективности исполнения единичной секции маслоохладителя Аннотация  PDF (Rus)  похожие документы
Алена Алексеевна ЧЕРНОВА, Айгуль Расимовна ШИГАПОВА
"... approximated based on the linear Gaussian method. The conjugate gradient method was used to accelerate ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... ; преобразование абзацев сценария в синтаксическое дерево с использованием предварительно обученной модели OpenIE ..."
 
1 - 39 из 81 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)