Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 5 (2016) Задача глобального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
К. А. Батузов
"... эффективный алгоритм для приведения существующего распределения в конце базового блока к требуемым ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в ..."
 
Том 22 (2012) Задача локального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов
 
Том 27, № 2 (2015) Об особенностях детерминированного воспроизведения при минимальном наборе устройств Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян
 
Том 20 (2011) Оптимизация динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов, Алексей Меркулов
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
 
Том 28, № 5 (2016) Формализация определения ошибок при статическом символьном выполнении Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев
"... статического анализа необходимо пересматривать критерий выдачи ошибок, так как оригинальный критерий приводит к ..."
 
Том 27, № 6 (2015) Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... рассматривается подход к масштабированию по памяти системы оптимизаций времени связывания на основе компиляторной ..."
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
 
Том 28, № 4 (2016) Обзор современных методов планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... последнее время интерес к ним заметно возрос в связи с развитием средств компьютерного моделирования и ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... невозможность доступа к динамическим данным в ходе выполнения программы и некоторым методам системных классов ..."
 
Том 30, № 4 (2018) Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Аннотация  похожие документы
И. А. Писарев, Л. К. Бабенко
"... проверки. Поставлены цели верификации криптографического протокола на устойчивость к атакам на ..."
 
Том 27, № 1 (2015) Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Большие программные системы всегда создаются достаточно долго, в несколько этапов, это приводит к ..."
 
Том 29, № 4 (2017) Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Аннотация  похожие документы
А. Р. Гималетдинова, К. Ю. Дегтярев
"... За последние несколько лет возник значительный интерес к мобильным приложениям, ориентированным на ..."
 
Том 29, № 4 (2017) Смешанная задача китайского почтальона Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... исходной задачи к обобщенной задаче коммивояжера (General Traveling Salesman Problem, GTSP). Указываются ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... -моделей, что относится к области извлечения и анализа процессов ПО. Модели строятся на основе трасс ..."
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... . В данной статье мы ставим задачу рассмотреть прежде всего различные подходы к проблеме ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... . Таким образом, задача сводится к тому, чтобы разделить граф вызовов на несколько слабо связанных друг ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... готовых к использованию программных компонентов для автоматического построения бесконфликтных траекторий ..."
 
Том 29, № 3 (2017) Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Аннотация  PDF (Rus)  похожие документы
Ю. А. Солоделов, Н. К. Горелиц
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... данной работе представлен подход к описанию таких моделей на языке программирования Scala. Мы успешно ..."
 
Том 30, № 3 (2018) Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
 
Том 30, № 3 (2018) Применение методов системного анализа к оцениванию работы учебных ассистентов Аннотация  похожие документы
Е. Н. Береснева, М. К. Горденко
 
Том 21 (2011) Разработка параллельной СУБД на основе PostgreSQL Аннотация  PDF (Rus)  похожие документы
К. С. Пан
 
Том 30, № 5 (2018) Численное моделирование качки судна с шахтным устройством на встречном волнении Аннотация  PDF (Rus)  похожие документы
К. Д. Овчинников
 
Том 30, № 5 (2018) Платформа межпроцедурного статического анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
А. К. Асланян
"... данные между вызовами функций, тем самым сделав анализ чувствительным к контексту. Платформа ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... – интер и интра операционный параллелизм и их комбинации. Мы рассматриваем эти техники в применении к ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... чувствительного к контексту и путям межпроцедурного анализа. Предлагается метод символьного исполнения, основанный ..."
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... бортовых вычислительных модулях. Международный стандарт ARINC 653 описывает требования к операционной ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... рассмотрены основные требования к такому отладчику и показана разница между ним и обычным отладчиком ..."
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... доступа к буферу. Алгоритм использует символьное исполнение с объединением состояний и является ..."
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... заслуживает вопрос изучения разных форм агрегации мнений экспертов, анализ альтернативных подходов к ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... большинству требований, налагаемых к отладчику операционной системы реального времени, а также уже ..."
 
Том 29, № 1 (2017) Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов
"... к профилированию использования динамической памяти Java-программами при помощи инструмента ..."
 
Том 27, № 3 (2015) Предисловие Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. К. Петренко, А. Н. Терехов
 
Том 27, № 3 (2015) Удаленное обслуживание системных вызовов в микроядерном гипервизоре Аннотация  PDF (Rus)  похожие документы
К. Маллачиев, Н. Пакулин
"... приоритета. Компрометация таких процессов не приведет к компрометации всего гипервизора. В данной работе мы ..."
 
Том 26, № 1 (2014) Развитие подхода к разработке тестов UniTESK Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко
 
1 - 39 из 85 результатов 1 2 3 > >> 

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

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