Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... В данной работе представлен подход к внесению неисправностей в программу, использующий механизм ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
 
Том 30, № 1 (2018) Тесты на константные неисправности как веб-сервис Аннотация  похожие документы
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов
"... : метода перебора области неисправности для модели константных неисправностей. Она показал, что ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... анализа. К примеру, марковский анализ, в отличие от других подходов - анализа дерева неисправности и ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... обнаружения возникающего при неисправностях искажения. Представленный метод позволяет осуществлять контроль ..."
 
1 - 6 из 6 результатов

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

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