Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
"... ) is described. The quality model of the standard ISO 9126 (1-4): 2002-2004 with indicators of functionality ..."
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
"... their accuracy and reliability. A quality certificate based by ISO/IEC 9000 (1–4) is generated for the finished ..."
 
Том 32, № 6 (2020) О разработке Оберон-системы с заданными свойствами эргодичности Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ДАГАЕВ
"... - industrial embedded real-time systems, high reliability systems. The DSKU execution environment ..."
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
"... At first, the paper introduces the main methods for ensuring and assessing the reliability ..."
 
Том 32, № 5 (2020) Модельный подход к обеспечению безопасности и надежности Web-сервисов Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ
"... In the paper, we analyze problems of reliability and security in the world practice and in Russia ..."
 
Том 33, № 6 (2021) Моделирование операционных, программных и технических систем в проектах РФФИ Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО
"... to ensure reliability, security and elastic development during the multi-year period of operation ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... This work examines the approach to the estimation of the data storage reliability that accounts ..."
 
Том 35, № 5 (2023) Открытая система хранения и обработки набора данных комбинационных схем Аннотация  похожие документы
Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ
"... for their evaluation. New possible methods for assessing combinational circuits’ reliability using machine learning ..."
 
Том 32, № 5 (2020) Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения Аннотация  PDF (Rus)  похожие документы
Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР
 
Том 35, № 1 (2023) Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии Аннотация  похожие документы
Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА
"... This article presents a study of the publications made on the ISO/IEC 29110 standard ..."
 
Том 35, № 6 (2023) Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование Аннотация  PDF (Rus)  похожие документы
Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН
"... product quality-in-use and the measure of metrics from ISO/IEC 25010 standard in two software products ..."
 
Том 35, № 5 (2023) Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang Аннотация  PDF (Rus)  похожие документы
Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... (Motor Industry Software Reliability Association) consortium and includes a set of recommendations ..."
 
Том 36, № 1 (2024) Личностные и технические навыки студентов-программистов, полученные в университетской компании по разработке программного обеспечения Аннотация  похожие документы
Хорхе Рафаэль АГИЛАР СИСНЕРОС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС
"... will be discussed. To identify students’ perceptions a questionnaire (survey) was applied. Its reliability ..."
 
Том 27, № 6 (2015) Облачный сервис ОИЯИ: статус и перспективы Аннотация  PDF (Rus)  похожие документы
Н. А. Балашов, А. В. Баранов, В. В. Кореньков, Н. А. Кутовский, А. В. Нечаевский, Р. Н. Семенов
"... as applied strategies of the improvement of efficiency, fault tolerance and reliability of the JINR cloud ..."
 
Том 36, № 5 (2024) Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН
"... an assessment of the performance and reliability of high-performance computing systems. ..."
 
Том 36, № 5 (2024) Конструирование программных систем, нацеленное на обеспечение безопасности Аннотация  PDF (Rus)  похожие документы
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА
"... Security-by-Design is an important approach to ensure software security and reliability. It has ..."
 
Том 34, № 1 (2022) Алгоритмы планирования вычислений с учетом избыточности и неопределенности Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич ФЕОКТИСТОВ, Роман Олегович КОСТРОМИН, Сергей Алексеевич ГОРСКИЙ, Игорь Вячеславович БЫЧКОВ, Андрей Николаевич ЧЕРНЫХ, Ольга Юрьевна БАШАРИНА
"... reliability. The algorithms are based on a theory of conceptual modeling computational processes. We ..."
 
Том 33, № 1 (2021) Смягчение неопределенности при разработке научных приложений в интегрированной среде Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ЧЕРНЫХ, Игорь Вячеславович БЫЧКОВ, Александр Геннадьевич ФЕОКТИСТОВ, Сергей Алексеевич ГОРСКИЙ, Иван Александрович СИДОРОВ, Роман Олегович КОСТРОМИН, Алексей Владимирович ЕДЕЛЕВ, Валерий Иванович ЗОРКАЛЬЦЕВ, Арутюн Ишханович АВЕТИСЯН
"... -solving time, computing reliability, and resource efficiency. An experimental analysis of the results ..."
 
