Сортировать по:
| Выпуск | Название | |
| Том 27, № 3 (2015) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. К. Петренко, А. Н. Терехов | ||
| "... государственного университета телекоммуникаций и информатики (ПГУТИ). Организаторами выступили ИСП РАН, Санкт ..." | ||
| Том 18 (2010) | Система моделирования Grid: реализация и возможности применения | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, А. И. Поспелов | ||
| "... В статье описывается разработанная в ИСП РАН система моделирования распределенных вычислительных ..." | ||
| Том 28, № 5 (2016) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| "... В настоящем выпуске Трудов ИСП РАН представлены статьи по одному из наиболее развитых направлений ..." | ||
| Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
| Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
| "... проектирования и верификации комплексов бортового авиационного оборудования осуществляемая в ИСП РАН совместно с ..." | ||
| Том 26, № 1 (2014) | Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM | Аннотация PDF (Rus) похожие документы |
| Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян | ||
| "... В статье описываются разработанные в ИСП РАН методы запутывания программ, направленные на ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... В работе описывается разрабатываемый в ИСП РАН инструмент автоматического статического анализа ..." | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| "... распутывания бинарного кода независимо разрабатывались двумя коллективами ИСП РАН. Помимо того, для ..." | ||
| Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
| "... компилятора в ИСП РАН, приводится оценка понижения быстродействия и увеличения объема потребляемой приложением ..." | ||
| Том 34, № 5 (2022) | Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО | ||
| "... объединению оркестраторов, разработанных в ИСП РАН, для получения инструмента с функционалом, которого нет у ..." | ||
| Том 26, № 1 (2014) | Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах | Аннотация PDF (Rus) похожие документы |
| Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин | ||
| "... в ИСП РАН системы моделирования предназначенной для экспериментального исследования алгоритмов ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... восстановления форматов, разрабатываемой в ИСП РАН. Особенности одного подхода заключаются в методах ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... В ИСП РАН разрабатывается инструмент статического анализа Svace для поиска ошибок в исходном коде ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... анализаторе Svace, разрабатываемом в ИСП РАН. Приводятся методы построения внутреннего представления для ..." | ||
| Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
| "... В статье описаны основные компоненты разработанного в ИСП РАН стека технологий для анализа ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... , используя для этого более строгие и формальные подходы. На основе опыта ИСП РАН, полученного при выполнении ..." | ||
| Том 27, № 5 (2015) | Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... Разработанная в ИСП РАН программная система Unihub является облачной вычислительной системой типа ..." | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... посвящена исследованиям по верификации аппаратуры, проводимым в ИСП РАН: подводятся итоги выполненных работ ..." | ||
| Том 22 (2012) | Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Плотников, Мамикон Варданян | ||
| "... В данной работе описывается созданная в ИСП РАН система для автоматической настройки параметров ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... ++, разработанного в ИСП РАН для поиска критических ошибок и уязвимостей. Применение межпроцедурного анализа потока ..." | ||
| Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
| "... технологий, полученного в рамках проектов, проводимых в ИСП РАН. ..." | ||
| Том 28, № 6 (2016) | Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации | Аннотация PDF (Rus) похожие документы |
| О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов | ||
| "... оркестрации Ansible. В работе будет проведено качественное сравнение разработанных в ИСП РАН подходов к ..." | ||
| Том 33, № 6 (2021) | Kotlin с точки зрения разработчика статического анализатора | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... , разрабатываемого в ИСП РАН. В статье описываются проблемы, с которыми мы столкнулись в ходе выполнения работы, и ..." | ||
| Том 36, № 4 (2024) | Разработка безопасного компилятора на основе Clang | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ | ||
| "... оптимизации, а также предотвращает использование разработчиком небезопасных конструкций. В ИСП РАН был ..." | ||
| Том 26, № 6 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
| Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко | ||
| "... государственный университет. Одним из направлений исследований лаборатории будет оценка качества веб-приложений ..." | ||
| Том 26, № 5 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| "... сплошной среды. Конференция проводится ИСП РАН при поддержке Российской академии наук и компаний-партнеров ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... testing), которые выполнялись в ИСП РАН c 1994-го года и по настоящее время. Развитие теории конформности ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... точностью. Алгоритмы построены на базе инструмента ИСП РАН Binside. ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... , разрабатываемом в ИСП РАН. Оценка результатов детекторов произведена для исходного кода операционных систем ..." | ||
| Том 35, № 5 (2023) | Моделирование процесса обледенения корпуса рыболовецкого судна на поверхности воды с учетом влияния волнения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... . Была выполнена оценка массы наросшего льда. Моделирование выполнялось на вычислительном кластере ИСП ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... расширяемой среды генерации тестовых программ MicroTESK, разрабатываемой в ИСП РАН. Это гибкий предметно ..." | ||
| Том 35, № 2 (2023) | О проблемах при моделировании плоских течений вязкой жидкости при повышенных значениях числа Рейнольдса вихревыми методами в программном комплексе VM2D | Аннотация PDF (Rus) похожие документы |
| Ирина Александровна КОРОБОВА, Евгения Павловна РЯТИНА, Анна Александровна ХОРОШЕВА | ||
| "... несжимаемой среды. На основе метода вязких вихревых доменов в 2017-2022 гг. в МГТУ им. Н.Э. Баумана и ИСП им ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... небольшого размера трудно перенести на полномасштабные профили. Вычисления выполнялись на кластере ИСП РАН с ..." | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... признанных площадок в современном отечественном языкознании является разработанная в ИСП РАН виртуальная ..." | ||
| Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
| "... 32 вычислительных ядер на вычислительном кластере ИСП РАН. ..." | ||
| Том 24 (2013) | Гибридный подход к построению систем поддержки решений | Аннотация PDF (Rus) похожие документы |
| В. Н. Юдин, Л. Е. Карпов | ||
| "... поддержке решений для второй очереди исследовательской системы ИСП РАН и созданной на ее основе системе ..." | ||
| Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) похожие документы |
| П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
| "... поверхности лопасти от времени. Расчеты выполнены с использованием ресурсов web-лаборатории UniHUB ИСП РАН. ..." | ||
| Том 33, № 6 (2021) | Упрощенные кинетические модели горения метана для расширения возможностей пакета OpenFOAM и физико-химических библиотек | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОНОНОВ, Владимир Юрьевич ГИДАСПОВ, Сергей Владимирович СТРИЖАК | ||
| "... применения решателей, созданных в МАИ и ИСП РАН. Приведены физико-математическая модель, численные алгоритмы ..." | ||
| 1 - 39 из 86 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
