Сортировать по:
| Выпуск | Название | |
| Том 28, № 5 (2016) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| "... This issue of the Proceedings of ISP RAS presents papers on one of the most developed areas ..." | ||
| Том 34, № 5 (2022) | Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО | ||
| "... solution for combining orchestrators developed at ISP RAS to obtain a tool with functionality ..." | ||
| Том 18 (2010) | Система моделирования Grid: реализация и возможности применения | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, А. И. Поспелов | ||
| "... В статье описывается разработанная в ИСП РАН система моделирования распределенных вычислительных ..." | ||
| Том 28, № 6 (2016) | Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов | Аннотация PDF (Rus) похожие документы |
| Д. О. Машкин, Е. В. Котельников | ||
| "... (SemEval-2016). We describe the dependence of the quality of aspect terms extraction subtask on various ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool ..." | ||
| Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
| "... an LLVM-based obfuscating compiler in ISP RAS. The proposed transformations are based on well-known ..." | ||
| Том 26, № 1 (2014) | Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах | Аннотация PDF (Rus) похожие документы |
| Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин | ||
| "... quality are considered. The description of modeling system developed in the ISP RAS for experimental ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... ++ programs is developed in the ISP RAS. The purpose of Svace is to find as many errors as possible with low ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... This paper presents methods and tools for binary code analysis that have been developed in ISP RAS ..." | ||
| Том 33, № 6 (2021) | Kotlin с точки зрения разработчика статического анализатора | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... written in the Kotlin language. The analysis is implemented in the Svace static analyzer developed at ISP ..." | ||
| Том 28, № 6 (2016) | Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации | Аннотация PDF (Rus) похожие документы |
| О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов | ||
| "... . The second approach is to integrate virtual clusters creation as a built-in service for Openstack. ISP RAS ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... are developed based on ISP RAS Binside tool. ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... and formal methods for it. Based on the ISP RAS experience in operating system verification projects ..." | ||
| Том 27, № 5 (2015) | Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... In ISP RAS cloud computing system SaaS Unihub was developed. It provides the possibility for users ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... tool developed in ISP RAS for finding critical errors and security vulnerabilities in C/C++ source code ..." | ||
| Том 36, № 4 (2024) | Разработка безопасного компилятора на основе Clang | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ | ||
| "... in ISP RAS, but some developers prefer Clang instead of GCC, which has mainly the same problems ..." | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| "... and de-obfuscating tools were independently developed by two different teams of ISP RAS – the LLVM-based ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... . The algorithms are implemented in the Svace tool that is developed by ISP RAS. The results are evaluated for open ..." | ||
| Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
| "... the experience of various OS component and features verification from the projects conducted in ISP RAS ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... recovery system implemented in ISP RAS. First, we enumerate general approaches to this problem ..." | ||
| Том 27, № 3 (2015) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. К. Петренко, А. Н. Терехов | ||
| "... Этот выпуск «Трудов ИСП РАН» содержит избранные статьи, представленные на 9-ом коллоквиуме молодых ..." | ||
| Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
| "... . For the calculation of one test case 8-32 computing cores were used on the ISP RAS HPC. ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The paper covers theoretical and practical works on conformance testing performed in ISP RAS since ..." | ||
| Том 22 (2012) | Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Плотников, Мамикон Варданян | ||
| "... of compilation parameters that was developed in ISP RAS. The tool uses genetic algorithm to evolve the best ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... In recent years, ISP RAS has been developing a system for machine (binary) code deductive ..." | ||
| Том 35, № 5 (2023) | Моделирование процесса обледенения корпуса рыболовецкого судна на поверхности воды с учетом влияния волнения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... of the ISP RAS. One typical calculation was run on 48-96 computing cores and lasted no more than three days. ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... generation framework MicroTESK being developed at ISP RAS. It is a flexible Ruby-based domain-specific ..." | ||
| Том 33, № 6 (2021) | Упрощенные кинетические модели горения метана для расширения возможностей пакета OpenFOAM и физико-химических библиотек | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОНОНОВ, Владимир Юрьевич ГИДАСПОВ, Сергей Владимирович СТРИЖАК | ||
| "... the solvers created at the MAI and ISP RAS. A physical and mathematical model, numerical algorithms ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... to full-scale profiles. The simulation was performed on the ISP RAS cluster using 48 or 96 processor cores. ..." | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... , created ISP RAS. This platform gives an opportunity to create, store and analyze multilayer dictionaries ..." | ||
| Том 37, № 1 (2025) | Математическое моделирование почвенных процессов с использованием открытого программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Всеволодович КУЛИНСКИЙ, Сергей Владимирович СТРИЖАК | ||
| "... -performance cluster of ISP RAS. One typical calculation was run on 12 cores and took about 20 minutes ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... анализаторе Svace, разрабатываемом в ИСП РАН. Приводятся методы построения внутреннего представления для ..." | ||
| Том 30, № 6 (2018) | Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики | Аннотация PDF (Rus) похожие документы |
| М. В. Крапошин, С. В. Стрижак | ||
| "... the resources of the high performance cluster of the UniCFD web-laboratory in ISP RAS. ..." | ||
| Том 33, № 5 (2021) | Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... The paper considers the possibility of the ICELIB library, developed at ISP RAS, for modeling ice ..." | ||
| Том 26, № 1 (2014) | Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM | Аннотация PDF (Rus) похожие документы |
| Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян | ||
| "... В статье описываются разработанные в ИСП РАН методы запутывания программ, направленные на ..." | ||
| Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
| Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
| "... проектирования и верификации комплексов бортового авиационного оборудования осуществляемая в ИСП РАН совместно с ..." | ||
| Том 32, № 5 (2020) | Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения | Аннотация PDF (Rus) похожие документы |
| Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР | ||
| "... , если при построении изображений используются разные методы визуализации. В статье представлен подход ..." | ||
| Том 26, № 5 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| "... сплошной среды. Конференция проводится ИСП РАН при поддержке Российской академии наук и компаний-партнеров ..." | ||
| Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян | ||
| "... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода в ..." | ||
| 1 - 39 из 444 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
