Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... validation, a bipartite data-rule dependency graph is formed. To automatically build the dependency graph ..."
 
Том 35, № 5 (2023) Проблема валидации современных систем исправления грамматических ошибок: случай ошибок на уровне символов Аннотация  похожие документы
Владимир Миронович СТАРЧЕНКО, Алексей Миронович СТАРЧЕНКО
"... several datasets. In addition to CoNLL-2014 validation dataset, we contribute a synthetic dataset ..."
 
Том 35, № 6 (2023) Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование Аннотация  PDF (Rus)  похожие документы
Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН
"... . The results show that the validation activities introduced in the software requirements stage have a positive ..."
 
Том 22 (2012) О построении аппроксимирующих функций характеристик малого числа систем Аннотация  PDF (Rus)  похожие документы
Я. А. Хетагуров
"... to linear equations MM using performance data close to the destination and use of the systems, parts ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
 
Том 33, № 6 (2021) Обзор методов функционального онлайн-тестирования микропроцессоров Аннотация  PDF (Rus)  похожие документы
Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
"... logics. In order to execute of validation and verification for complex of requirements and design ..."
 
Том 26, № 4 (2014) Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, Д. Ю. Турдаков, С. Д. Кузнецов
"... clusters without any dependencies for prepared operating system image. Current article doesn't use Ansible ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
 
Том 22 (2012) Инкрементальный анализ исходного кода на языках C/C++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
 
Том 32, № 4 (2020) Использование Big Data в международном бизнесе Аннотация  PDF (Rus)  похожие документы
Константин Анатольевич АЛЕКСЕЕВ
"... means the volumes of accumulated data, but do not forget about the technical side, the considered ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... инкрементального построения спецификаций моделей окружения и требований для подсистем монолитного ядра операционных ..."
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
"... The paper discusses the problem of dependency between errors defined by specification ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
"... microprocessor systems there are a lots of controllers operating with their own data types. Communication ..."
 
Том 35, № 2 (2023) Реальное применение методов интерпретации свёрточных нейронных сетей: обнаружение и объяснение ошибок классификатора изображений документов Аннотация  похожие документы
Александр Олегович ГОЛОДКОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
"... was made as to why the neural network shows low metrics on data that differs from training images ..."
 
Том 33, № 4 (2021) Автоматизация проверки UML диаграмм, созданных студентами Аннотация  похожие документы
Татьяна Сергеевна ГАШЕВА, Дмитрий Игоревич ВЛАСОВ, Андрей Валерьевич ОТИНОВ, Наталья Николаевна ДАЦУН
"... presents software for validation activity, class and use-case diagrams by XMI representation. To achieve ..."
 
Том 37, № 3 (2025) Оптимизации генерации иерархических уровней детализации для масштабных полигональных сцен Аннотация  PDF (Rus)  похожие документы
Василий Николаевич ШУТКИН, Никита Константинович МОРОЗКИН, Виталий Адольфович СЕМЕНОВ, Олег Анатольевич ТАРЛАПАН
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... market surveillance systems are based on data mining methods, which build their own dependencies between ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... This work examines the approach to the estimation of the data storage reliability that accounts ..."
 
Том 26, № 1 (2014) Инструментальные средства проектирования систем интегрированной модульной авионики Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов
 
Том 26, № 4 (2014) Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов
"... This article is an overview of scalable infrastructure for storage and processing of genome data ..."
 
Том 23 (2012) Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data Аннотация  PDF (Rus)  похожие документы
Кузнецов Константин
"... This paper describes research-in-progress work on data integration system in Linked Open Data space ..."
 
Том 28, № 2 (2016) Способ статической оценки времени работы компонентов AADL-моделей Аннотация  похожие документы
А. М. Троицкий, Д. В. Буздалов
"... is vitally used. Models can be used for checking and validation of developed system, including early ..."
 
Том 18 (2010) Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... , a graph of class dependencies is created, in which nodes represent classes, and relations between nodes ..."
 
Том 22 (2012) Автоматизация построения расписаний для периодических систем реального времени Аннотация  PDF (Rus)  похожие документы
Андрей Третьяков
"... visualization of generated schedule, provides GUI to edit schedule, and supports validation of built schedules ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... The article suggests a new object model of data for in-depth analysis of network traffic ..."
 
Том 32, № 5 (2020) Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт» Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ПОЛЯКОВ, Ирина Михайловна ЕНЯГИНА, Дмитрий Сергеевич КОКОВИН
"... experiments. The processing and storage of the obtained experimental data is carried out on the supercomputer ..."
 
Том 32, № 1 (2020) Большие данные: аналитические решения, исследовательские задачи и тенденции Аннотация  похожие документы
Ноаман Мухаммед Али, Борис Асенович Новиков
"... The term Big Data refers to an extensive collections of digital data generating every second ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
 
Том 21 (2011) Эвристическое моделирование данных в информационных системах Аннотация  PDF (Rus)  похожие документы
Мартин Давтян
"... data and use heuristics to make hypotheses about possible data structure. Such systems are intended ..."
 
Том 36, № 2 (2024) Подход к исследованию учебных планов, основанный на данных Аннотация  похожие документы
Юри НАСУ, Михаил Сергеевич ДРОБИНИН, Марк Станиславович ЕФАНОВ, Вячеслав Владимирович ЛАНИН
"... the algorithm to data-driven curriculum analysis based on natural language processing of course names ..."
 
Том 35, № 2 (2023) Ферма данных: информационная система сбора, хранения и обработки неструктурированных данных из разнородных источников Аннотация  PDF (Rus)  похожие документы
Сергей Павлович ЛЕВАШКИН, Константин Николаевич ИВАНОВ, Сергей Владимирович КУШУКОВ
"... The original information system «data farm» is presented. Today, the successful application ..."
 
Том 36, № 2 (2024) Пространственное POD-разложение эпидемиологических данных COVID-19 Аннотация  PDF (Rus)  похожие документы
Степан Алексеевич ЕЛИСТРАТОВ
"... dependencies, it requires rows of simultaneous data, which in fact may not be so. In the article the correction ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... verification. The model categories that are mostly described here are flow or dependency graph models ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
 
Том 28, № 3 (2016) Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях Аннотация  похожие документы
А. Р. Топчян
"... With the growing volume and demand for data a major concern for an Organization trying to implement ..."
 
Том 28, № 6 (2016) Применение облачных вычислений для анализа данных большого объема в умных городах Аннотация  PDF (Rus)  похожие документы
Рензо Массобрио, Серхио Несмачнов, Андрей Черных, Арутюн Аветисян, Глеб Радченко
"... In this paper, we present a Big Data analysis paradigm related to smart cities using cloud ..."
 
1 - 39 из 501 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> 

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

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