Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 2 (2015) Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Аннотация  PDF (Rus)  похожие документы
Севак Саргсян
"... В статье предлагается новый метод поиска семантических ошибок, возникающих при неправильном ..."
 
Том 24 (2013) Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях Аннотация  PDF (Rus)  похожие документы
М. С. Акопян, Н. Е. Андреев
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... В статье обсуждаются существующие методы поиска семантически сходных участков кода (клонов ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... позволяет более точно определить причины возникновения ошибки. Реализация была проверена на ряде проектов с ..."
 
Том 21 (2011) Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Алексей Бородин
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... ошибок, а также к увеличению размера исходного и бинарного кода. Задача поиска семантически сходных ..."
 
Том 23 (2012) Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data Аннотация  PDF (Rus)  похожие документы
Кузнецов Константин
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
 
Том 26, № 6 (2014) Локализация неисправной компоненты в композиции расширенных автоматов Аннотация  PDF (Rus)  похожие документы
Светлана Прокопенко
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
"... систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах ..."
 
Том 21 (2011) Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун
 
Том 26, № 3 (2014) Статический поиск ошибок повторной блокировки семафора Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин
"... В статье описывается алгоритм статического поиска ошибки повторной блокировки семафоров ..."
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
"... Статья посвящена проблеме зависимости между ошибками, определяемыми спецификацией, и связанной с ..."
 
Том 31, № 5 (2019) Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid Аннотация  PDF (Rus)  похожие документы
Евгений Евгеньевич Ивашко, Валентина Степановна Литовченко
"... накопления статистической ошибки и соответствующим — при необходимости — изменением прогноза. На основе ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... явные дисковые сбои, так и скрытые битовые ошибки, а также процедуры их выявления. Для расчёта ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
 
Том 26, № 1 (2014) Texterra: инфраструктура для анализа текстов Аннотация  PDF (Rus)  похожие документы
Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов
 
Том 25 (2013) Автоматическое извлечение новых концептов предметно-специфичных терминов Аннотация  PDF (Rus)  похожие документы
Н. А. Астраханцев
"... неформальным базам знаний, поскольку требует только вычисления семантической близости между концептами и ..."
 
Том 24 (2013) Инструментальные средства оценки качества научно-технических документов Аннотация  PDF (Rus)  похожие документы
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров
"... «цитатных» баз), так и новые типы характеристик, основанные на семантическом анализе текстов научно ..."
 
Том 20 (2011) Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... : способность обнаруживать ошибки (покрытие ошибок) и время тестирования (длина теста). Известно множество ..."
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
"... . Определяются основные понятия методов надежности и безопасности таких систем и ситуаций, приводящих к ошибкам ..."
 
Том 20 (2011) Архитектура Linux Driver Verification Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед
 
1 - 24 из 24 результатов

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

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