Том 31, № 4 (2019) Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Аннотация  похожие документы
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга
"... need to ensure the reliability here. In this article, it is proposed to assemble a quadcopter from low ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... instrumentation is presented as an efficient approach to improve reliability of optimizing transformations ..."
 
Том 32, № 1 (2020) Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики Аннотация  PDF (Rus)  похожие документы
Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
 
Том 31, № 2 (2019) Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета Аннотация  PDF (Rus)  похожие документы
Николай Иванович Червяков, Максим Анатольевич Дерябин, Антон Сергеевич Назаров, Михаил Григорьевич Бабенко, Николай Николаевич Кучеров, Андрей Владимирович Гладков, Глеб Игоревич Радченко
"... System is used, which ensures the confidentiality of data and the reliability of their transmission ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... for correctness and reliability. Linux driver software is complex, low-level systems code, and its characteristics ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... an embedded real-time operating system (OS). The OS reliability is extremely important for correct ..."
 
Том 34, № 3 (2022) Исследование свойств алгоритма слайсинга предиката пути Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ
"... Security development lifecycle (SDL) is applied to improve software reliability and security ..."
 
Том 35, № 1 (2023) Блокчейн и задача выполнимости формул в теориях для тендерных систем Аннотация  похожие документы
Рене ДАВИЛА, Росио АЛЬДЕКО-ПЕРЕС, Эверардо БАРСЕНАС
"... , verified properties ensures system reliability. In addition, one technology that claims to provide ..."
 
Том 33, № 4 (2021) Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН
"... automated information systems in various areas of modern life. The need to meet security and reliability ..."
 
Том 35, № 3 (2023) Проектирование архитектуры системы мониторинга на основе паттернов проектирования Аннотация  похожие документы
Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА
"... of design patterns can improve the maintainability, flexibility, reliability, compatibility and scalability ..."
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... the quality and reliability of the results. The work is useful for specialists in the field of integrated ..."
 
Том 36, № 3 (2024) Статическое распределение памяти для операционных систем реального времени Аннотация  PDF (Rus)  похожие документы
Софья Анатольевна ЗЕЛЕНОВА
"... Critical real-time operating system (RTOS) reliability improvement remains to be a relevant ..."
 
Том 24 (2013) Распределенные горизонтально масштабируемые решения для управления данными Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. В. Посконин
"... , reliability requirements, the availability of client libraries for the selected language, etc. ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... environments is their reliability. The principles of ACID (atomicity, consistency, isolation, durability ..."
 
Том 28, № 3 (2016) Метод представления мнений экспертов в виде Z-чисел Аннотация  похожие документы
Е. А. Глуходед, С. И. Сметанин
"... and reliability of the measured value. In this paper, a method of converting an expert opinion to Z-number ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... An operating system (OS) kernel is a critical software regarding to reliability and efficiency ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... defines strict requirements for their functionality, security, reliability and performance. Approaches ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... and reliability of the product; also, its certifiability and the necessary level of confidence in security, reduce ..."
 
Том 36, № 6 (2024) Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения Аннотация  похожие документы
Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА
"... managing and resolving defects is vital for ensuring software reliability, which is in turn a crucial ..."
 
Том 35, № 1 (2023) Оценка программного проекта с использованием методов гладких кривых и методов выбора переменных и их регуляризации с использованием базы данных клиновидной формы Аннотация  похожие документы
Франсиско ВАЛЬДЕС-СУТО, Лизбет НАРАНХО-АЛЬБАРРАН
"... and regularization methods provide better reliability of the estimations based on the wedge-shaped form databases ..."
 
1 - 39 из 62 результатов 1 2 > >> 

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

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