Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25 (2013) Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
 
Том 25 (2013) Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... Статья посвящена обнаружению дефектов в коде, написанном на динамических языках программирования ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... обнаруженные во время анализа дефекты. ..."
 
Том 31, № 4 (2019) Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах Аннотация  PDF (Rus)  похожие документы
Денис Владимирович Силаков
"... обнаружения проблем и сбора данных, необходимых для их изучения и исправления. Рассматриваются подходы к ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... критерии обнаружения использования неинициализированных значений и уведомления об ошибках. Разработанный ..."
 
Том 21 (2011) Применение алгебры подстановок для унификации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... средства обнаружения программных клонов позволяют выявлять лишь фрагменты программ, имеющие сходное ..."
 
Том 30, № 3 (2018) Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах Аннотация  PDF (Rus)  похожие документы
В. Ю. Трифанов
"... нескольких потоков к разделяемым данным. Существует два основных подхода к обнаружению гонок - статический ..."
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... Автоматическое обнаружение ошибок в программах является крайне востребованным направлением ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... взвешенных переходов по сравнению с кодами Бергера также имеют улучшенные характеристики обнаружения ошибок в ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... программных дефектов. На этапе тестирования промышленного программного обеспечения выявляется значительное ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... примеры анти-паттернов и методов их автоматического обнаружения. Все методы будут сосредоточены на метрико ..."
 
Том 30, № 6 (2018) Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Аннотация  похожие документы
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков
"... показывают высокую эффективность обнаружения программных ошибок при применении предложенного метода. ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... обнаружения возникающего при неисправностях искажения. Представленный метод позволяет осуществлять контроль ..."
 
Том 22 (2012) Инкрементальный анализ исходного кода на языках C/C++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... время повторного поиска дефектов для языков СС++. Для этого используется свойство малого отношения ..."
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
"... систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах ..."
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
"... , дефектам и отказам. Дано определение надежности и безопасности технических систем и программного ..."
 
Том 32, № 3 (2020) Разработка автоматизированных алгоритмов компьютерного зрения для обработки медицинских изображений Аннотация  похожие документы
Даниэл Игоревич СЕРГЕЕВ, Александр Евгеньевич АНДРЕЕВ, Анна Олеговна ДРОБИНЦЕВА, Слободанка ЦЕНЕВСКА, Никола КУКАВИЦА, Павел Дмитриевич ДРОБИНЦЕВ
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
"... дефектов в программах на языке C#. Производится формализация дефекта разыменования нулевого указателя и ..."
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... приведения типа. В работе предложено формальное определение межпроцедурного дефекта и рассмотрены некоторые ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... Во многих случаях дефекты программного кода могут быть выявлены путём анализа соответствующего ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... обнаружения максимального количества ошибок за минимально приемлемое время. Описан полный цикл статического ..."
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
"... статического анализа. При таком подходе допускается пропуск некоторых дефектов. Целью анализа является поиск ..."
 
Том 21 (2011) Риски проектирования и производства мобильных программных продуктов Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
 
1 - 25 из 25 результатов

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

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