Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... анализа на базе символьного исполнения с объединением состояний, который является чувствительным к путям и ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... чувствительного к контексту и путям межпроцедурного анализа. Предлагается метод символьного исполнения, основанный ..."
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... чувствительным к путям. Рассматриваются только обращения к буферам, имеющим известный в момент компиляции размер ..."
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
"... В данной работе рассматривается вопрос построения масштабируемого чувствительного к путям анализа ..."
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
 
Том 30, № 6 (2018) Методы анализа информационных потоков в сети Интернет Аннотация  PDF (Rus)  похожие документы
А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков
"... пути передачи очень сложно. Проникновение глобальной информационной среды во все сферы жизни ..."
 
Том 31, № 5 (2019) Проактивная разметка примеров для адаптации к домену Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Рындин, Денис Юрьевич Турдаков
 
Том 28, № 4 (2016) Обзор современных методов планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... последнее время интерес к ним заметно возрос в связи с развитием средств компьютерного моделирования и ..."
 
Том 26, № 6 (2014) Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях Аннотация  PDF (Rus)  похожие документы
В. Х. Ла, А. Кавалли
"... Развитие технологий и снижение стоимости беспроводных сенсорных систем привело к открытию новых ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... готовых к использованию программных компонентов для автоматического построения бесконфликтных траекторий ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... дуги, через которую проходит кратчайших путь от a к b . В частности, такое отображение позволяет ..."
 
Том 30, № 6 (2018) Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Аннотация  похожие документы
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков
"... модулю статического анализа. Статический анализ формирует набор путей, которые приводят к исполнению ..."
 
Том 31, № 2 (2019) Интеграция беспроводной связи для оптимизации распознавания окружения и расчёта траектории движения группы роботов Аннотация  PDF (Rus)  похожие документы
Михаил Валерьевич Иванов, Олег Юрьевич Сергиенко, Вера Валентиновна Тырса, Ларс Линднер, Хулио Сезар Родригес-Киньонес, Венди Флорес-Фуэнтес, Мойзес Ривас-Лопес, Даниэль Эрнандес-Бальбуэна, Хуан Иван Ньето Иполито
"... знаний о совместном окружении группы роботов при решении задачи навигации путем обеспечения передачи ..."
 
Том 31, № 4 (2019) Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Аннотация  PDF (Rus)  похожие документы
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев
"... к графу может быть представлен в виде множества всех троек , для которых существует путь в графе от ..."
 
Том 30, № 6 (2018) Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
"... . В статье обсуждается связь настроек коммутаторов и множества реализуемых ими путей передачи пакетов ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... В рамках прецедентного подхода к управлению сложными объектами, не поддающимися формализации в виде ..."
 
Том 31, № 2 (2019) Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов Аннотация  похожие документы
Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб
"... (быстрые узлы). Основным источником этой аномалии является механизм доступа к каналу WLAN, который ..."
 
Том 30, № 1 (2018) Базы данных для обработки массивов: взгляд изнутри Аннотация  похожие документы
В. А. Павлов, Б. А. Новиков
 
Том 26, № 4 (2014) Ранжирование в задаче извлечения ключевых фраз: есть ли польза от использования частотных характеристик слов фраз-претендентов? Аннотация  PDF (Rus)  похожие документы
С. В. Попова, И. А. Ходырев
"... В работе исследуется задача извлечения ключевых фраз из отдельных текстов, таких как аннотации к ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... При проектировании модулей цифровой аппаратуры могут возникать конфликты доступа к данным. Одним ..."
 
1 - 20 из 20 результатов

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

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